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|
|Date Deposited:||25 Nov 2007|
|Last Modified:||21 May 2014 11:01|
Actions (login required)
Downloads per month over past year