- "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.
|