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.
Research partially funded by EU Integrated Project Sensoria, contract n. 016004.
Chapter PDF
Similar content being viewed by others
References
Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Verifying the conformance of web services to global interaction protocols: A first step. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW/WS-EM 2005. LNCS, vol. 3670, pp. 257–271. Springer, Heidelberg (2005)
Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing web services choreographies. In: Bravetti, M., Zavattaro, G. (eds.) Distributed Systems - Architecture and Implementation. ENTCS, vol. 105. Elsevier, Amsterdam (2004)
Bhargavan, K., Fournet, C., Gordon, A.D.: A semantics for web services authentication.. In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp. 198–209. ACM, New York (2004)
Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Towards a formal framework for Choreography. In: Proc. of 3rd International Workshop on Distributed and Mobile Collaboration (DMC 2005). IEEE Computer Society Press, Los Alamitos (2005) (to appear), http://www.cs.unibo.it/%7Elucchi/papers/dmc.pdf
Butler, M., Hoare, C.A.R., Ferreira, C.: A trace semantics for long-running transactions. In: 25 Years Communicating Sequential Processes, pp. 133–150 (2004)
Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: POPL 2005: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 209–220. ACM Press, New York (2005)
Gorrieri, R., Guidi, C., Lucchi, R.: Reasoning on the interaction patterns in choreography. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW/WS-EM 2005. LNCS, vol. 3670, pp. 333–348. Springer, Heidelberg (2005)
Keller, R.M.: Formal verification of parallel programs. Commun. ACM 19(7), 371–384 (1976)
Laneve, C., Zavattaro, G.: Foundations of Web Transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, pp. 282–298. Springer, Heidelberg (2005)
Mazzara, M., Lucchi, R.: A Framework for Generic Error Handling in Business Processes. In: Bravetti, M., Zavattaro, G. (eds.) Proc. of 1st International Workshop on Web Services and Formal Methods (WS-FM 2004). ENTCS, vol. 105. Elsevier, Amsterdam (2004)
OASIS. Web Services Business Process Execution Language Version 2.0, Working Draft, http://www.oasis-open.org/committees/download.php/10347/wsbpel-specification-draft-120204.htm
van Gabbeek, R.J., Weijland, W.P.: Branching time and abstraction in bisimulation semantics. J. ACM 43(3), 555–600 (1996)
Viroli, M.: Towards a Formal Foundation to Orchestration Languages. In: Bravetti, M., Zavattaro, G. (eds.) Proc. of 1st International Workshop on Web Services and Formal Methods (WS-FM 2004). ENTCS, vol. 105. Elsevier, Amsterdam (2004)
W3C. Web Services Choreography Description Language Version 1.0. Working draft 17 December (2004), http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G. (2005). Choreography and Orchestration: A Synergic Approach for System Design. In: Benatallah, B., Casati, F., Traverso, P. (eds) Service-Oriented Computing - ICSOC 2005. ICSOC 2005. Lecture Notes in Computer Science, vol 3826. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11596141_18
Download citation
DOI: https://doi.org/10.1007/11596141_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30817-1
Online ISBN: 978-3-540-32294-8
eBook Packages: Computer ScienceComputer Science (R0)