Hamie, A. and Howse, J. and Kent, S.
Interpreting the Object Constraint Language.
Software Engineering Conference, 1998. Proceedings. 1998 Asia Pacific.
The Object Constraint Language (OCL), which forms part of the UML 1.1. set of modelling notations is a precise, textual language for expressing constraints that cannot be shown in the standard diagrammatic notation used in UML. A semantics for OCL lays the foundation for building CASE tools that support integrity checking of the whole UML models, not just the component expressed using OCL. This paper provides a semantics for OCL, at the same time providing a semantics for classes, associations, attributes and states.
- Depositors only (login required):