Metamodellbasierte und hierarchieorientierte ... - RosDok

4 Einleitung
dass der Workflow-Modellierer mit dem textuellen, nicht intuitiven Code nicht in Kontakt kommt.
Mit diesem Ansatz lassen sich die Workflowmodelle unmittelbar testen. Hierfür wurden Mittel und ein
Werkzeug zur semiformalen Validation von UML-Softwaremodellen aus dem Bereich der leichtgewichtigen
formalen Softwaretechnik eingesetzt und im Bereich der Geschäftsprozessmodelle verwendet. Daten- und
Organisationsaspekte können in diesem Ansatz ebenfalls modelliert werden. Das Vorgehen verspricht
bessere und validierte Workflow-, Daten- und Organisationsmodelle. Diese lassen sich daraufhin zu unterschiedlichen
Zwecken einsetzen. Zum einen können sie als Diskussionsgrundlage genutzt werden mit dem
Ziel, Geschäftsabläufe zu optimieren ohne zusätzliche Software dafür zu entwickeln. Zum anderen können
die validierten Modelle als Grundlage für eine weitere Systemimplementierung genutzt werden, die den
Geschäftsprozess unterstützen soll. Dagegen dienen diese Modelle nicht für konkrete Workflows in einem
Unternehmen, um Arbeitsabläufe zu steuern und Arbeit in Verbindung mit einem WfMS zu kooridinieren.
Folgende Vorteile machen den Ansatz sehr vielversprechend.
• Flexiblität: Der Ansatz erlaubt grundsätzlich alle Ausführungsreihenfolgen der modellierten Aktivitäten.
Die Ausführungsreihenfolgen werden dann über Modellelemente und zugeordnete OCL-
Invarianten eingeschränkt. Diese Herangehensweise ist zu konventionellen Sprachen wie z.B. BPMN
[Whi04, BPM09] grundsätzlich verschieden. Deklarative Sprachen haben dabei Vorteile durch eine
geringere Restriktivität bei der Modellausführung. Der Nutzer hat in der Regel mehr Auswahlmöglichkeiten,
die Aktivitätsfolgen bei der Prozessausführung zu bestimmen [APS09].
• Ausführbarkeit: Allen Sprachelementen wird im Metamodell eine operationale Semantik gegeben,
so dass die Modelle ausführbar sind.
• Soundness: Die Modelle werden auf Konsistenzeigenschaften bereits bei der Erstellung geprüft.
Der Modellierer wird unmittelbar über Fehler in Kenntnis gesetzt. Ihm werden Werkezuge zur
Identifikation der Fehler bereitgestellt.
• Mächtigkeit: Es lassen sich alle Workflow Patterns [AHKB03] mit dem Ansatz ausdrücken.
• Adaptivität: Während der Modellausführung können weitere Elemente hinzugefügt bzw. temporale
Beziehungen zwischen Aktivitäten verändert werden.
• Datenintegration: Die Datenmodellierung kann recht intuitiv mit UML-Klassendiagrammen geschehen.
Datenmodelle lassen sich während der Modellausführung validieren. Gegenseitige Abhängigkeiten
zwischen Daten und Workflowmodell können anhand von OCL spezifiziert werden.
• Organisationsmodellintegration: Eine umfangreiche Organisationsmodellierung ist auf Grundlage
eines Organisationsmetamodells möglich. Eine Allokation von Ressourcen für die Workflow-
Modellausführung kann aus den Modellen abgeleitet werden. Daraufhin können Workflowmodelle in
unterschiedlichen Organisationskontexten getestet werden.
Anhand folgender Veröffentlichungen lassen sich die in dieser Arbeit präsentierten Ergebnisse, die die
metamodellbasierte Workflowmodellierung betreffen, nachvollziehen. Der Ansatz hat sich im Laufe der
Zeit und nach diversen Diskussionen (u.a. bei Workshops und Konferenzen) entwickelt und grundlegend
verändert. Zunächst sind UML-Klassendiagramme und OCL-Invarianten eingesetzt worden, um eine deklarative
und flexible Workflowmodellierung [Brü09] zu schaffen. Textuelle OCL-Modelle waren hier im
Zentrum der Modellierung. Mit dem gleichen Ansatz wurde in [BW09] versucht, das Datenmodell und
eine User Interface-Modellierung mit in die Modelle zu integrieren. Dabei hat sich herausgestellt, dass
eine textuelle Modellierung anhand von OCL nicht praktikabel war. Die OCL-Invarianten sind daraufhin in