Article in Proceedings INPROC-2007-21

BibliographyDecker, Gero; Kopp, Oliver; Puhlmann, Frank: Service Referrals in BPEL-based Choreographies.
In: Gorton, Stephen (ed.); Solanki, Monika (ed.); Reiff-Marganiec, Stephen (ed.): Proceedings of the 2nd European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2007).
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology.
pp. 25-30, english.
Leicester: University of Leicester, June 11, 2007.
Article in Proceedings (Workshop Paper).
Corporation2nd European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2007)
CR-SchemaH.4.1 (Office Automation)
K.1 (The Computer Industry)
KeywordsChoreography; BPEL; BPEL4Chor; Application of Pi-calculus; interaction models; interconnection models; link passing mobility
Abstract

Choreographies describe the interactions between two or more services from a global perspective and specify allowed service conversations. Choreographies typically do not rely on static binding, i.e. the participating services are not selected at design-time of the choreography. Some services might only be selected at runtime and this selection has to be propagated in the case of multi-lateral conversations. Hence, the notion of service referrals (also called link passing mobility) is recurrent in choreographies. In past work, we have proposed BPEL extensions for describing service choreographies, namely BPEL4Chor. This paper closely investigates the link passing mobility capabilities of BPEL4Chor and illustrates their semantics using Pi-calculus.

Full text and
other links
PDF (385524 Bytes)
YR-SOC 2007
Contactoliver.kopp@iaas.uni-stuttgart.de oder gero.decker@hpi.uni-potsdam.de
Department(s)University of Stuttgart, Institute of Architecture of Application Systems, Architecture of Application Systems
Project(s)Tools4BPEL
Entry dateJune 15, 2007
   Publ. Institute   Publ. Computer Science