Time-based constraints in the Object Contraint Language OCL

Hamie, Ali, Howse, John and Mitchell, Richard (2004) Time-based constraints in the Object Contraint Language OCL In: Proceedings of the 8th international conference on Artificial Intelligence and Soft Computing (ASC 2004), Marbella, Spain, 1-3 September, 2004.

SE04HHM.pdf - Published Version
Available under License Creative Commons Attribution Share Alike.

Download (46kB) | Preview


The Object Constraint Language OCL is a textual specification language that supplements UML class diagrams for describing and expressing various constraints that can not be modelled by the diagrams. These constraints include invariants on classes and object types, preconditions and postconditions of operations. This paper describes an approach for extending OCL with time-based constraints in such a way so as not to compromise its simplicity. A time-based constraint describes how values can change between earlier and later states. The approach is essentially based on using @pre and oclIsNew in invariants as well as in postconditions of operations. In order to distinguish between invariants and time-based constraints we introduce the stereotype <>. We also introduce an operator eventually for expressing liveness constraints on attributes. We illustrate the approach by describing constraints such as constant attributes of an object, constant associations, and values increasing or decreasing over time.

Item Type: Contribution to conference proceedings in the public domain ( Full Paper)
Additional Information: Creative Commons Attribution Share Alike 2.0 license
Uncontrolled Keywords: OCL; UML; Invariants; Time-based Constraints
Subjects: G000 Computing and Mathematical Sciences > G400 Computing
Faculties: Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
Depositing User: Converis
Date Deposited: 25 Nov 2007
Last Modified: 17 Apr 2015 11:01
URI: http://eprints.brighton.ac.uk/id/eprint/3275

Actions (login required)

View Item View Item


Downloads per month over past year