Reflections on the Object Constraint Language

Ali Hamie, Franco Civello, John Howse, Stuart Kent, Richard Mitchell

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 set of modelling notations, is a precise, textual language for expressing constraints that cannot be shown diagrammatically in UML. This paper reflects on a number of aspects of the syntax and semantics of the OCL, and makes proposals for clarification or extension. Specifically, the paper suggests that: the concept of flattening collections of collections is unnecessary, state models should be connectable to class models, defining object creation should be made more convenient, OCL should be based on a 2-valued logic, set subtraction should be covered more fully, and a “let” feature should be introduced.
Original languageEnglish
Title of host publication The Unified Modeling Language. «UML»’98: Beyond the Notation
Place of PublicationBerlin, Heidelberg
Number of pages10
ISBN (Electronic)9783540484806
ISBN (Print)9783540662525
Publication statusPublished - 1999


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

Cite this