Metamodellbasierte und hierarchieorientierte ... - RosDok

5.2 Transformation von CTT zu Aktivitätsdiagrammen 97
Modellierungsformalismus, in der keine Klammerungen zur Angabe der Abarbeitungsreihenfolgen der
temporalen Operatoren möglich sind. In textuellen Prozessalgebra-Termen können Klammerungen dagegen
in den Gleichungen bzw. Formeln verwendet werden.
Die Prioritäten zur Angabe der Bindung für die binären CTT-Operatoren sind in der Reihenfolge wie in
Tabelle 5.1 angegeben wiefolgt: Choice ([] Operator) > Parallel composition (||| und |[]| Operatoren) >
Disabling ([> Operator) > Suspend-resume (|> Operator) > Order independence (|=| Operator) > Enabling (»
und []» Operatoren).
Mit der oben angegebenen Priorisierung der Geschwisterknoten würde der Term A ||| B » C [] D damit
wiefolgt interpretiert werden: (A ||| B) » (C [] D).
5.2.3 Transformation der binären temporalen Operatoren
Die CTT-Operatoren, die in diesem Abschnitt zu Aktivitätsdiagrammen transformiert werden, sind Concurrency,
Choice, Order independence, Deactivation und Enabling. In Tabelle 5.2 sind die CTT-Operatoren
und die entsprechenden Repräsentationen als Aktivitätsdiagramme angegeben.
CTT-Modell
Repräsentation als Aktivitätsdiagramm
Tabelle 5.2: Transformation der CTT-Operatoren in Aktivitätsdiagramme
In Tabelle 5.2 ist als erstes der Choice-Operator transformiert worden. Für das zugehörige Aktivitätsdiagramm
wird ein Choice- und Merge-Operator strukturiert eingesetzt. An dem Choice-Operator muss