Interpreting the Object Constraint Language

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

Download (139kB) Preview


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: Conference or workshop item (Paper)
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: 20 Jun 2014 11:49 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year