University of Portsmouth
The Business Process Execution Language (BPEL) is a language to orchestrate web services into a single business process. In a choreography view, several processes are interconnected and their interaction behavior is described from a global perspective. This paper shows how BPEL can be extended for defining choreographies. The proposed extensions (BPEL4Chor) distinguish between three aspects: participant behavior descriptions i.e. control flow dependencies in each participant, the participant topology, i.e. the existing participants and their interconnection using message links and participant groundings, i.e. concrete configurations for data formats and port types.