Metamodellbasierte und hierarchieorientierte ... - RosDok

96 Hierarchieorientierte Workflowmodellierung
In Abbildung 5.2(b) sind dann die CallBehaviourActions mit dem UML-Hierarchiesymbol bei den Aktivitäten
A und B angegeben. Hierbei sind mit den drei Hierarchieebenen drei Aktivitätsdiagramme zu sehen, die
jedoch noch keinen Sequenzflusskanten beinhalten. Eine konzeptionelle Darstellung der Hierarchie, die bei
Aktivitätsdiagrammen eher unüblich ist, ist in Abbildung 5.2(c) zu sehen.
An dem Modell von Abbildung 5.2(a) ist ersichtlich, dass durch die Baumdarstellung mehrere Abstraktionsebenen
in einem Modell visualisiert werden. Anhand dessen lassen sich die oben erwähnten Nutzerziele
ausdrücken. Dagegen ist wie in Abblidung 5.2(b) bei flachen Modellierungssprachen wie Aktivitätsdiagrammen
diese Zielmodellierung nur über den Umweg weiterer Modelle ausdrückbar.
5.2.2 Einführung der temporalen CTT-Operatoren
Die Operatoren, die CTT zur Angabe der temporalen Beziehungen von Aufgaben bereitstellt, sind in Tabelle
5.1 aufgelistet.
CTT-Operator Bezeichnung Operationale Semantik
A [] B Choice Entweder A oder B sind auszuführen.
A ||| B Concurrency A und B werden unabhängig voneinander abgearbeitet.
A |[]| B Concurrency With Information
Exchange
A und B sind unabhängig voneinander auszuführen, tauschen
aber währenddessen Informationen aus.
A [> B Deactivation B kann die Ausführung von A abbrechen. Zudem ist die
Ausführung von B erforderlich, auch wenn A schon beendet
wurde. Diese Eigenschaft unterscheidet den CTT-
Deactivation vom LOTOS-Deactivation-Operator.
A |> B Suspend-resume Solange A läuft kann B die Aktivität unterbrechen. Dieses
kann mehrfach während der Abarbeitung von B geschehen,
so dass B damit mehrmals ausgeführt wird.
A |=| B Order Independence Entweder wird A oder B (jeweils inklusive Unteraufgaben)
komplett abgearbeitet bevor die andere Aufgabe starten
darf.
A » B Enabling A muss vor dem Starten von B abgearbeitet worden sein.
A []» B Enabling with information
passing
A muss vor dem Starten von B abgearbeitet worden sein. A
stellt des Weiteren Information für B bereicht.
A* Iteration A kann beliebig häufig ausgeführt werden, solange die darauffolgende
Aufgabe mit einem Deactivation- oder Choice-
Operator nicht zur Ausführung ausgewählt wurde.
[A] Option A kann optional ausgeführt werden
Tabelle 5.1: Temporale CTT-Operatoren
In diesem Abschnitt sollen die temporalen Operatoren informell eingeführt werden, um sie in den Abschnitten
5.2.3 und 5.2.4 zur semiformalen Repräsentation in Aktivitätsdiagrammen zu nutzen. Des Weiteren wird
eine formalere Spezifikation dieser Operatoren in Abschnitt 5.3 folgen, in dem ein präzises Metamodell für
CTT vorgestellt wird. Dort werden zudem Konsistenzprobleme aufgezeigt, die temporale Operatoren in
CTT-Modellen hervorrufen können.
In der linken Spalte der Tabelle 5.1 ist die Syntax der Operatoren angegeben. Daraufhin ist in der mittleren die
Bezeichnung der Operatoren zu sehen und in der rechten umgangsprachlich und informell die operationale
Semantik beschrieben.
Die temporalen Operatoren aus Tabelle 5.1 haben Prioritäten, die notwendig für die Interpretation der
Abarbeitungsreihenfolge mehrerer Geschwisterknoten im Aufgabenbaum sind. CTT ist ein grafischer