Metamodellbasierte und hierarchieorientierte ... - RosDok

102 Hierarchieorientierte Workflowmodellierung
den Choice-Operator zwischen B und C würde dieser mehrfach ausgewertet werden. Da in dieser Ebene
aber keine Iteration spezifiziert ist, würde dieses Modellverhalten zu einem semantischen Problem führen.
In der Ebene ist der Choice einmal zu vollziehen. Außerdem wäre eine Transformation dieses Modells zu
einem Aktivitätsdiagramm nicht möglich. Die Kontrollflusskante ausgehend von E zum Choice-Operator,
der entscheidet, ob E oder C auszuführen ist, müsste über die Aktivitätsgrenze der Aktivität B gehen. Ein
solches Modell ist jedoch bei Aktivitätsdiagrammen nicht erlaubt [UML10].
Die in diesem Abschnitt aufgezeigten Konsistenzprobleme verdeutlichen, dass eine genauere Spezifikation
der CTT-Aufgabenmodelle und eine bessere Toolunterstützung während der Designtime wünschenswert ist.
CTTE bietet zwar Möglichkeiten zur Konsistenzprüfung der Modelle, diese sind aber nicht komplett, wie
Beispiele aus diesem Abschnitt gezeigt haben. Außerdem gibt es keine verlässlichen Spezifikationen, die
die Soundness-Eigenschaften für CTT-Modelle festlegen. Einen transparenten Ansatz zur Definition der
Soundness-Eigenschaften bietet ein metamodellbasierter Ansatz, der in Abschnitt 5.3.2 vorgestellt wird.
5.3.2 Metamodell für MCTT
In diesem Abschnitt wird in Abbildung 5.4 das Klassendiagramm vorgestellt, das die Basis zur Definition
der Sprache Metamodel-Based ConcurTaskTree (MCTT) liefert. Diese Sprache ist wie der Name schon
verrät stark angelehnt an CTT und soll deren Eigenschaften und Semantiken beinhalten.
Abbildung 5.4: Das Metamodel für den MCTT-Ansatz
Im Klassendiagramm ist die abstrakte Klasse Task zu sehen. Sie beinhaltet das Attribut name, mit der das
Aufgabenobjekt bezeichnet werden kann. Alternativ kann wie bei dem DMWM-Modell von Abbildung
3.9 auch bei MCTT die Objekt-ID zur Bezeichnung verwendet werden. Des Weiteren ist mit dem Attribut
tempOp die Möglichkeit gegeben, der Aufgabe einen unären temporalen Operator zuzuweisen. In der
Enumeration TempUn sind dafür die zwei möglichen Operatoren angegeben. Der Eintrag OPT steht für
optional auszuführende und ITER für mehrfach auszuführende, iterative Aufgaben.
Die abstrakten Aufgaben gliedern sich auf in innere Knoten und Blattknoten. Die Klasse CompTask
repräsentiert die inneren Knoten, wohingegen die Blattknoten durch die Klasse LeafTask spezifiziert werden.