Choreography and Orchestration: A Synergic Approach for System Design

  • Nadia Busi
  • Roberto Gorrieri
  • Claudio Guidi
  • Roberto Lucchi
  • Gianluigi Zavattaro
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3826)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BBM+05]
    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)CrossRefGoogle Scholar
  2. [BCPV04]
    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)Google Scholar
  3. [BFG04]
    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)CrossRefGoogle Scholar
  4. [BGG+]
    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
  5. [BHF04]
    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)Google Scholar
  6. [BMM05]
    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)CrossRefGoogle Scholar
  7. [GGL05]
    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)CrossRefGoogle Scholar
  8. [Kel76]
    Keller, R.M.: Formal verification of parallel programs. Commun. ACM 19(7), 371–384 (1976)MATHCrossRefGoogle Scholar
  9. [LZ05]
    Laneve, C., Zavattaro, G.: Foundations of Web Transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, pp. 282–298. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  10. [ML04]
    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)Google Scholar
  11. [OAS]
    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
  12. [vGW96]
    van Gabbeek, R.J., Weijland, W.P.: Branching time and abstraction in bisimulation semantics. J. ACM 43(3), 555–600 (1996)CrossRefMathSciNetGoogle Scholar
  13. [Vir04]
    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)Google Scholar
  14. [W3C]
    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/

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Nadia Busi
    • 1
  • Roberto Gorrieri
    • 1
  • Claudio Guidi
    • 1
  • Roberto Lucchi
    • 1
  • Gianluigi Zavattaro
    • 1
  1. 1.Department of Computer ScienceUniversity of BolognaItaly

Personalised recommendations