@InProceedings{Richters:2000:GI,
  author =       "Mark Richters and Martin Gogolla",
  title =        "Validierung von {UML}-Modellen und {OCL}-Bedingungen",
  booktitle =    "Proc. GI'2000 Workshop Rigorose Entwicklung
                  software-intensiver Systeme",
  year =         "2000",
  editor =       "Martin Wirsing and Martin Gogolla and Hans-J{\"o}rg
                  Kreowski and Tobias Nipkow and Wolfgang Reif",
  pages =        "21--32",
  publisher =    "LMU M{\"u}nchen, Informatik-Bericht Nr. 0005",
  abstract =     "Die Unified Modeling Language (UML) ist ein allgemein
                  akzeptierter Standard f{\"u}r die Modellierung von
                  Software-Systemen und wird als solcher von einer
                  gro{\ss}en Anzahl von CASE-Tools unterst{\"u}tzt. Oft
                  weisen UML-Werkzeuge nur wenig Unterst{\"u}tzung f{\"u}r
                  die Validierung von Modellen in fr{\"u}hen Entwurfsphasen
                  auf. Es gibt im allgemeinen auch keine nennenswerte
                  Unterst{\"u}tzung f{\"u}r Integrit{\"a}tsbedingungen, die
                  in der Object Constraint Language (OCL) geschrieben sind.
                  Wir stellen daher einen Ansatz f{\"u}r die Validierung
                  von UML-Modellen und OCL-Bedingungen vor, der diese
                  Unterst{\"u}tzung bereitstellt. Das USE-Werkzeug
                  (UML-based Specification Environment) bietet einen
                  Animator zum Simulieren von UML-Modellen und einen
                  OCL-Interpreter f{\"u}r die {\"u}berpr{\"u}fung von
                  Bedingungen. Einzelne Zust{\"a}nde eines laufenden
                  Systems k{\"o}nnen untersucht und auf {\"U}bereinstimmung
                  mit dem Modell {\"u}berpr{\"u}ft werden.",
}