Metamodellbasierte und hierarchieorientierte ... - RosDok

3.2 Workflow-Metamodell 47
(a) WCP16: Deferred Choice
(b) WCP17: Interleaved Parallel
Routing
(c) WCP18: Milestone
Abbildung 3.7: State-based Patterns
werden darf.
✞
1 context DeferredChoice inv allWaitingXorOneRunningOthersSkipped:
2 let act_selected:Set(Activity) = activity−>select(a | a.state=#running or a.state=#done) in
3 activity−>forAll(a | a.state=#waiting) xor
4 ( act_selected−>size=1 and (activity − act_selected)−>forAll(a|a.state=#skipped))
5
6 context InterleavedParallelRouting inv atMostOneRunning:
7 self.activity−>select(a | a.state=#running)−>sizeselect(isDefined()).activity
12 −>union(until.oclAsType(Activity)−>select(oclIsTypeOf(Activity)))−>asSet()
13 in act−>forAll(a | a.state=#waiting)
✝
Listing 3.8: Definition vom Deferred Choice, Interleaved Parallel Routing und Milestone Pattern
☎
✆
Das letzte der State-based Patterns ist das Milestone Pattern (WCP18). Es sagt aus, dass wenn ein bestimmter
Ausführungspunkt im Prozessmodell erreicht wird, gewisse Aktivitäten nicht weiter ausführbar sind. Bereits
gestartete Aktivitäten werden weiterhin ausgeführt.
Dieser Sachverhalt wird mit der Assoziation exceeded im Metamodell ausgedrückt. Die Assoziation wird
in Abbildung 3.7(c) angewendet und das Pattern damit ausgedrückt. Sobald Aktivität a5 ausgeführt wird,
steht die Ausführung von Aktivität a2 nicht mehr zur Verfügung. Es wird also Aktivität a2 geskippt, falls
sie sich im Zustand waiting befindet. Falls a2 schon gestartet wurde, hat dies keine Effekte auf deren
Ausführung. Jedoch ist ein nochmaliges starten untersagt. Dieser Umstand kann nicht durch eine OCL-
Invariante ausgedrückt werden, sondern muss mit der Vorbedingung für die Operation start() verknüpft
werden. In Listing 3.8 ist die Vorbedingung untilActivitiesStillWaiting spezifiziert, die diesen Sachverhalt
ausdrückt. Die Vorbedingung ist etwas umfangreicher, weil auch Gruppen mit der exceeded-Assoziation
verbunden werden können. Die in den Gruppen enthaltenen Aktivitäten müssen erstmal in der Variablen act
eingesammelt werden. Daraufhin wird sichergestellt, dass sich alle until-Aktivitäten im Zustand waiting
befinden. Die Vorbedingung ist für die Klasse Activity in Listing 3.8 angegeben. Sie hat zudem auch für alle
deren Unterklassen zu gelten.
Ist die Aktivität a2 von Abbildung 3.7(c) durch das WCP18 geskippt worden, ist eine weitere Ausführung
der Folgeaktivitäten möglich. Im Falle von Abbildung 3.7(c) ist a3 weiterhin auszuführen.
3.2.4.5 Iteration and Cancellation Patterns
In diesem Abschnitt werden die restlichen aus dem Katalog [AHKB03] verbliebenen Patterns beschrieben.
Es gibt noch die Kategorie Iteration Patterns, zu der das Arbitrary Cycle Pattern (WCP10) gehört. Die