Metamodellbasierte und hierarchieorientierte ... - RosDok

50 Deklarative UML metamodellbasierte Workflowmodellierung
✞
1 context FlowObject inv noSeqCycles:
2 self.getSuccObjects(Set{})−>excludes(self)
3
4 context Activity inv notParallelAndInterleaved:
5 let parallelAct:Set(Activity)=self.group−>select(g|g.oclIsTypeOf(Parallel)).activity−>excluding(self)−>asSet() in
6 let interleavedAct:Set(Activity)=self.group−>select(g|g.oclIsTypeOf(InterleavedParallelRouting)).activity−>
excluding(self)−>asSet() in
7 parallelAct−>excludesAll(interleavedAct)
✝
Listing 3.9: OCL-Invarianten zur Soundness-Überprüfung zur Designtime
☎
✆
hat offensichtlich ein Problem zur Folge, wenn ein Zyklus auftritt. Um das Problem schon während der
Designtime zu identifizieren wird in Listing 3.9 die OCL-Invariante noSeqCycles vorgestellt, die Zyklen
von seq-Links identifiziert. Mit der OCL-Hilfsfunktion getSuccObjects(), welche in Abschnitt 3.2.3.2 näher
vorgestellt wurde, wird eine transitive Hülle unter Verwendung der succ-Aktivitäten gebildet. Nun fordert
die Invariante, dass in der vom self -Objekt ausgehende transitiven Hülle dasselbige Objekt nicht enthalten
darf. Wäre dieses der Fall, so hätte man einen Zyklus im Workflowmodell identifiziert.
In Abbildung 3.10 ist ein Teil des Beispielprozesses von Abbildung 3.9 angegeben und erweitert worden, so
dass jetzt die Invarianten von Listing 3.9 verletzt werden. Beispielsweise wird die Invariante noSeqCycles
durch den Zyklus von seq-Links bei den Aktivitäten HeliAmbu, SurguryCheck und WakeUp verletzt.
Abbildung 3.10: Modell, das die zwei OCL-Soundness-Invarianten verletzt
Die zweite in Listing 3.9 angegebene Konsistenzeigenschaft ist mit der OCL-Invariante notParallelAndInterleaved
angegeben. Die beiden Beziehungen InterleavedParallelRouting und Parallel stehen im Widerspruch
zueinander. Während die eine aussagt, dass die in der Gruppe enthaltenen Aktivitäten nicht gleichzeitig
ausgeführt werden dürfen, garantiert die andere Beziehung eine zwingende parallele Ausführung der enthaltenen
Aktivitäten. Sollten nun zwei Aktivitäten gleichzeitig beiden Beziehungen zugeordnet werden, liegt
offenbar ein Widerspruch vor, der zu einem Deadlock zur Runtime führen würde. Um das zu verhindern,
ist mit der Invarianten notParallelAndInterleaved in Listing 3.2.6 eine OCL-Invariante angegeben, die ein
solches Problem identifiziert. Dort werden zunächst in der Variablen parallelAct die Aktivitäten gespeichert,
die in einer Parallel-Beziehung mit der aktuell betrachteten self -Aktivität stehen. Analog werden die Aktivitäten
in der Variablen interleavedAct eingesammelt, die zum aktuellen Objekt in einer Interleaved Parallel
Routing-Beziehung stehen. Nun sichert die Invariante mit dem OCL-Kommando excludesAll zu, dass diese
beiden Mengen disjunkt sein müssen. Sollte dies nicht der Fall sein, ist wie in Abbildung 3.10 angegeben,
ein Problem aufgetreten. Dort sind die Aktivitäten EmergencySurgery und AssistEmergencySurgery den