DocumentCode
2403905
Title
Interpreting the object constraint language
Author
Hamie, Ali ; Howse, John ; Kent, Stuart
Author_Institution
Dept. of Comput., Brighton Polytech., UK
fYear
1998
fDate
2-4 Dec 1998
Firstpage
288
Lastpage
295
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference, 1998. Proceedings. 1998 Asia Pacific
Conference_Location
Taipei
Print_ISBN
0-8186-9183-2
Type
conf
DOI
10.1109/APSEC.1998.733731
Filename
733731
Link To Document