Object Modeling with the OCL: The Rationale behind the by Tony Clark, Jos Warmer

By Tony Clark, Jos Warmer

As a part of the UML commonplace OCL has been followed by way of either pros in and by means of educational researchers and is among the most generally used languages for expressing object-oriented approach houses. This booklet comprises key contributions to the advance of OCL. such a lot papers are advancements of labor mentioned at various meetings and workshops. This special compilation addresses many very important concerns confronted through complicated pros and researchers in item modeling like e.g. real-time constraints, style checking, and constraint modeling.

Show description

Read Online or Download Object Modeling with the OCL: The Rationale behind the Object Constraint Language PDF

Best design & architecture books

Operational Amplifiers: Theory and Design

Operational Amplifiers – concept and layout, moment version provides a scientific circuit layout of operational amplifiers. Containing cutting-edge fabric in addition to the necessities, the e-book is written to entice either the circuit clothier and the approach clothier. it truly is proven that the topology of all operational amplifiers could be divided into 9 major total configurations.

Computer and Information Security Handbook

The second edition of this accomplished guide of machine and knowledge security provides the main whole view of computing device safeguard and privateness to be had. It bargains in-depth insurance of safeguard thought, expertise, and perform as they relate to confirmed applied sciences in addition to fresh advances.

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015

This ebook brings jointly a range of the simplest papers from the eighteenth version of the discussion board on specification and layout Languages convention (FDL), which came about on September 14-16, 2015, in Barcelona, Spain. FDL is a well-established foreign discussion board dedicated to dissemination of analysis effects, functional stories and new principles within the software of specification, layout and verification languages to the layout, modeling and verification of built-in circuits, advanced hardware/software embedded structures, and mixed-technology platforms.

Extra resources for Object Modeling with the OCL: The Rationale behind the Object Constraint Language

Example text

Therefore, it is save to compute the type set of an intersection by (1) determining the supertypes of the involved arguments, (2) building the union of the just constructed type sets, and (3) removing all redundant supertypes of the resulting set of types. 3. It has been removed because UML allows models where one object is a direct instance of more than one type (classifier). As a consequence, the oclType operator might return a set of types in the general case instead of always returning a single type as one might expect.

A system may be in different states as it changes over time. Therefore, a system state is also called a snapshot of a running system. With respect to OCL, we can, in many cases, concentrate on a single system state given at a discrete point in time. For example, a system state provides the complete context for the evaluation of class invariants. For pre- and postconditions, however, it is necessary to consider two consecutive states (see Section 5). A single system state for an object model M is a structure σ(M) = (σClass , σAtt , σAssoc ) where the finite sets σClass (c) contain all objects of a class c ∈ Class currently existing in the system state, functions σAtt assign attribute values to each object, and the finite sets σAssoc (as) contain links connecting objects for each association as ∈ Assoc.

Finally, Section 7 summarizes the presented three new OCL type checking approaches and discusses planned future work activities. 24 2 A. 0. Let us assume that the OCL types (classes) Employee (of our University) and Student are subtypes of Person as shown in Fig. 1. Furthermore, let us assume that an OCL expression Expr computes an object which is a member (direct or indirect instance) of the type , and that an OCL expression SExpr computes a set of members of the type . Using these writing conventions we know that EmployeeExpr returns a member of type Employee (an instance of type Employee itself or an instance of Professor or Assistant), whereas StudentSExpr returns a set of members of type Student.

Download PDF sample

Rated 4.13 of 5 – based on 31 votes