Detail

Bridging the gap between Interaction- and Process-Oriented Choreographies

In the area of service oriented computing, choreography
languages are used to specify multi-party service compositions.
Two main approaches have been followed in the design
of these languages: the interaction-oriented approach at the
basis of WS-CDL and the process-oriented approach of BPEL4Chor.
In this paper we investigate the relationship between the
two approaches. In particular, we consider several interpretations
for interaction-oriented choreographies spanning from synchronous
to (different forms of) asynchronous communication. Under each of
these possible interpretations we characterize the class of
interaction-oriented choreographies which have a direct
process-oriented counterpart, and we formalize the corresponding
notion of equivalence between the initial interaction-oriented
choreography and the corresponding process-oriented counterpart.