BA Abschlussvortrag, Maik Schönfeld, Ort: O27/545, Datum: 23.01.2018, Zeit: 17:00 Uhr

Prozessmanagementsysteme dienen dazu, betriebliche Prozesse dynamisch zu planen und auszuführen. Mit der objektzentrierten Sichtweise, welche sich über die Interaktion von Objekten definiert, sollen hier die Limitierungen der etablierten, aktivitätenzentrierten Prozessmanagementsysteme überwunden werden. Dazu werden Prozessdaten in Objekten zusammengefasst und verwaltet. Objekte bestehen aus Attributen und einem Lebenszyklus, welcher die Zustände eines Objekts beschreibt. Relationen zwischen Objekten definieren die Abhängigkeiten zwischen Objekten und deren Kardinalität. Interaktionen zwischen Objekten werden über einen Koordinierungsprozess gesteuert. PHILharmonicFlows ist eine Implementierung eines solchen objektzentrierten Prozessmanagementsystems. Um die Koordination von Objektbeziehungen und den Lebenszyklus von Objekten dynamisch verwalten zu können, setzt PHILharmonicFlows intern auf ein Expressionframework, was die flexible Formulierung von ausdrucksstarken Bedingungen ermöglicht. Des Weiteren werden Expressions auch für die Rechteverwaltung verwendet.

Wenn fehlerhafte Expressions in das laufende System gelangen, kann dies zu schwer nachvollziehbaren Fehlersymptomen führen, was die Fehlersuche für den Modellierer erschwert und unter Umständen die Konsistenz des Systems gefährdet. Um zu verhindern, dass fehlerhafte Expressions zur Laufzeit Probleme verursachen können, ist es nötig, die erstellten Expressions auf Korrektheit zu verifizieren, bevor sie von der Modellierungsumgebung oder externen Schnittstellen in das System gelangen. Mit einer detaillierten Auswertung der Expressions soll es darüber hinaus auch möglich sein, dem Modellierer genauere Angaben bezüglich der Fehlerquelle zu machen. Der Vortrag erläutert die Konzeption und Entwicklung eines Expression Verification Frameworks für das objektzentrierte Prozessmanagementsystem PHILharmonicFlows und geht dabei insbesondere auf die Analyse des Problems und die Erstellung des Entwurfs ein.