On Constraints and Queries in UML

The UML has recently been extended by an Object Constraint Language (OCL). This formal language can be used for specifying constraints on a model in order to restrict possible system states. We present some examples for illustrating main concepts of OCL. Problems with the current definition of OCL resulting from imprecise or ambiguous definitions are investigated. A comparison of OCL with a language for specification of queries and integrity constraints in an Extended Entity-Relationship model shows similarities between both approaches. This comparison could lead to a better understanding of OCL.

[1]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[2]  Peter P. Chen.  The entity-relationship model—toward a unified view of data , 2011, TODS.

[3]  Erich J. Neuhold,et al.  A Data Type Approach to the Entity-Relationship Approach , 1979, ER.

[4]  Maurizio Lenzerini,et al.  INCOD: A System for Conceptual Design of Data and Transactions in the Entity-Relationship Model , 1981, ER.

[5]  Ramez Elmasri,et al.  The Category Concept: An Extension to the Entity-Relationship Model , 1985, Data Knowl. Eng..

[6]  Luca Cardelli,et al.  On understanding types, data abstraction, and polymorphism , 1985, CSUR.

[7]  Stefano Spaccapietra,et al.  Complex Objects Modeling: An Entity-Relationship-Approach , 1987, NF².

[8]  Grady Booch,et al.  Object-Oriented Analysis and Design with Applications , 1990 .

[9]  Catriel Beeri,et al.  A Formal Approach to Object-Oriented Databases , 1990, Data Knowl. Eng..

[10]  James E. Rumbaugh,et al.  Object-Oriented Modelling and Design , 1991 .

[11]  O. Deux,et al.  The O2 system , 1991 .

[12]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[13]  Toby J. Teorey,et al.  The ORAC Model: A Unified View of Data Abstraction , 1991, ER.

[14]  Jacob Stein,et al.  The GemStone object database management system , 1991, CACM.

[15]  Jack A. Orenstein,et al.  The ObjectStore database system , 1991, CACM.

[16]  Martin Gogolla,et al.  Towards a semantic view of an extended entity-relationship model , 1991, TODS.

[17]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[18]  Gerald W. Both,et al.  Object-oriented analysis and design with applications , 1994 .

[19]  R. Ulusay,et al.  Object Constraint Language Specification , 1997 .

[20]  Martin Gogolla,et al.  A Web-based animator for validating object specifications , 1997, Proceedings of the 1997 International Database Engineering and Applications Symposium (Cat. No.97TB100166).

[21]  David Jordan,et al.  The Object Database Standard: ODMG 2.0 , 1997 .

[22]  Bran Selic,et al.  Experience with Formal Specification of CMM and UML , 1997, ECOOP Workshops.