Defining the Context of OCL Expressions

  • Steve Cook
  • Anneke Kleppe
  • Richard Mitchell
  • Jos Warmer
  • Alan Wills
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1723)

Abstract

Expressions written in Object Constraint Language (OCL) within a UML model assume a context, depending upon where they are written. Currently the exact nature of this context is not fully defined. Furthermore there is no mechanism for defining the context for OCL expressions in extensions to UML. This paper defines the context of OCL expressions, and proposes precise and flexible mechanisms for how to specify this context.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    UML 1.3 beta R1 draft specification [at uml.shl.com in April 1999]Google Scholar
  2. 2.
    Warmer J and Kleppe A, The Object Constraint Language: Precise Modeling with UML, Addison Wesley Longman, Reading, Massachusetts (1999).Google Scholar
  3. 3.
    Cook S, Kleppe A, Mitchell R, Rumpe B, Warmer J and Wills A. The Amsterdam. Manifesto on OCL. Technical University Munich technical report (1999)Google Scholar
  4. 4.
    Cook S, Kleppe A, Mitchell R, Rumpe B, Warmer J and Wills A Prefaces: Defining UML. Family Members (in preparation)Google Scholar
  5. 5.
    Arnold K and Gosling J, The Java Programming Language, Addison Wesley Longman, Reading, Massachusetts (1996)MATHGoogle Scholar
  6. 6.
    Rumbaugh J, Jacobson I and Booch G The Unified Modelling Language Reference Manual. Addison Wesley Longman, Reading, Massachusetts (1999).Google Scholar
  7. 7.
    D’Souza D and Wills A Objects, Components, and Frameworks with UML. Addison Wesley Longman, Reading, Massachusetts (1999)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Steve Cook
    • 1
  • Anneke Kleppe
    • 2
  • Richard Mitchell
    • 3
  • Jos Warmer
    • 2
  • Alan Wills
    • 4
  1. 1.IBM UK LtdMiddlesexUK
  2. 2.Klasse ObjectenSoestThe Netherlands
  3. 3.University of BrightonBrightonUK
  4. 4.TriReme International LtdUK

Personalised recommendations