Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie
S. Flake, W. Müller, (2001).
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Flake, Stephan;
Müller, WolfgangLibreCat
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.
Publishing Year
forms.conference.field.series_title_volume.label
Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen
LibreCat-ID
Cite this
Flake S, Müller W. Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie. Published online 2001.
Flake, S., & Müller, W. (2001). Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie.
@article{Flake_Müller_2001, place={Berlin}, series={Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen}, title={Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie}, author={Flake, Stephan and Müller, Wolfgang}, year={2001}, collection={Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen} }
Flake, Stephan, and Wolfgang Müller. “Spezifikation von Echtzeiteigenschaften Mit OCL Für Eine MFERT-Basierte Fallstudie.” Tagungsband: Ablaufmodellierungen in Ingenieruwissenschaftlichen Anwendungen. Berlin, 2001.
S. Flake and W. Müller, “Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie.” Berlin, 2001.
Flake, Stephan, and Wolfgang Müller. Spezifikation von Echtzeiteigenschaften Mit OCL Für Eine MFERT-Basierte Fallstudie. 2001.
Google Scholar