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) (KAR id:21635)

Language: English
Click to download this file (91kB) Preview
[thumbnail of Interpreting_the_Object_Constraint_Language.pdf]
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL:


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: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 22 Aug 2009 18:50 UTC
Last Modified: 16 Nov 2021 10:00 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.