Anneke Kleppe, Jos Warmer, and Steve Cook. Informal formality? the Object Constraint Language and its application in the UML metamodel. In Jean Bezivin and Pierre-Alain Muller, editors, The Unified Modeling Language, UML'98 - Beyond the Notation. First International Workshop, Mulhouse, France, June 1998, pages 127--136, 1998.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....languages in individual ODP viewpoints, and on how these partial specifications can be checked for consistency. Also relevant is the work on defining formal UML semantics [15] which is necessary for UML designs to be interpreted consistently. The emergence of OCL (Object Constraint Language [16]) which is heavily influenced by the formal methods Z and Object Z, is also relevant as a means to support some of the behavioural issues such as QoS specification, which need a precise description language. However, OCL is still in the process of evolving, and the work of this project makes a ....

A. Kleppe and J. Warmer, "The Object Constraint Language and its application in the UML metamodel," in proceedings <<UML>>'98 Beyond the Notation, Mullhouse, France, June 1998.

....of this feature. 3 ISCO: Language and Concepts In an application, in order to describe classes and their behavior, a modeling language could have been used. Instead of resorting to an existing and evolving language such as UML [3] and its independent constraint specification language OCL [17], we opted for the design and implementation of a language ISCO based on well understood concepts such as Constraint Logic Programming, a first order logic description of classes and inheritance, class attributes, the values used to populate the classes and algorithms. The basis for ISCO being ....

Anneke Kleppe, Jos Warmer, and Steve Cook. Informal formality? the Object Constraint Language and its application in the UML metamodel. In Jean Bezivin and Pierre-Alain Muller, editors, The Unified Modeling Language, UML'98 - Beyond the Notation. First International Workshop, Mulhouse, France, June 1998.

....to the diagrams. Syntropy [8] extends OMT [25] with a Z like textual language for adding invariants to class diagrams and annotating transitions on state diagrams with pre post conditions. Catalysis [10] 11] does something very similar for UML. Recently, the Object Constraint Language (OCL) 27][29] was developed as a part of the UML standard, and is being used for precisely expressing constraints on a model. Kent [23] 23] defines a diagrammatic notation, compatible with UML and these textual languages, which allows invariants and pre post conditions to be visualised. Some argue that ....

Kleppe A, Warmer J, Cook S. Informal Formality? The Object Constraint Language and its application in the metamodel. In the International Proceedings of <<UML>>'98 workshop, Mulhouse, France, June, 1998.

....to the diagrams. Syntropy [8] extends OMT [25] with a Z like textual language for adding invariants to class diagrams and annotating transitions on state diagrams with pre post conditions. Catalysis [10] 11] does something very similar for UML. Recently, the Object Constraint Language (OCL) 27][29] was developed as a part of the UML standard, and is being used for precisely expressing constraints on a model. Kent [23] 23] defines a diagrammatic notation, compatible with UML and these textual languages, which allows invariants and pre post conditions to be visualised. Some argue that ....

Kleppe A, Warmer J, Cook S. Informal Formality? The Object Constraint Language and its application in the metamodel. In the International Proceedings of <<UML>>'98 workshop, Mulhouse, France, June, 1998.

....pragmatic and formal approaches to software development. A seminal step in this direction was provided by the object oriented language Ei el where assertions are an integral (and executable) part of class declarations [M88] Recently, the Object Constraint Language OCL (see [Rat99] WK99] [KWC99]) o ers a formal notation to constrain the interpretation of modeling elements occurring in UML diagrams. OCL is systematically used for rigorous software development in the Catalysis Approach [SW98] The OCL notation is particularly suited to constrain classes and associations since OCL ....

A. Kleppe, J. Warmer and S. Cook. Informal informality? The Object Constraint Language and its application in the UML metamodel. Proc. The Uni- ed Modeling Language. <<UML>>'98: Beyond the Notation, Springer LNCS 1618, 1999.

....of expressions. While this style of presentation is perfectly well suited to introduce and demonstrate the concepts of OCL, we argue that a thorough understanding of OCL semantics requires a formal definition. The authors themselves emphasize that currently no complete formal semantics exists [18]. Due to this semi formal nature of the OCL definition some issues have already been identified that may lead to problems or open questions [14, 15] As a simple example, we present an OCL expression where the result cannot be unambiguously determined. Consider a query which builds a list ....

A. Kleppe, J. Warmer, and S. Cook. Informal formality? The Object Constraint Language and its application in the UML metamodel. In Muller and B'ezivin [20], pages 127--136.

No context found.

Anneke Kleppe, Jos Warmer, and Steve Cook. Informal formality? the Object Constraint Language and its application in the UML metamodel. In Jean Bezivin and Pierre-Alain Muller, editors, The Unified Modeling Language, UML'98 - Beyond the Notation. First International Workshop, Mulhouse, France, June 1998, pages 127--136, 1998.

No context found.

Anneke Kleppe, Jos Warmer, and Steve Cook. Informal formality? the Object Constraint Language and its application in the UML metamodel. In Jean Bezivin and Pierre-Alain Muller, editors, The Uni ed Modeling Language, UML'98 - Beyond the Notation. First International Workshop, Mulhouse, France, June 1998.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC