Metamodellbasierte und hierarchieorientierte ... - RosDok

38 Deklarative UML metamodellbasierte Workflowmodellierung
den Klassen vom Metamodell in Abbildung 3.2 bereitgestellt werden. Die Aktivitäten werden mit dem
Zustand waiting initialisiert. Daraufhin hat der Nutzer die Möglichkeit, die Aktivität mit dem Aufruf start()
zu starten oder mit skip() zu überspringen. Befindet sich das Aktivitätsobjekt im Zustand running kann es
mit finish() regulär beendet werden. Mit dem Aufruf fail() gibt der Nutzer an, dass während der Ausführung
ein Fehler passiert ist. Nur speziellen Cancel Aktivitäten ist es möglich, sie während der Ausführung
abzubrechen. Ganze Prozesse können mit cancel() abgebrochen werden, wenn es sich um Prozesse vom Typ
CancelProcess handelt.
Grundsätzlich sind Aktivitätsobjekte der Klassen Activity, Cancel und der Unterklassen von Decision nur
einmal ausführbar. Die Operationen, die von der Klasse Activity bereitgestellt werden, erlauben kein Zurücksetzen
des Zustandes, was ein wiederholtes Ausführen ermöglichen würde. Die dafür vorgesehene Operation
nextIteration() ist der Klasse IterationGroup zugeordnet. Wenn sich die Aktivität im Zustand done, skipped
oder canceled befindet und einer Iterationsgruppe zugeordnet ist, ist darüber eine wiederholte Ausführung
möglich. Diese Operation nextIteration() ist jedoch weiteren Ausführungsbedingungen unterworfen, die in
Abschnitt 3.2.3.1 näher erläutert werden. Es sind hier nur geordnete Iterationsdurchläufe möglich. D.h. es ist
erst dann ein neuer Iterationsdurchlauf erlaubt, wenn bei allen in der Gruppe enthaltenen Aktivitätsobjekten
die Transition in den Zustand waiting nach den State Charts von Abbildung 3.3 möglich ist.
Aktivitäten, die inhärent ohne explizites Zurücksetzen der Aktivität mehrfach ausgeführt werden können,
sind Iteration-Aktivitäten. Deren Verhalten ist im Zustandsdiagramm von Abbildung 3.3(b) verdeutlicht.
Mit den Operationsaufrufen start() und finish() können beliebig viele Iterationen durchgeführt werden. Ein
Iterationszyklus ist dafür im Sequenzdiagramm von Abbildung 4.6(b) angegeben. Bei einem Iterationszyklus
kann statt finish() auch fail() aufgerufen werden. Die Ausführungssemantik ist damit folgende: Mit dem
fail()-Aufruf schlägt nicht die Iterationsaktivität an sich fehl, sondern der aktuell ausgeführte Zyklus. Somit
kann z.B. wenn ein Zyklus fehlerhaft beendet wurde, ein weiterer ausgeführt werden, der dann die komplette
Aktivität zum Erfolg führt.
Iterationen werden schließlich explizit über die Methode finish() beendet, wenn sich das Objekt im Zustand
waiting befindet. Der Aufruf cancel() ist nur indirekt über die Klasse CancelProcess möglich. Mit skip()
können Iterationen nur übersprungen werden, wenn noch kein Iterationszyklus durchlaufen wurde, was durch
den zugeordneten OCL-Guard [self.iteration->isEmpty()] ausgedrückt wird. Falls schon ein Iterationszyklus
initiiert wurde, ist ein Aktivitätsobjekt, das diesen repräsentiert, über die Assoziation iteration verbunden.
Bereits beendete, übersprungene oder abgebrochene Iterationen können nach dem Zustandsdiagramm von
Abbildung 3.3(b) genauso wie normale Aktivitäten über die Methode nextIteration() wieder zurückgesetzt
werden, wenn sie sich in einer Iterationsgruppe befinden.
3.2.3 OCL-Zusicherungen
Im Gegensatz zu allen anderen bekannten Metamodellansätzen zur Workflowmodellierung (s. Abschnitt
2.5.3) wurde in DMWM umfangreich und zu verschiedenen Zwecken von OCL-Constraints Gebrauch
gemacht. Insbesondere wird OCL zur Definition der operationalen Semantik der neu entwickelten Workflowsprache
genutzt, um eine weitgehend plattformunabhängige, deklarative Spezifikation zu erreichen.
Zunächst wird zur Definition der operationalen Semantik in Abschnitt 3.2.3.1 beschrieben, wie die in
Abbildung 3.3 gezeigten Zustandsautomaten anhand von OCL-Vor- und Nachbedingungen ausgedrückt
werden. Daraufhin werden in Abschnitt 3.2.3.2 die Grundlagen und OCL-Hilfsfunktionen aus dem Metamodell
erklärt, die benötigt werden, um die temporalen Beziehungen mit OCL zu spezifizieren. Hierzu
gehört u.a. die Berechnung von transitiven Hüllen im Zusammenhang mit reflexiven Assoziationen aus
dem UML-Klassendiagramm. Schließlich werden in Abschnitt 3.2.3.3 noch exemplarisch temporale Bezie-