Skip to main content

Reflections on the Object Constraint Language

Hamie, Ali and Civello, Franco and Howse, John and Kent, Stuart and Mitchell, Richard (1998) Reflections on the Object Constraint Language. In: The Unified Modeling Language. «UML»’98: Beyond the Notation First International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 162-172. ISBN 978-3-540-66252-5. E-ISBN 978-3-540-48480-6. (doi:10.1007/978-3-540-48480-6_13)

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.

Item Type: Book section
DOI/Identification number: 10.1007/978-3-540-48480-6_13
Uncontrolled keywords: Class Diagram; State Diagram; Object Constraint Language; State Schedule; Textual Language
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 14:18 UTC
Last Modified: 06 Sep 2019 15:17 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/21643 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year