Metamodellbasierte und hierarchieorientierte ... - RosDok

16 Grundlagen: Modellierung in ausgewählten Gebieten
Die Modelle können dann als Vorlage zur Systemimplementierung genutzt werden, um damit den
Geschäftsprozess zu teilautomatisieren und zu optimieren.
• Formale und ausführbare Modelle zur Analyse dynamischer Eigenschaften: Hier sind vor allem
Petri-Netze und Prozessalgebren zu nennen. Diese Formalismen sind sehr formale Modellierungssprachen.
Mehrdeutigkeiten kommen hier nicht vor und damit sind diese Modelle ausführbar. Ein
Kritikpunkt ist, wie bei allen sehr formalen Spezifikationsformalismen, dass sie für Fachexperten nicht
gut lesbar sind. Zur Diskussion für Umorganisationen von Geschäftsprozessen sind diese Formalismen
somit nicht gut geeignet.
Petri-Netze wurden ursprünglich dafür entwickelt, technische Prozesse zu modellieren [Pet62]. Jedoch
werden sie inzwischen in vielen weiteren Bereichen eingesetzt, wie z.B. zur Modellierung von
Workflows. Sie wurden u.a. verwendet, um die Workflow Patterns formal auszudrücken [RHAM06].
Anhand des Werkzeugs CPN Tools sind diese Modelle dann auch ausführbar. Durch die Formalität
lassen sich strukturelle Eigenschaften, wie Deadlockfreiheit und Soundness [AS11] überprüfen. Auch
dynamische Eigenschaften lassen sich anhand von Testläufen der Modelle testen [AS11]. Hierdurch
versucht man z.B. eine ideale Ressourcenauslastung und damit eine Kostenoptimierungen zu erlangen.
Prozessalgebren sind weitere formale Methoden, Prozesse zu spezifizieren. Zu diesen Formalismen
gehören CCS, CSP, das π-Kalkül und LOTOS. So wurde in [PW05] gezeigt, dass die Workflow
Patterns sich auch mit dem π-Kalkül ausdrücken lassen. Die Prozessalgebra LOTOS wird auch in
Verbindung mit Aufgabenmodellierungssprache CTT verwendet [MPS02]. Die Prozessalgebraterme
sind dort in den Aufgabenbaum integriert. Diese Modellierung wird Teil der hierarchieorientierten
Workflowmodellierung in Kapitel 5 und 6 sein.
• Modelle für Workflow Management Systeme und Ausführung für konkrete Geschäftsprozesse:
Workflow Management Systeme stellen generische Softwaresysteme dar, die eine web-basiert
verteilte Ausführung der Geschäftsprozesse ermöglicht. Die Systeme stellen Schnittstellen für die
Nutzer bereit, die benötigte Daten in den entsprechenden Aktivitäten eingeben müssen. Aktivitäten
können automatisch den Angestellten zugewiesen werden, die dann die Ausführung dieser Aufgabe
übernehmen.
Die Grundlage zur Ausführung der Geschäftsprozesse bilden Workflowmodelle. Hier wird zwischen
Designtime und Runtime unterschieden. Während der Designtime werden die Prozesse anhand eines
Modellierungswerkzeugs modelliert. Das WfMS instanziiert diese Modelle und daraufhin werden die
Prozesse in der Runtime für ein konkreten Fall ausgeführt.
Der große Vorteil von Workflow Management Systemen liegt darin, dass sie sehr flexibel sind. Wenn
ein Geschäftsprozess verändert werden soll, muss lediglich das Prozessmodell verändert werden
und dem WfMS übergeben werden. Wenn man dagegen fest codierte Software zur Umsetzung eines
Geschäftsprozesses verwendet, lassen sich Veränderungen nur deutlich schwerer umsetzen.
Einen ähnlichen Ansatz verglichen zu WfMS hat die Sprache BPEL [BPE07]. Durch BPEL-Modelle
werden Geschäftsabläufe basierend auf Webservices automatisch von einer BPEL-Engine ausgeführt.
Diese nimmt die XML-basierten BPEL-Modelle entgegen und kann diese ausführen. BPEL fokussiert
sich aber auf automatisch ablaufende Geschäftsprozesse, in denen die Interaktion zwischen BPEL-
Engine und dem Angestellten vernachlässigt und in Web Services verlagert wird.
Basierend auf diesen Kategorien lassen sich die Begrifflichkeiten Geschäftsprozess- und Workflowmodellierung
diskutieren. Eine Abgrenzung dieser Begriffe ist schwierig, wie Gadatsch in [Gad07] bereits analysiert
hat.