Choreographie-basierte Konsolidierung von BPEL Prozessmodellen

Abstract

Wagner et al. zeigen ein Konzept zur Choreographie-basierten Konsolidierung von Prozessmodellen. Die vorliegende Diplomarbeit konkretisiert das technische Vorgehen in Form eines erweiterbaren Prototyps. Als Eingabe dient eine BPEL4Chor Choreographie sowie die zugehörigen technischen Fragmente in Form von WSDL-Dateien. Die Kommunikationsmuster der Choreographieteilnehmer werden anhand eines Katalogs von Konsolidierungsmustern analsysiert und in einen neuen ausführbaren BPEL-Prozess zusammengeführt. Hierbei werden der ursprüngliche Kontrollfluss der Aktivitäten der Choreographie sowie die Datenflussabhängigkeiten im neuen erzeugten BPEL-Prozess weitestgehend erhalten. Je nach verwendetem Kommunikationsmuster, synchron oder asynchron, werden verschiedene Konsolidierungsoperationen an den teilnehmenden Aktivitäten durchgeführt. Das Ergebnis ist ein BPEL-Prozess der eine äquivalente Kontroll- sowie Datenflusssemantik, wie die ursprüngliche Choreographie besitzt, jedoch bezüglich Laufzeit und Speicherverbrauch eine optimierte Leistung aufweist.