Prof. Dr. Frank Leymann Sebastian Wagner Institut für Architektur von Anwendungssystemen Universität Stuttgart

Diplom- / Masterarbeit Choreographie-basierte Konsolidierung von Schleifen in BPEL Prozessmodellen Beginn: ab sofort Hintergrund Bei der Erstellung von komplexen Gütern bzw. Dienstleistungen sind in den meisten Fällen mehrere Unternehmen beteiligt (Bsp. Zulieferketten), die ihre jeweiligen Arbeitsschritte mittels eigener Geschäftsprozesse modellieren. Die Interaktion, d.h. der Nachrichten- bzw. Güterfluss zwischen den Geschäftsprozessen der involvierten Unternehmen wird wiederum mittels Choreographien definiert. Um Transaktionskosten zu senken, oder die Kontrolle über die Zulieferer zu erlangen, gliedern Unternehmen ihre Partnerunternehmen häufig ein (Insourcing bzw. Merger & Acquisition). Neben der Aufbauorganisation muss dann auch die Ablauforganisation des übernommenen Unternehmens integriert werden, d.h. die Geschäftsprozesse der beiden Unternehmen müssen integriert bzw. konsolidiert werden. Da bei der Integration von interagierenden Prozessmodellen in ein einziges Prozessmodell der Nachrichtenaustausch nicht mehr notwendig ist, können Kommunikationsaktivitäten entfernt und durch entsprechende Kontrollflussstrukturen ersetzt werden. Diese Strukturen müssen die durch den Nachrichtenfluss implizierte Ausführungsreihenfolge zwischen den Vorgängerund Nachfolgeaktivitäten der Kommunikationsaktivitäten erhalten (siehe [1] und [2]). Eine besondere Herausforderung stellt dabei die Integration von BPEL Prozessen dar, deren interagierende Kommunikationsaktivitäten sich in Schleifen befinden, da dann auch die Schleifen konsolidiert werden müssen. Aufgaben In der Arbeit soll das Konzept der Prozesskonsolidierung dahingehend erweitert werden, dass auch Prozesse, die über Schleifen miteinander kommunizieren, konsolidiert werden können. Ein bestehender Prototyp für die Prozesskonsolidierung soll auf Basis des erarbeiteten Konzepts entsprechend erweitert werden. Erforderliche Vorkenntnisse  Besuch und Prüfung der Vorlesung „Workflow Management“ (dabei ist besonders BPEL relevant)  Gute Kenntnisse in BPEL, Java und Eclipse Literatur: [1] Wagner, S., Kopp, O., Leymann, F.: Towards Choreography-based Process Distribution In The Cloud. [2] Wagner, Sebastian; Kopp, Oliver; Leymann, Frank: Towards Verification of Process Merge Patterns with Allen’s Interval Algebra.

Kontakt: [email protected]