• "A Formal Framework for Web Services Coordination"
    Claudio Guidi, Roberto Lucchi and Manuel Mazzara
    In Proc. of 3rd International Workshop on
    Foundations of Coordination Languages and Software Architectures (FOCLASA'04)
    Electronic Notes in Theoretical Computer Science to appear, Elsevier.
    [pdf][bibtex]
Abstract:Choreography and orchestration languages deal with business processes design and specification. Referring to Web Services technology, the most credited proposals are WS-CDL about choreography and WS-BPEL about orchestration. A closer look to such a kind of languages highlights two distinct approaches for system representation and management. Choreography describes the system in a top view manner whereas orchestration focusses on single peers description. In this paper we define a notion of conformance between choreography and orchestration which allows to state when an orchestrated system is conformant to a given choreography. Choreography and orchestration are formalized by using two process algebras and conformance takes the form of a bisimulation-like relation.