Metamodellbasierte und hierarchieorientierte ... - RosDok

Weitere Magazine

Empfehlungen

Info

3.1 Einführung 33 Im folgenden werden Beispiele für OCL-Invarianten und Vor- und Nachbedingungen gegeben. Zunächst ist hierfür ein Klassendiagramm notwendig, welches in Abbildung 3.1 zu sehen ist. Abbildung 3.1: Bankenbeispiel als UML-Klassendiagramm zur OCL-Einführung Es sind die Klassen Customer und Account spezifiziert. Die Klasse Account ist abstrakt. Kontenobjekte werden durch die spezielleren Klassen Savings und Checking in Spar- und Girokonten eingeteilt. Mit der Assoziation has und ihrer Multiplizitäten wird angegeben, dass ein Kunde mehrere Konten haben kann. Die zugeordnete Menge an Konten kann dabei sowohl Giro- als auch Sparkonten umfassen. Mit der Operation openAccount() wird ein neues Konto erstellt und dem entsprechenden Kunden zugeordnet. Es bleibt hier unterspezifiziert, welche Kontoart ausgewählt wird. Dieses kann z.B. vorkonfiguriert sein oder über eine UI-Abfrage ermittelt werden. Außerdem kann über die Operationen withdraw und deposit Geld von Konten abgebucht und wieder raufgebucht werden. Ein Beispiel für eine Invariante wird in Listing 3.1 gegeben. Die Invariante PositiveBalance ist der Klasse Savings zugeordnet und sagt aus, dass ein Sparkonto keinen negativen Saldo haben darf. Zudem sind in Listing 3.1 die Operationen withdraw() und openAccount() mit Vor- und Nachbedingungen spezifiziert. Die Vorbedingung withdrawAmountPositive sagt aus, dass nur positive Beträge vom Konto abgebucht werden dürfen. Die Nachbedingung withdrawDone sichert zu, dass nur der ausbezahlte Betrag vom Kontosaldo abgezogen wurde. Eine letzte Bedingung ist mit openAccount() angegeben. Diese sagt aus, dass nach Ausführung der Operation openAccount() ein zusätzliches Konto dem Kunden zugeordnet wurde. ✞ 1 context Savings inv PositiveBalance: 2 balance >= 0 3 4 context Account::withdraw(amount:Real) 5 pre withdrawAmountPositive: amount > 0 6 post withdrawDone: self.balance = self.balance@pre − amount 7 8 context Customer::openAccount() 9 post accountAdded: account−>size() = account@pre−>size() + 1 ✝ Listing 3.1: OCL-Invariante und Vor- und Nachbedingungen für das Bankbeispiel ☎ ✆ OCL kann auch für weitere Zwecke eingesetzt werden. Es sind auch OCL-Terme denkbar, die losgelöst von UML-Klassendiagrammen existieren können. Beispielsweise berechnet der OCL-Ausdruck in Listing 3.2 alle Quadratzahlen zwischen 1 und 100. ✞ ☎ 1 Set{1..100}−>select(m | Set{1..100}−>exists(n | m = n*n )) ✝ ✆ Listing 3.2: OCL Term zur Berechnung aller Quadratzahlen zwischen 1 und 100
34 Deklarative UML metamodellbasierte Workflowmodellierung Außerdem lassen sich OCL-Terme auch für präzise Bedingungsspezifikationen an Transitionen in UML- Zustandsdiagrammen oder Guards an Sequenzflüssen in Aktivitätsdiagrammen verwenden. Es gibt noch diverse weitere Anwendungsmöglichkeiten für OCL. In diesem und folgendem Kapitel werden zudem noch weitere im Zusammenhang mit der Workflowmodellierung aufgeführt. 3.2 Workflow-Metamodell In diesem Abschnitt wird das Workflow-Metamodell als UML-Klassendiagramm mit UML-Zustandsautomaten vorgestellt. OCL spielt eine wichtige Rolle, um die operationale Semantik deklarativ, plattformunabhängig auszudrücken. Diese Teile bilden den Kern des DMWM-Ansatzes. 3.2.1 UML-Klassendiagramm Die Diagramme für das Workflow-Metamodell umfassen ein UML-Klassendiagramm und zwei UML- Zustandsdiagramme. Das Klassendiagramm ist in Abbildung 3.2 zu sehen. Zur Definition der operationalen Semantik werden UML-Zustandsautomaten benötigt. Sie werden in Abbildung 3.3 angegeben und definieren die Lebenszyklen der Aktivitätsobjekte. Abbildung 3.2: Das Metamodel für den DMWM-Ansatz Die allgemeinste Klasse im Metamodell von Abbildung 3.2 ist FlowObject, an der die reflexive Assoziation seq modelliert ist. Anhand dieser Assoziation werden die Aktivitäten (Activity) bzw. Gruppen von Aktivitäten (Group) und Flussoperatoren (FlowOperator) in succ und pred Objekte eingeteilt. Die Abarbeitungsreihenfolge der Aktivitäten wird anhand dessen angegeben. Die Bezeichnung FlowObject wurde vom Metamodell
Seite 1 und 2: Metamodellbasierte und hierarchieor
Seite 3 und 4: Zusammenfassung In dieser Arbeit we
Seite 5: Danksagung Ich möchte mich als ers
Seite 8 und 9: 3.2.6 Sicherstellung statischer Eig
Seite 10 und 11: Kapitel 1 Einleitung Geschäftsproz
Seite 12 und 13: 1.2 Eigenschaften und Vorteile der
Seite 14 und 15: 1.2 Eigenschaften und Vorteile der
Seite 16 und 17: 1.3 Aufbau der Arbeit und Hinweise
Seite 18 und 19: Kapitel 2 Grundlagen: Modellierung
Seite 20 und 21: 2.2 Daten- und Metamodellierung 11
Seite 22 und 23: 2.3 Modellierung in der HCI mit nut
Seite 24 und 25: 2.5 Geschäftsprozessmodellierung 1
Seite 38 und 39: Kapitel 3 Deklarative UML metamodel
Seite 40 und 41: 3.1 Einführung 31 • Paketdiagram
Seite 44 und 45: 3.2 Workflow-Metamodell 35 der BPMN
Seite 46 und 47: 3.2 Workflow-Metamodell 37 hinterle
Seite 48 und 49: 3.2 Workflow-Metamodell 39 hungen a
Seite 50 und 51: 3.2 Workflow-Metamodell 41 ✞ ☎
Seite 52 und 53: 3.2 Workflow-Metamodell 43 Workflow
Seite 54 und 55: 3.2 Workflow-Metamodell 45 (a) WCP6
Seite 56 und 57: 3.2 Workflow-Metamodell 47 (a) WCP1
Seite 58 und 59: 3.2 Workflow-Metamodell 49 Abbildun
Seite 60 und 61: 3.3 Datenintegration 51 beiden Bezi
Seite 62 und 63: 3.3 Datenintegration 53 Bei UML-Akt
Seite 64 und 65: 3.3 Datenintegration 55 Die OCL-Anf
Seite 66 und 67: 3.4 Organisationsmodellierung bei D
Seite 68 und 69: 3.4 Organisationsmodellierung bei D
Seite 70 und 71: 3.5 Realisieren von DMWM mit USE 61
Seite 76 und 77: Kapitel 4 Metamodellbasierte Workfl
Seite 78 und 79: 4.2 Instanziierung und Grundlagen z
Seite 86 und 87: 4.3 Workflow Runtime-Plugin 77 (a)
Seite 88 und 89: 4.3 Workflow Runtime-Plugin 79 Ents
Seite 90 und 91: 4.3 Workflow Runtime-Plugin 81 (a)
Seite 92 und 93:
4.3 Workflow Runtime-Plugin 83 (a)
Seite 94 und 95:
4.4 Analyse ausgeführter Prozesse
Seite 96 und 97:
4.5 Verwandte Arbeiten 87 ✞ 1 use
Seite 98 und 99:
4.5 Verwandte Arbeiten 89 Prozesse
Seite 100 und 101:
Kapitel 5 Hierarchieorientierte Wor
Seite 102 und 103:
5.1 Einführung 93 der Aufgaben ein
Seite 104 und 105:
5.2 Transformation von CTT zu Aktiv
Seite 106 und 107:
Seite 108 und 109:
Seite 110 und 111:
5.3 Definition konsistenter CTT-Auf
Seite 112 und 113:
Seite 114 und 115:
Seite 116 und 117:
Seite 118 und 119:
5.4 Entscheidungsmodellierung und D
Seite 120 und 121:
Seite 122 und 123:
Seite 124 und 125:
Kapitel 6 Workflow-Ausführung und
Seite 126 und 127:
6.2 Modellausführung von MCTT-Aufg
Seite 128 und 129:
6.2 Modellausführung von MCTT-Aufg
Seite 130 und 131:
6.3 TTMS: A Task Tree Based Workflo
Seite 132 und 133:
Seite 134 und 135:
Seite 136 und 137:
Seite 138 und 139:
Seite 140 und 141:
6.4 Weitere Ansätze 131 verfolgten
Seite 142 und 143:
Kapitel 7 Zusammenfassung und Ausbl
Seite 144 und 145:
7.1 Fazit 135 Das Metamodell gibt f
Seite 146 und 147:
7.3 Ausblick 137 7.3 Ausblick Einig
Seite 148 und 149:
Tabellenverzeichnis 4.1 Die für DM
Seite 150 und 151:
Abbildungsverzeichnis 2.1 Eine Kred
Seite 152 und 153:
Listingsverzeichnis 3.1 OCL-Invaria
Seite 154 und 155:
Literaturverzeichnis [Aal11] [AAM +
Seite 156 und 157:
LITERATURVERZEICHNIS 147 [BCC07] BR
Seite 158 und 159:
LITERATURVERZEICHNIS 149 [DeM79] [D
Seite 160 und 161:
LITERATURVERZEICHNIS 151 [JABK08] [
Seite 162 und 163:
LITERATURVERZEICHNIS 153 [MPS02] [M
Seite 164 und 165:
LITERATURVERZEICHNIS 155 Process Ma
Seite 166 und 167:
LITERATURVERZEICHNIS 157 [Wes07] WE
Seite 168:
die zwei Action Languages ASSL und
Alle anzeigen

Metamodellbasierte und hierarchieorientierte ... - RosDok

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

Template löschen?

Als Template speichern?