Metamodellbasierte und hierarchieorientierte ... - RosDok

88 Metamodellbasierte Workflow-Modellausführung
den in Abschnitt 6.2 vorgestellten Ansatz zur metamodellbasierten Ausführung von CTT-Aufgabenmodellen
genutzt.
Bezogen auf die Workflowmodellierung und -simulation gibt es diverse Ansätze. Im Bereich der Workflowund
Unternehmensmodellierung ist die ARIS Methode und Toolset weit verbreitet [Sch01, Sch02]. ARIS
unterstützt neben der EPK nun auch BPMN als Geschäftsprozessmodellierungssprache. Die Modelle
können in dem Tool modelliert, simuliert und in andere Sprachen wie BPEL transformiert werden. Mit der
Transformation können die Modelle für den operativen Einsatz im Unternehmen weiterentwickelt werden.
Obwohl BPMN in der Spezifikation eine informelle Beschreibung der Ausführungssemantik hat [BPM11]
und damit zwangsläufig noch Mehrdeutigkeiten existieren, gibt es Werkzeuge, die die Modelle simulieren
und damit validieren können. IYOPRO ist beispielsweise ein solches Tool [IYO].
Mehrdeutigkeiten werden bei Petri-Netzen, für die es weitreichende Ansätze zur Workflowmodellierung und
-simulation gibt, durch den formalen Charakter vermieden. Van der Aalst hat auf Basis von Petri-Netzen den
Soundness-Begriff für Workflow-Netze entwickelt [AS11]. Auch die Workflow Patterns wurden mit Hilfe
der farbigen Petri-Netze formalisiert [RHAM06]. Zur Ausführung von farbigen Petri-Netzen gibt es das
Werkzeug CPN-Tools, das damit Modelleigenschaften testen kann. Über die Simulation sollen mögliche
Optimierungen bei den Prozessen identifiziert werden, wie z.B. eine bessere Ressourcenauslastung erreicht
werden kann. Die Ausführung dient hierbei nicht der Validierung der Modelle durch den Nutzer. Hierfür
ist hingegen auf Basis von Petri-Netzen ein Werkzeug Executable Use Cases entstanden. Die Petri-Netz-
Modelle werden mit Informationen für den Nutzer angereichert, wie z.B. aussagekräftige Fotos. Diese
Informationen werden dem Nutzer während der Ausführung adäquat dargestellt [JTF09].
Ein deklarativer Ansatz zur Workflowmodellierung existiert mit DECLARE, das auf Basis von LTL Geschäftsabläufe
beschreibt [PSSA10]. DECLARE nutzt genauso wie DMWM einen Mechanismus, um die
nicht lesbaren textuellen Formeln hinter grafischen Modellierungselementen zu verbergen. Beide Ansätze
sind deklarativ und besitzen eine grafische Syntax. DMWM hat im Gegensatzt zu DECLARE umfassendere
Möglichkeiten zur Daten- und Organisationsmodellierung. Dagegen bietet DECLARE eine Schnittstelle
zum Workflowmanagement System YAWL, so dass die Workflow-Engine von DECLARE in einem WfMS
genutzt werden kann.
Um hierarchische Modelle zur Workflowmodellierung zu nutzen, ist es möglich, mit CTTE [MPS02] Aufgabenmodelle
zu erstellen. Aufgabenmodelle werden vorwiegend im HCI-Bereich u.a. zur modellbasierten
User Interface-Modellierung, zur Usability-Analyse und zum Requirements-Engineering genutzt. CTTE
kann eine Ausführung der Aktivitätsmodelle simulieren, um sie vom Nutzer zu validieren. Die integrierte
Modellierung und Ausführung in einem Tool ist ähnlich zum DMWM-Ansatz. Bei DMWM sind die Modelle
jedoch zusätzlich adaptiv, so dass sie zur Runtime verändert werden können. Aufgabenmodelle zur
Workflowmodellierung werden intensiver in Kapitel 5 und 6 behandelt.
OCL wurde im Zusammenhang mit Workflowmodellierung bereits in diversen weiteren Arbeiten verwendet.
So wurde in [BCC07] das Daten- bzw. Domänenmodell um Workflow-Daten angereichert. Außerdem wurde
in [AK01] OCL verwendet, um das Organisationsmodell an das Workflowmodell zu binden. Diese Ansätze
wurden aber im Gegensatz zu DMWM nicht UML-Tool-basiert ausführbar gemacht.
Mit DMWM und OCL ist eine Analyse der ausgeführten Prozesse möglich, so dass dieser Ansatz auch
zum Process-Mining [Aal11] genutzt werden kann, so wie es in Abschnitt 4.4 erläutert wurde. In diesem
Gebiet wird das ProM-Tool [DMV + 05] eingesetzt, um Analysen von Event-Logs von bereits abgearbeiteten
Prozessen durchzuführen und ggf. Prozessmodelle daraus zu erzeugen. Schnittstellen für Tools zur Analyse
der Daten aus Workflow Management Systemen waren schon im WfMC-Referenzmodell [Hol98] vorgesehen.
Hier sollen z.B. Monitoring-Werkzeuge zur visuellen Aufbereitung der abgelaufenen und aktuell laufenden