Skip to main content

Interpreting the Object Constraint Language

Hamie, Ali and Howse, John and Kent, Stuart (1998) Interpreting the Object Constraint Language. In: Proceedings of the 1998 Asia Pacific Software Engineering Conference. IEEE, pp. 288-295. ISBN 0-8186-9183-2. (doi:10.1109/APSEC.1998.733731)


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.

Item Type: Book section
DOI/Identification number: 10.1109/APSEC.1998.733731
Uncontrolled keywords: unified modeling language; computer aided software engineering; robustness; formal specifications; kernel; electrical capacitance tomography; logic design
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 22 Aug 2009 18:50 UTC
Last Modified: 06 Aug 2019 14:20 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year