@inproceedings{39406,
  abstract     = {{Die Object Constraint Language (OCL) wurde entwickelt, um Modellierer bei der Spe-
zifikation von Modelleigenschaften im Kontext gegebener UML Diagramme zu un-
terst ̈utzen [3]. Jedoch ist es leider nicht m ̈oglich, Eigenschaften, die das dynamische
Verhalten betreffen, mit der derzeitigen Version von OCL auszudr ̈ucken.
Wir pr ̈asentieren eine Erweiterung von OCL Version 1.4 zur Spezifikation von zu-
standsbasierten, zeitbehafteten Eigenschaften. Obwohl OCL und unsere Erweiterung
in erster Linie im Rahmen der UML entwickelt worden sind, ist es auch m ̈oglich,
mit dieser Sprache Eigenschaften f ̈ur andere objektbasierte Formalismen zu beschrei-
ben. Wir veranschaulichen dies anhand einer Anwendung bei der Modellpr ̈ufungsspe-
zifikation in Verbindung mit MFERT, einer praxisrelevanten Notation, die im Projekt
GRASP zur Modellierung von Produktionsabl ̈aufen eingesetzt wird.}},
  author       = {{Flake, Stephan and Müller, Wolfgang}},
  title        = {{{Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie}}},
  year         = {{2001}},
}