On Formalizing the UML Object Constraint Language OCL

This publication has 13 references indexed in Scilit:

• A Formal Approach to Use Cases and Their Relationships
  Published by Springer Nature ,1999
• Informal Formality? The Object Constraint Language and Its Application in the UML Metamodel
  Published by Springer Nature ,1999
• Experience with Formal Specification of CMM and UML
  Published by Springer Nature ,1998
• Integration of $$ \mathcal{Z} $$ -Based Semantics of OO-Notations
  Published by Springer Nature ,1998
• Precise Semantics for Object-Oriented Modeling Techniques
  Published by Springer Nature ,1998
• Exploring The Semantics of UML Type Structures with Z
  Published by Springer Nature ,1997
• Towards a formalization of the Unified Modeling Language
  Published by Springer Nature ,1997
• Enhancing object-oriented methods with formal notations
  Theory and Practice of Object Systems, 1996
• A formal semantics for object model diagrams
  IEEE Transactions on Software Engineering, 1995
• The entity-relationship model—toward a unified view of data
  ACM Transactions on Database Systems, 1976