Interpreting the Object Constraint Language

Ali Hamie, John Howse, Stuart Kent

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBNpeer-review


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.
Original languageEnglish
Title of host publicationAsia Pacific Conference in Software Engineering
Number of pages14
Publication statusPublished - 1998


Dive into the research topics of 'Interpreting the Object Constraint Language'. Together they form a unique fingerprint.

Cite this