Hamie, Ali and Howse, John and Kent, Stuart
Interpreting the Object Constraint Language.
Software Engineering Conference, 1998. Proceedings. 1998 Asia Pacific.
(Full text available)
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):