Dieses Projekt ist die Fortsetzung des Projektes Geschäftsprozessmodellierung. Es ist eng verbunden mit der Entwicklung des Werkzeuges WOMBAT4WS zu Modellierung und Analyse verteilter Geschäftsprozesse auf Basis von Web Services.
Das Projekt beschäftigt sich mit der Modellierung und Analyse verteilter Geschäftsprozesse auf Basis von Web Services. Besonderes Augenmerk wird dabei auf die methodische Unterstützung der einzelnen Entwicklungsschritte gelegt. Dazu zählen insbesondere die systematische Ableitung eines Web Service und die Entscheidung, ob zwei gegebene Web Services zueinander kompatibel oder äquivalent sind. Die Arbeiten gruppieren sich in vier Teilprojekten:
In diesem Teilprojekt werden die vorhandenen Standards analysiert und die Anforderungen an eine systematische Entwicklungsmethode abgeleitet. Mit der Definition der Sprache BPEL4WS (Business Process Execution Language for Web Services) wurde ein Rahmen vorgegeben, der jedoch noch etliche Unschärfen enthält. Für die Unterstützung der Analyse mit formalen Methoden ist es notwendig, jedem Konstrukt der Sprache eine genaue Bedeutung zu geben. In diesem Teilprojekt nähern wir uns dieser Sprache von verschiedenen Blickwinkeln aus und entwickeln so eine strukturierte, umfassende und dennoch verständliche Semantik für BPEL4WS.
Es gibt derzeit keine einheitliche Darstellung eines in BPEL4WS notierten Prozesses. Ein kurzer Blick in das Internet unter dem Gesichtspunkt, mehr über Geschäftsprozessmodellierungssprache BPEL4WS zu erfahren, zeigt eine Flut verschiedenster graphischer Darstellungen. In diesem Teilprojekt wollen wir eine Möglichkeit schaffen, jeden in BPEL4WS notierten Prozess schnell und präzise graphisch darzustellen. Diese Graphik soll dabei einfach erfassbar sein, ohne dass der Leser die Sprache BPEL4WS selbst kennen muss. Neben der statischen Darstellung von Prozessen, sind die graphische Spezifikation von Eigenschaften und die Visualisierung von Zuständen und Abläufen Ziele in diesem Teilprojekt.
Für die wesentlichen Ziele dieses Projekts, insbesondere für den effizienten Nachweis globaler Eigenschaften verteilter Geschäftsprozesse, müssen Analysemethoden auf einzelne Web Services herunter gebrochen werden. Das ist schwierig, weil ein Web Service ein offenes System ist, dessen Verhalten maßgeblich von seiner Umgebung bestimmt wird.
Eigene Vorarbeiten haben gezeigt, dass sich für abstrakte Modelle auch ohne Kenntnis der Umgebung lokale Modellierungsfehler finden, beseitigen oder sogar vermeiden lassen. Hierbei spielt der Begriff der Bedienbarkeit eines Web Services eine zentrale Rolle: Ein Web Service heißt bedienbar, wenn es mindestens einen anderen Web Service gibt, so dass das komponierte System ein vernünftiger verteilter Geschäftsprozess ist. In diesem Teilprojekt wird der Begriff der Bedienbarkeit substantiell ausgebaut, verallgemeinert und algorithmisch unterlegt. Darüber hinaus sollen weitere Methoden zur Analyse von Web Services entwickelt werden.
Ziel dieses Teilprojektes ist es, reale Prozesse zu modellieren. Mit deren Hilfe können dann bestehende Werkzeuge und Analysetechniken getestet werden.
Für die Koordinierung der Teilprojekte wurde am Lehrstuhl eine Task Force gebildet, die konkrete Arbeitsschritte plant und mit Vertretern von IBM abstimmt. Erste Vorüberlegungen liegen vor. Zur Mitarbeit in der Task Force ist jedermann eingeladen. Studienarbeiten, Diplomarbeiten und weiterführende Forschungsarbeiten werden im Rahmen des Projektes auf die einzelnen Teilnehmer hin definiert.