© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Interpreting the Object Constraint Language
A. Hamie, J. Howse, and S. Kent
In Proceedings of Asia Pacific Conference in Software Engineering, pages 182-196. IEEE Press, July 1998.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 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.
Download publication
64 kbytes
(PDF)
Bibtex Record
@inproceedings{784, author = {A. Hamie and J. Howse and S. Kent}, title = {{Interpreting the Object Constraint Language}}, month = {July}, year = {1998}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1998/784}, booktitle = {Proceedings of Asia Pacific Conference in Software Engineering}, publisher = {IEEE Press}, }