@InProceedings{Richters:1999:OOPSLA-WS,
  author =       "Mark Richters and Martin Gogolla",
  title =        "On the Need for a Precise {OCL} Semantics",
  booktitle =    "Proc. OOPSLA Workshop ``Rigorous Modeling and Analysis
                  with the UML: Challenges and Limitations''",
  year =         "1999",
  editor =       "Robert France and Bernhard Rumpe and Brian
                  Henderson-Sellers and Jean-Michel Bruel and Ana Moreira",
  publisher =    "Colorado State University, Fort Collins, Colorado",
  abstract =     "In our view a formalization of the OCL is beneficial for
                  achieving the following goals: (1) Improvement of the OCL
                  itself by pointing out some potential problems with its
                  current definition, (2) a more precise understanding of
                  UML class models and their interpretation, (3) a solid
                  foundation for implementing CASE tools supporting
                  analysis, simulation and validation of UML models. We
                  also feel that there is one aspect of OCL which often
                  gets underrated. OCL expressions cannot only be used to
                  specify constraints, but more generally, one can utilize
                  them to specify queries retrieving non-trivial
                  information about certain objects in a given system
                  state.  These queries can then be translated into
                  statements of a query language of the chosen
                  implementation environment. A precise OCL semantics would
                  obviously facilitate a more systematic description of a
                  translation scheme from OCL to e.g. SQL or the ODMG's
                  Object Query Language (OQL).",
}