Metamodellbasierte und hierarchieorientierte ... - RosDok

3.5 Realisieren von DMWM mit USE 63
Während der Modellierung werden Soundness-Eigenschaften der Workflowmodelle überprüft. Dieses wird in
Abbildung 3.16 mit dem Use Case check soundness properties ausgedrückt. Für den leichtgewichtig formalen
DMWM-Ansatz werden die Workflowmodelle als sound betrachtet solange sie keine Inkonsistenzen wie
Deadlocks oder Lifelocks beinhalten. Näheres dazu wurde bereits in Abschnitt 3.2.6 behandelt.
Ist das Workflowmodell erstellt, gibt es zwei Möglichkeiten dieses abzuspeichern und für die Runtime
nutzbar zu machen. Zum einen kann mit dem Anwendungsfall save to cmd file das Workflowmodell einer
USE-Kommandodatei gespeichert werden, die den Zustand des Workflowmodells reproduzieren kann.
Damit ist lediglich eine Prozessinstanz vom Workflowmodell reproduzierbar. Zum anderen wurde ein
Designtime-Plugin entwickelt, das die Workflowmodelle persistent in ASSL-Dateien speichert. Ruft man
die ASSL-Instanziierungsprozedur mehrfach während der Runtime auf, sind mehrere Prozessinstanzen des
modellierten Workflows erzeugbar. Das Designtime-Plugin wird im Zusammenhang mit der ASSL-Sprache
in den Abschnitten 4.1 und 4.2 erläutert.
3.5.3 Modellierung eines Workflows
Das USE-Tool wird zunächst mit dem vorgestellten Workflow Metamodell geladen. Daraufhin wird die
Oberfläche von USE angezeigt, welche in Abbildung 3.17 zu sehen ist.
Abbildung 3.17: Modellierungsoberfläche vom UML-Werkzeug USE
Es gibt zwei Möglichkeiten, Aktivitätsobjekte zu erzeugen, die mit den Verweisen 1. und 2. in Abbildung
3.17 angegeben sind. Zum einen werden links oben im Fenster die Metamodellelemente bereitgestellt.
Diese kann der Modellierer per Drag and Drop nutzen, um Aktivitäten zu erzeugen (s. Verweis 1. in
der Abbildung). Dabei wird die Objekt-ID für das Aktivitätsobjekt automatisch von USE vergeben. Zur
Bezeichnung der Aktivität ist es dann notwendig, dass der Modellierer die Aktivität anhand des Attributes
name benennt.
Die zweite Möglichkeit, Aktivitätsobjekte zu erzeugen, ist über den Create object view in USE gegeben
(s. Fenster in Abbildung 3.17, das mit 2. gekennzeichnet ist). Hierbei kann der Modellierer die Aktivitäten