Metamodellbasierte und hierarchieorientierte ... - RosDok

60 Deklarative UML metamodellbasierte Workflowmodellierung
Gerätemanagement (FacilityManagement), medizinische Abteilung (MedicineDepartment) und Verwaltung
(Accounting). Im Organisationsbaum sind nun zwei Rollen der medizinischen Abteilung zugeordnet. Die
Rolle des Rettungsassistenten (paramedic) und die des Chirurgen (surgeon) sind hierfür im Modell vorhanden.
Weiterhin sind jeweils zwei Person vorhanden, die die beiden obigen Rollen übernehmen: Bob und
Mike sind Rettungsassistenen und Pete und Meg übernehmen die Rolle des Chirurgen. Außerdem hat Meg
die Rolle der Krankenhausdirektorin inne. Damit ist es nach dem Metamodell also erlaubt, dass Personen
mehrere Rollen übernehmen können. Es ist anzumerken, dass das hier eingeführte Organisationsmodell nur
ein Ausschnitt eines wirklichen Organisationsmodells ist und als Beispiel zu verstehen ist.
In Abbildung 3.15(b) sind Aktivitäten vom Notfallprozess von Abbildung 3.9 zu sehen. Zum einen sind
die Transportaktivitäten HelicopterDelivery und AmbulanceDelivery jeweils mit der Rolle des Rettungsassistenten
verbunden. Zum anderen sind die ärztlichen Aktivitäten NormalSurgery, EmergencySurgery und
CheckPatientCondition dem Chirurgen zugeordnet. Eine weitere Zuordnung ist bei der Verabreichung von
Medikamenten bei der Aktivität AdjustMedication vorhanden. Sie ist über ein Objekt der Assoziationsklasse
AllocAnyPerson mit der medizinischen Abteilung verbunden. Das bedeutet, dass jede Rolle bzw. jede Person
dieser Abteilung zur Ausführung dieser Aktivität berechtigt ist. Im Falle des hier betrachteten Modells sind
das alle vier Personen.
Die Ausführung der Workflowmodelle inklusive imperativer Allokationsprozeduren, die unterschiedliche
Strategien implementieren können, betreffen die Runtime, die in Kapitel 4 näher betrachtet wird.
3.5 Realisieren von DMWM mit USE
Mit der in den vorherigen Abschnitten vorgestellten UML- und OCL-Spezifikation für DMWM ist die Basis
gegeben, ein Modellierungswerkzeug für die Designtime und eine Workflow-Engine für die Runtime zu
entwickeln. Dagegen kann man auch bestehende UML-Werkzeuge wie z.B. das Eclipse Modeling Framework
[Gro09] oder die UML-based Specification Environment (USE) [GBR07] zur Umsetzung von DMWM
verwenden. Bei einer solchen modellbasierten Umsetzung kann man sich viel Implementierungsarbeit sparen.
Für diese Dissertation wurde das UML-Werkzeug USE gewählt, da dort u.a. mit ASSL eine OCL-basierte
imperative Sprache bereitsteht, mit der die operationale Semantik für DMWM umgesetzt werden kann. Die
Modellausführung mit ASSL ist Thema in Kapitel 4.
Im Folgenden wird in Abschnitt 3.5.1 das Werkzeug USE näher vorgestellt. Daraufhin wird die Benutzung
des USE-Tools für DMWM mit Anwendungsfällen in Abschnitt 3.5.2 verdeutlicht. Die Benutzung des Tools
zur Modellierung eines Workflows ist Thema in Abschnitt 3.5.3. Schließlich beschreibt Abschnitt 3.5.4 die
automatische Soundness-Analyse der Workflowmodelle. Die dafür bereitgestellten Funktionalitäten und
Werkzeuge von USE werden dafür näher beleuchtet.
3.5.1 UML-Entwicklungsumgebung USE
Die UML-based Specification Environment (USE) ist ursprünglich dazu entwickelt worden, UML-Klassendiagramme
zusammen mit OCL-Constraints zu validieren. USE wird im Zusammenhang mit den in Abschnitt
2.1 vorgestellten leichtgewichtigen formalen Methoden in der Softwareentwicklung genutzt. Hier werden
die Modelle während der Entwurfsphase auf Eigenschaften getestet.
Der Entwickler spezifiziert ein Modell als UML-Klassendiagramm zusammen mit OCL-Constraints. Nun
wird anhand des Modells ein Abbild eines laufenden Systems in Form eines UML-Objektdiagramms durch
Manipulation des Systemzustands erzeugt. Daraufhin prüft das USE-System OCL-Constraints und der