Metamodellbasierte und hierarchieorientierte ... - RosDok

Listingsverzeichnis
3.1 OCL-Invariante und Vor- und Nachbedingungen für das Bankbeispiel . . . . . . . . . . . 33
3.2 OCL Term zur Berechnung aller Quadratzahlen zwischen 1 und 100 . . . . . . . . . . . . 33
3.3 OCL-Vor- und Nachbedingungen für Transitionen im Zustandsdiagramm der Klasse Activity 39
3.4 OCL-Vor- und Nachbedingungen für die Operation finish() der Klasse Iteration . . . . . . 40
3.5 OCL-Operationen getSuccObjects() und getFlowObjects() zur Berechnung der transitiven
Hülle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.6 Die OCL Invarianten zur Definition der Parallel-Beziehung und explizten Entscheidungsmodellierung
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.7 Definition der Sequenz (WCP1) und Exclusive Choice (WCP4) . . . . . . . . . . . . . . . 44
3.8 Definition vom Deferred Choice, Interleaved Parallel Routing und Milestone Pattern . . . 47
3.9 OCL-Invarianten zur Soundness-Überprüfung zur Designtime . . . . . . . . . . . . . . . 50
3.10 OCL-Invarianten zur Datenintegritätsprüfung im Zusammenhang mit Workflowausführung 56
3.11 OCL-Invariante zur Allokation von Personen für die Aktivitätsausführung . . . . . . . . . 58
4.1 start()-Operation der Klasse Activity umgesetzt mit ASSL . . . . . . . . . . . . . . . . . . 71
4.2 Allokationsprozedur umgesetzt mit ASSL . . . . . . . . . . . . . . . . . . . . . . . . . . 72
4.3 Ausschnitt einer ASSL-Instanziierungsprozedur generiert vom Designtime-Plugin . . . . . 75
4.4 Konsolenausgabe bei Peek-Aufruf der finish() Operation bei AdjustMedication . . . . . . 83
4.5 Konsolenausgabe für OCL-Mininganfrage . . . . . . . . . . . . . . . . . . . . . . . . . . 87
5.1 OCL-Invarianten zur Festlegung der strukturellen Eigenschaften von Aufgabenbäumen . . 105
6.1 SOIL-Umsetzung der start()-Operation der Klasse LeafTask . . . . . . . . . . . . . . . . . 118