Title :
Interpreting the object constraint language
Author :
Hamie, Ali ; Howse, John ; Kent, Stuart
Author_Institution :
Dept. of Comput., Brighton Polytech., UK
Abstract :
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 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
Keywords :
object-oriented languages; visual languages; CASE tools; UML 1.1. set; associations; attributes; classes; diagrammatic notation; integrity checking; modelling notations; object constraint language interpretation; states; textual language; Computer aided software engineering; Electrical capacitance tomography; Formal specifications; Kernel; Logic design; Robustness; Unified modeling language;
Conference_Titel :
Software Engineering Conference, 1998. Proceedings. 1998 Asia Pacific
Conference_Location :
Taipei
Print_ISBN :
0-8186-9183-2
DOI :
10.1109/APSEC.1998.733731
