Time-based constraints in the Object Contraint Language OCL

Ali Hamie, John Howse, Richard Mitchell

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Abstract

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.
Original languageEnglish
Title of host publicationProceedings of the 8th international conference on Artificial Intelligence and Soft Computing (ASC 2004)
Place of PublicationCalgary, Canada
PublisherACTA Press
Pages0-0
Number of pages1
Publication statusPublished - 1 Jan 2004
EventProceedings of the 8th international conference on Artificial Intelligence and Soft Computing (ASC 2004) - Marbella, Spain, 1-3 September, 2004
Duration: 1 Jan 2004 → …

Conference

ConferenceProceedings of the 8th international conference on Artificial Intelligence and Soft Computing (ASC 2004)
Period1/01/04 → …

Bibliographical note

Creative Commons Attribution Share Alike 2.0 license

Keywords

  • OCL
  • UML
  • Invariants
  • Time-based Constraints

Fingerprint Dive into the research topics of 'Time-based constraints in the Object Contraint Language OCL'. Together they form a unique fingerprint.

  • Cite this

    Hamie, A., Howse, J., & Mitchell, R. (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) (pp. 0-0). ACTA Press. http://www.actapress.com/Abstract.aspx?paperId=18603