Skip to main content
SpringerLink
Log in

Towards a Unifying Theory for Web Services Composition

  • Conference paper
Web Services and Formal Methods (WS-FM 2006)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4184))

Included in the following conference series:

Abstract

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.

Research partially supported by the Project FET-GC II IST-2005-16004 Sensoria.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Amadio, R.M., Castellani, I., Sangiorgi, D.: On bisimulations for the asynchronous pi-calculus. Theoret. Comput. Sci. 195(2), 291–324 (1998)

    Article  MATH  MathSciNet  Google Scholar 

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

    Chapter  Google Scholar 

  5. Curbera, F., Khalaf, R., Mukhi, N., Tai, S., Weerawarana, S.: The next step in web services. Commun. ACM 46(10), 29–34 (2003)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  7. Huhns, M.N., Singh, M.P.: Service-oriented computing: Key concepts and principles. IEEE Internet Computing 9(1), 75–81 (2005)

    Article  Google Scholar 

  8. Laneve, C., Zavattaro, G.: Foundations of web transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, pp. 282–298. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  9. Leymann, F.: Web services flow language (WSFL 1.0). Technical report, IBM (May 2001)

    Google Scholar 

  10. Lucchi, R., Mazzara, M.: A π-calculus based semantics for WS-BPEL. J. Log. Algebr. Program. (to appear, 2006)

    Google Scholar 

  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. Microsoft BizTalk, http://www.microsoft.com/biztalk/default.mspx

  13. Milner, R.: Functions as processes. Math. Struct. in Comput. Sci. 2(2), 119–141 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  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)

    Article  MATH  MathSciNet  Google Scholar 

  15. Peltz, C.: Web services orchestration and choreography. IEEE Computer 36(10), 46–52 (2003)

    Google Scholar 

  16. Sangiorgi, D., Walker, D.: The π-calculus: A theory of Mobile Processes. Cambridge University Press, Cambridge (2001)

    Google Scholar 

  17. Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley/ACM Press (2002)

    Google Scholar 

  18. Thatte, S.: XLANG: Web services for businnes process design. Technical report, Microsoft Corporation (2001), Downloadable from: http://www.gotdotnet.com/team/xml/wsspecs/xlang-c

Download references

Author information

Authors and Affiliations

  1. Faculty of Computer Science, Free University of Bozen-Bolzano, Italy

    Manuel Mazzara

  2. Computer Science Department, University of Bologna, Italy

    Ivan Lanese

Authors
  1. Manuel Mazzara
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ivan Lanese
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Bologna,  

    Mario Bravetti

  2. Dept. Sistemas Informáticos y Programación Facultad de Informática, Universidad Complutense de Madrid, 28040, Madrid, Spain

    Manuel Núñez

  3. Dip. Scienze dell’Informazione, Università di Bologna, Italy

    Gianluigi Zavattaro

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mazzara, M., Lanese, I. (2006). Towards a Unifying Theory for Web Services Composition. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds) Web Services and Formal Methods. WS-FM 2006. Lecture Notes in Computer Science, vol 4184. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11841197_17

Download citation

  • DOI: https://doi.org/10.1007/11841197_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-38862-3

  • Online ISBN: 978-3-540-38865-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation