Prof. Dr. Frank Leymann
Institute for Architecture of Application Systems
A Runtime for BPEL4Chor Cross-Partner-Scopes
Choreographies can be described in two ways: As pure interaction model, where the
interaction between the participants is captured. One example for such an “interaction
modeling language” is Let’s Dance . The second option is to interconnect the behavior
descriptions of each participant to form a global overview. BPEL4Chor  is developed at the
IAAS to support the second view.
To add cross-partner fault handling and transaction handling, the concept of “Cross-Partner-
Scopes” (CPS) is developed . The runtime for Cross-Partner-Scopes is only a rough
prototype sketched in . To support Cross-Partner-Scopes, the sketched prototype of the
coordinator for Cross-Partner-Scopes should be extended to a coordinator supporting multiple
choreography instances. There, BPEL processes should be regarded as option.
The student has to manage his schedule including this work packages and milestones for
himself. A helpful guide for planning and writing a thesis can be found in  and .
• Compare different WS-Coordination implementations with respect to performance,
portability, scalability and extensibility
• Compare the approaches of  and  for suitability to implement additional
coordination of BPEL processes deployed on Apache ODE
• Describe a concept to distinguish different chorography instances
• Implement Cross-Partner-Scope coordination in Apache ODE
• Implement the coordinators required for Cross-Partner-Scopes
• Good documentation of the code suitable for reuse and maintenance including the
description of the architecture and UML-diagrams
Required previous knowledge and experiences:
• XML, WS-BPEL, Java, UML, software engineering
• Lecture “Workflow Management”
 G. Decker, O. Kopp, F. Leymann, M. Weske. BPEL4Chor: Extending BPEL for Modeling
Choreographies. ICWS 2005.
 O. Kopp. Cross-partner Fault Handling and Transactions. IAAS. Presentation. 2008.
 T. Steinmetz. Ein Event-Modell für WS-BPEL 2.0 und dessen Realisierung in Apache ODE. Diploma
Thesis No. 2729, University of Stuttgart. To be submitted August 1, 2008.
 J. M. Zaha, A. Barros, M. Dumas, and A. ter Hofstede. A Language for Service Behavior Modeling. In
Proceedings 14th International Conference on Cooperative Information Systems (CoopIS 2006),
Montpellier, France, Nov 2006. Springer Verlag. http://eprints.qut.edu.au/archive/00003459.
 J. Zobel. Writing for Computer Science. The Art of effective Communication. Springer. 2004.
 M. Deininger, H. Lichter, J. Ludewig, K. Schneider. Studien-Arbeiten – ein Leitfaden zur Vorbereitung,
Durchführung und Betreuung von Studien-, Diplom-, Abschluss- und Doktorarbeiten am Beispiel
Informatik. vdf Hochschulverlag AG an der ETH Zürich.
 M. Bischof. Modeling and Runtime Support of Faults in Interaction Choreography Models. Diploma
Thesis No. 2885, University of Stuttgart, 2009.
 van Lessen, Tammo; Leymann, Frank; Mietzner, Ralph; Nitzsche, Jörg; Schleicher, Daniel: A
Management Framework for WS-BPEL. In: Proceedings of the 6th IEEE European Conference on
Web Services 2008.
Student theses and diploma theses are available online at