{"title":"Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie","date_created":"2023-01-24T10:24:09Z","type":"conference","_id":"39406","language":[{"iso":"eng"}],"year":"2001","status":"public","author":[{"first_name":"Stephan","last_name":"Flake","full_name":"Flake, Stephan"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"}],"date_updated":"2023-01-24T10:24:15Z","abstract":[{"text":"Die Object Constraint Language (OCL) wurde entwickelt, um Modellierer bei der Spe-\r\nzifikation von Modelleigenschaften im Kontext gegebener UML Diagramme zu un-\r\nterst ̈utzen [3]. Jedoch ist es leider nicht m ̈oglich, Eigenschaften, die das dynamische\r\nVerhalten betreffen, mit der derzeitigen Version von OCL auszudr ̈ucken.\r\nWir pr ̈asentieren eine Erweiterung von OCL Version 1.4 zur Spezifikation von zu-\r\nstandsbasierten, zeitbehafteten Eigenschaften. Obwohl OCL und unsere Erweiterung\r\nin erster Linie im Rahmen der UML entwickelt worden sind, ist es auch m ̈oglich,\r\nmit dieser Sprache Eigenschaften f ̈ur andere objektbasierte Formalismen zu beschrei-\r\nben. Wir veranschaulichen dies anhand einer Anwendung bei der Modellpr ̈ufungsspe-\r\nzifikation in Verbindung mit MFERT, einer praxisrelevanten Notation, die im Projekt\r\nGRASP zur Modellierung von Produktionsabl ̈aufen eingesetzt wird.","lang":"eng"}],"series_title":"Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen","citation":{"bibtex":"@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} }","ama":"Flake S, Müller W. Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie. Published online 2001.","chicago":"Flake, Stephan, and Wolfgang Müller. “Spezifikation von Echtzeiteigenschaften Mit OCL Für Eine MFERT-Basierte Fallstudie.” Tagungsband: Ablaufmodellierungen in Ingenieruwissenschaftlichen Anwendungen. Berlin, 2001.","short":"S. Flake, W. Müller, (2001).","ieee":"S. Flake and W. Müller, “Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie.” Berlin, 2001.","apa":"Flake, S., &#38; Müller, W. (2001). <i>Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie</i>.","mla":"Flake, Stephan, and Wolfgang Müller. <i>Spezifikation von Echtzeiteigenschaften Mit OCL Für Eine MFERT-Basierte Fallstudie</i>. 2001."},"place":"Berlin","user_id":"5786","department":[{"_id":"672"}]}