Overview
BPEL4Chor offers means to describe choreographies using WS-BPEL 2.0. BPEL4Chor uses the idea of plug-links of WSFL and adds the explicit modelling of participant sets and participant references.
Modeling BPEL4Chor
We developed a web-based editor for BPEL4Chor choreographies using the Oryx-Framework developed by the Hasso-Plattner-Institute.
The editor can be tried at http://www.bpel4chor.org/editor.
Verification of BPEL4Chor
BPEL4Chor can be analysed using BPEL2oWFN developed by Niels Lohmann.
Publications
- Gero Decker, Oliver Kopp, Frank Leymann and Mathias Weske. BPEL4Chor: Extending BPEL for Modeling Choreographies. Proceedings of the IEEE 2007 International Conference on Web Services (ICWS), Salt Lake City, Utah, USA, July 2007. IEEE Copmuter Society.
- Gero Decker, Oliver Kopp, Frank Leymann, Kerstin Pfitzner, Mathias Weske. Modeling Service Choreographies using BPMN and BPEL4Chor. Proceedings of the 20th International Conference on Advanced Information Systems Engineering (CAiSE '08), 2008.
- Kerstin Pfitzner, Gero Decker, Oliver Kopp and Frank Leymann. Web Service Choreography Configurations for BPMN. Proceedings of the 3rd International Workshop on Engineering Service-oriented Applications: Analysis, Design and Composition (WESOA), Vienna, Austria, September 2007.
- Niels Lohmann, Oliver Kopp, Frank Leymann, and Wolfgang Reisig. Analyzing BPEL4Chor: Verification and Participant Synthesis. Web Services and Formal Methods, Forth International Workshop, WS-FM 2007 Brisbane, Australia, September 28-29, 2007, Proceedings, Lecture Notes in Computer Science, September 2007. Springer-Verlag
- Gero Decker, Oliver Kopp, Frank Puhlamnn. Service Referrals in BPEL-based Choreographies. 2nd European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2007)
About
This site is under construction. Please visit the homepages of
- Gero Decker, working at the HPI
- Oliver Kopp, working at the IAAS and
- Niels Lohmann, working at the University of Rostock.
for further information.
Oliver Kopp and Niels Lohmann are funded from 2005-10-31 to 2008-09-30 by the Tools4BPEL-Project, which is in turn funded by the German Federal Ministry of Education and Reserach. Development of parts of BPEL4Chor is part of Tools4BPEL.