@InProceedings{Gogolla:2001:Dagstuhl,
  author =       "Martin Gogolla",
  title =        "Formal Methods versus {UML}'s {OCL}",
  booktitle =    "Can Formal Methods Cope with Software-Intensive Systems",
  year =         "2001",
  editor =       "Stefan J{\"a}hnichen and Jeff Kramer and Michel Lemoine
                  and Martin Wirsing",
  pages =        "19--20",
  publisher =    "Dagstuhl-Seminar-Report 308",
  isbn =         "0940-1121",
  abstract =     "The talk explains the connection between the Unified
                  Modeling Language UML and its Object Constraint Language
                  OCL. It shows OCL features by considering the BART case
                  study and giving a small abstract specification for it.
                  This specification is animated by means of the UML
                  Specification Environment USE developed at University of
                  Bremen. Finally the talk discusses to what extent OCL is
                  different from existing formal specification languages.",
}