@InProceedings{Hamie:1998:UUCDOODD,
  author =       "Ali Hamie and Franco Civello and John Howse and Stuart
                  Kent and Richard Mitchell",
  title =        "Reflections on the {Object Constraint Language}",
  pages =        "137--145",
  abstract =     "The Object Constraint Language (OCL), which forms part of
                  the UML 1.1. set of modelling notations is a precise,
                  textual language for expressing constraints that can not
                  be shown diagramatically in UML.  This paper reflects on
                  aspects in the syntax and semantics of the OCL which are
                  ambiguous or missing from the OCL documentation,
                  including some minor extensions to the language itself
                  based on our experience of precise specification in an
                  object-oriented context. We use fragments of first order
                  predicate logic to illustrate the semantics of some of
                  the constructs of OCL.",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}