Metamodellbasierte und hierarchieorientierte ... - RosDok

4.2 Instanziierung und Grundlagen zur Ausführung der Modelle 69
sind über OCL-Constraints im Datenmodell spezifiziert, was bereits in Abschnitt 3.3.3 thematisiert wurde.
Im Runtime-Plugin werden die Objekte angezeigt und der Nutzer hat die notwendigen Daten einzugeben
(Anwendungsfall enter required data). Während der Ausführung der Aktivitäten werden angefragte Datenobjekte
ebenfalls dargestellt (Anwendungsfall view data read objects). Die Funktionalität des Runtime-Plugins
zur Interaktion mit Datenobjekten wird in Abschnitt 4.3.3 beleuchtet.
Schließlich können die ausgeführten Worklfowinstanzen auf mehrere Weisen analysiert werden. Dazu
gehört das Log-Window im Workflow-Plugin, welches die Aktionen vom Nutzer während der Workflow-
Ausführung inkl. Timestamps protokolliert. USE stellt ein OCL-Anfragefenster bereit, das eine Analyse auf
Basis von OCL Process-Mining-Anfragen ermöglicht. Eine visuelle Variante, den Ablauf der Workflowinstanz
zu erfassen, ist mit dem UML-Sequenzdiagramm in USE gegeben. In diesem Diagramm werden die
Operationsaufrufe bei den Aktivitäten geloggt und dargestellt. Die Aufrufe können ausgehend vom Nutzer
über das Workflow-Plugin oder durch Seiteneffekte ausgehend von anderen Aktivitätsausführungen auf
Basis temporaler Beziehungen geschehen. Die Analysemöglichkeiten von ausgeführten Workflows werden
in Abschnitt 4.4 näher erklärt.
4.2 Instanziierung und Grundlagen zur Ausführung der Modelle
USE stellt nicht nur die Modellierungsumgebung bereit, sondern auch die Ausführungsumgebung für
die Workflowmodelle. Von USE können zwei Sprachen interpretieren werden, die Teile der UML Action
Semantics umsetzen. Eine dieser Sprachen ist A Snapshot Sequence Language (ASSL) [GBR07] und die
andere A Simple OCL-based Imperative Language (SOIL) [Büt11]. ASSL ist schon länger in USE integriert,
wohingegen SOIL recht aktuell parallel zum DMWM-Ansatz entwickelt wurde. Für DMWM war die
Sprache zu neu, so dass ASSL für die imperative Umsetzung Verwendung fand.
4.2.1 ASSL Sprachvorstellung und Erweiterung
A Snapshot Sequence Language (ASSL) wurde zur Validierung und Zertifizierung von UML-Modellen implementiert
[GBR05]. Anhand von ASSL-Prozeduren lassen sich in USE halbautomatisch Objektdiagramme
aus Klassendiagrammen erzeugen. Dafür implementiert ASSL große Teile der UML-Action Semantics, wie
z.B. Erstellen, Löschen von Objekten oder Links und Setzen von Attributwerten von Objekten. In Tabelle 4.1
sind die ASSL Befehle inkl. Erklärung dazu angegeben. Die Befehle werden in ASSL-Prozeduren in einer
Pascal-ähnlichen Syntax geschrieben [GBR07]. Analog zu Pascal können auch Variablen deklariert und
dann in OCL-Termen genutzt werden, nachdem ihnen Objekte bzw. Werte zugeordnet wurden. Es stehen
zudem for-Schleifen und if -Bedingungen zur Verfügung.
Die grundlegenden Befehle zur Erzeugung von Objekten, Links und Setzen von Attributwerten ist essenziell
für die DMWM-Workflowausführung. Zusätzlich musste ASSL erweitert werden, indem die drei Befehle
ASSLCall, OpEnter und OpExit hinzugekommen sind. Diese werden umfangreich genutzt, was in Abschnitt
4.2.2 näher vorgestellt wird. Für die Erweiterungen musste der bereits umfangreiche auf ANTLR [Par07]
basierende Interpretationsmechanismus des ASSL-Interpreters erweitert werden. In [BHW11] wurden die
entsprechenden Erweiterungen vorgestellt.
Eine Auffälligkeit bei ASSL ist das explizite Kennzeichnen von OCL-Termen in den ASSL Kommandos
mit eckigen Klammern. In Tabelle 4.1 ist das zu sehen beim Zuweisen eines Attributwertes. Auch in den
folgenden Listings 4.1 und 4.2 ist diese Eigenart auffällig. Bei der Sprache SOIL wurde diese wieder
beseitigt, so dass die OCL dort direkter integriert ist.