Abstract
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 language | English |
|---|---|
| Title of host publication | The Unified Modeling Language. «UML»’98: Beyond the Notation |
| Place of Publication | Berlin, Heidelberg |
| Publisher | Springer-Verlag |
| Pages | 162–172 |
| Number of pages | 10 |
| Volume | 1618 |
| ISBN (Electronic) | 9783540484806 |
| ISBN (Print) | 9783540662525 |
| Publication status | Published - 1999 |