OCL: Syntax, Semantics, and Tools

The Object Constraint Language OCL allows to formally specify constraints on a UML model. We present a formal syntax and semantics for OCL based on set theory including expressions, invariants and pre- and postconditions. A formal foundation for OCL makes the meaning of constraints precise and helps to eliminate ambiguities and inconsistencies. A precise language definition is also a prerequisite for implementing CASE tools providing enhanced support for UML models and OCL constraints. We give a survey of some OCL tools and discuss one of the tools in some more detail. The design and implementation of the USE tool supporting the validation of UML models and OCL constraints is based on the formal approach presented in this paper.

[1]  Luis Mandel,et al.  On the Expressive Power of OCL , 1999, World Congress on Formal Methods.

[2]  Richard Mitchell,et al.  Defining the Context of OCL Expressions , 1999, UML.

[3]  Bernhard Rumpe,et al.  The Amsterdam Manifesto on OCL , 2014, Object Modeling with the OCL.

[4]  Bernhard Rumpe,et al.  «UML»’99 — The Unified Modeling Language , 2003, Lecture Notes in Computer Science.

[5]  Shane Sendall,et al.  From Use Cases to System Operation Specifications , 2000, UML.

[6]  Tony Clark.  Type Checking UML Static Diagrams , 1999, UML.

[7]  Gabriele Taentzer,et al.  Consistency Checking and Visualization of OCL Constraints , 2000, UML.

[8]  Martin Gogolla,et al.  On Constraints and Queries in UML , 1997, UML Workshop.

[9]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[10]  Stuart Kent,et al.  Reflections on the Object Constraint Language , 1998, UML.

[11]  Anneke Kleppe,et al.  Extending OCL to include Actions , 2000, UML.

[12]  C. A. R. Hoare,et al.  An axiomatic basis for computer programming , 1969, CACM.

[13]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

[14]  Martin Gogolla,et al.  On Formalizing the UML Object Constraint Language OCL , 1998, ER.

[15]  Joost-Pieter Katoen,et al.  On a Temporal Logic for Object-Based Systems , 2000, FMOODS.

[16]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[17]  Garry D. Coleman,et al.  Advancing the Standard , 1999 .

[18]  Martin Gogolla,et al.  Validating UML Models and OCL Constraints , 2000, UML.

[19]  Heinrich Hußmann,et al.  Modular architecture for a toolset supporting OCL , 2000, Sci. Comput. Program..

[20]  Peter H. Schmitt,et al.  Entwurfsmustergesteuerte Erzeugung von OCL-Constraints , 2000, GI Jahrestagung.

[21]  S. Anderson,et al.  Secure Synthesis of Code: A Process Improvement Experiment , 1999, World Congress on Formal Methods.

[22]  Thomas Baar,et al.  An Integrated Metamodel for OCL Types , 2000 .

[23]  Martin Gogolla,et al.  A Metamodel for OCL , 1999, UML.

[24]  Martin Schader,et al.  The Unified Modeling Language: Technical Aspects and Applications , 1999 .

[25]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..