Service Choreography is a form of service
composition in which the message-based interactions between
multiple partner services -- called participants -- are
defined from a global perspective. The goal is to define the message
exchanges occurring between the participants (e.g. web
services) from a global perspective. [PO-JRA-2.2.1], [Decker et al.
2008]