Metamodellbasierte und hierarchieorientierte ... - RosDok

42 Deklarative UML metamodellbasierte Workflowmodellierung
einer Gruppe Parallel gehören im gleichen Ausführungszustand sein müssen.
Die Entscheidungsmodellierung ist ein wichtiger Teil von Geschäftsprozess- bzw. Workflowmodellierungssprachen
(s. Abschnitt 2.5.2). So spielt sie auch für DMWM eine wichtige Rolle. Es wird zwischen expliziten
und impliziten Entscheidungen unterschieden. Die implizite Entscheidungsmodellierung wird mit dem Deferred
Choice Pattern in Abschnitt 3.2.4.4 näher erläutert. Für die explizite Entscheidungsmodellierung sind
spezielle Aktivitäten, die Unterklassen von Decision im Metamodell von Abbildung 3.2 sind, vorgesehen.
Die Kriterien zur Auswahl des korrekten Prozesspfades werden über die Guards angegeben.
Die damit direkt oder über Gruppen indirekt verbundenen Aktivitäten können erst dann starten, wenn der
Pfad ausgewählt wurde.
Die OCL-Invarianten drücken zunächst nur die deklarative operationale Semantik aus. Das Überspringen
der zur Runtime nicht ausgewählten Prozesspfade erfordert eine imperative Spezifikation, welche dann in
Abschnitt 4.2.2 näher vorgestellt wird.
✞
☎
1 context Parallel inv allInTheSameState:
2 self.activity−>forAll(a | self.activity−>any(true).state=a.state)
3
4 context Guard inv onlySelectedActivitiesOrGroupsCanRun:
5 if (self.option.oclIsTypeOf(Activity)) then
6 self.option.oclAsType(Activity).state=#running implies self.selected
7 else −− option is a group
8 self.option.oclAsType(Group).activity−>exists(state=#running) implies self.selected
9 endif
✝
✆
Listing 3.6: Die OCL Invarianten zur Definition der Parallel-Beziehung und explizten
Entscheidungsmodellierung
3.2.4 Workflow Patterns
Um die Mächtigkeit der hier eingeführten Workflow-Modellierungssprache zu demonstrieren wird in
diesem Abschnitt eine Workflow Pattern Analyse gemacht. Dieses Mittel ist weit verbreitet und allgemein
akzeptiert, um Modellierunggssprachen für Geschäftsprozesse bzw. Workflow Management Systeme zu
analysieren. So wurden u.a. EPKs [MNN05], UML-Aktivitätsdiagramme [RAHW06], BPMN [WAD + 06],
BPEL [WADH03] und das π-Kalkül [PW05] betrachtet.
Die in diesem Abschnitt erfolgende Workflow Pattern Analyse ist nach Kenntnisstand des Autors die erste
für einen deklarativen Workflow-Modelliengsansatz.
Im Folgenden werden nicht alle OCL-Invarianten zur Definition der operationalen Semantik vorgestellt. Nur
exemplarisch werden einige erklärt. Es wird lediglich die grobe Semantik umgangssprachlich erläutert. Die
OCL-Spezifikationen genauso wie die Beschreibungen geben keine Garantie auf Vollständigkeit. Anhand
von Modellausführungen zur Runtime wurde das Metamodell jedoch ausgiebig getestet (s. Kapitel 4).
Sollten bei weiteren Ausführungen Unvollständigkeiten im Metamodell auftauchen, können diese anhand
von Erweiterungen leicht behoben werden.
3.2.4.1 Basic Control Flow Patterns
Zu den in diesem Abschnitt vorgestellten Basic Control Flow Patterns zählen die grundlegenden Modellierungselemente,
die von allen Workflowmodellierungssprachen unterstützt werden. In Abbildung 3.4 sind die