Service Referrals in BPEL-based Choreographies

The document summarizes a presentation on using service referrals in BPEL-based choreographies. It discusses how a reseller choreography can be modeled in BPEL4Chor by defining the interactions and interconnections between a customer, reseller, payment organization, and manufacturer. It also describes how the choreography can be modeled using pi-calculus to represent the parallel execution of participants and link-passing mobility between them.