Towards a Unifying Theory for Web Services Composition

  • Manuel Mazzara
  • Ivan Lanese
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4184)


Recently the term orchestration has been introduced to address composition and coordination of web services. Several languages used to describe business processes using this approach have been presented, and most of them use the concepts of long-running transactions and compensations to cope with error handling. WS-BPEL, which is currently the most used orchestration language, also provides a Recovery Framework. However its complexity hinders rigorous treatment. In this paper, we address the notion of orchestration from a formal point of view with particular attention to transactions and compensations. In particular, we introduce web π  ∞ , an untimed version of web π, and the related theory, as a foundational unifying framework for orchestration able to meet composition requirements and to encode the whole BPEL itself.


Business Process Parallel Composition Business Process Execution Language Proof Tree Label Semantic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Amadio, R.M., Castellani, I., Sangiorgi, D.: On bisimulations for the asynchronous pi-calculus. Theoret. Comput. Sci. 195(2), 291–324 (1998)MATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Arkin, A., Askary, S., Bloch, B., Curbera, F., Goland, Y., Kartha, N., Liu, C.K., Mehta, V., Thatte, S., Yendluri, P., Yiu, A., Alves, A.: Web services business process execution language version 2.0. Technical report, Oasis, Working draft (December 2005)Google Scholar
  3. 3.
    Bruni, R., Melgratti, H.C., Montanari, U.: Nested commits for mobile calculi: Extending join. In: Proc. of IFIP TCS 2004, pp. 563–576. Kluwer Academics, Dordrecht (2004)Google Scholar
  4. 4.
    Butler, M.J., Hoare, C.A.R., Ferreira, C.: A trace semantics for long-running transactions. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol. 3525, pp. 133–150. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  5. 5.
    Curbera, F., Khalaf, R., Mukhi, N., Tai, S., Weerawarana, S.: The next step in web services. Commun. ACM 46(10), 29–34 (2003)CrossRefGoogle Scholar
  6. 6.
    Fournet, C., Gonthier, G.: The reflexive CHAM and the join-calculus. In: Proc. of POPL 1996, pp. 372–385. ACM Press, New York (1996)CrossRefGoogle Scholar
  7. 7.
    Huhns, M.N., Singh, M.P.: Service-oriented computing: Key concepts and principles. IEEE Internet Computing 9(1), 75–81 (2005)CrossRefGoogle Scholar
  8. 8.
    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
  9. 9.
    Leymann, F.: Web services flow language (WSFL 1.0). Technical report, IBM (May 2001)Google Scholar
  10. 10.
    Lucchi, R., Mazzara, M.: A π-calculus based semantics for WS-BPEL. J. Log. Algebr. Program. (to appear, 2006)Google Scholar
  11. 11.
    Mazzara, M.: Towards Abstractions for Web Services Composition. PhD thesis, Department of Computer Science, University of Bologna, Also available as Technical Report UBLCS-2006-08 (2006)Google Scholar
  12. 12.
  13. 13.
    Milner, R.: Functions as processes. Math. Struct. in Comput. Sci. 2(2), 119–141 (1992)MATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    Milner, R., Parrow, J., Walker, J.: A calculus of mobile processes, I and II. Inform. and Comput. 100(1), 1–40, 41–77 (1992)MATHCrossRefMathSciNetGoogle Scholar
  15. 15.
    Peltz, C.: Web services orchestration and choreography. IEEE Computer 36(10), 46–52 (2003)Google Scholar
  16. 16.
    Sangiorgi, D., Walker, D.: The π-calculus: A theory of Mobile Processes. Cambridge University Press, Cambridge (2001)Google Scholar
  17. 17.
    Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley/ACM Press (2002)Google Scholar
  18. 18.
    Thatte, S.: XLANG: Web services for businnes process design. Technical report, Microsoft Corporation (2001), Downloadable from:

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Manuel Mazzara
    • 1
  • Ivan Lanese
    • 2
  1. 1.Faculty of Computer ScienceFree University of Bozen-BolzanoItaly
  2. 2.Computer Science DepartmentUniversity of BolognaItaly

Personalised recommendations