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 focuses 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. © Springer-Verlag Berlin Heidelberg 2005.
Cite
CITATION STYLE
Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., & Zavattaro, G. (2005). Choreography and orchestration: A synergic approach for system design. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3826 LNCS, pp. 228–240). https://doi.org/10.1007/11596141_18
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
