Skip to main content
SpringerLink
Log in

A Case Study of Web Services Orchestration

  • Conference paper
Book cover Coordination Models and Languages (COORDINATION 2005)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 3454))

Included in the following conference series:

Abstract

Recently the term Web Services Orchestration has been introduced to address composition and coordination of Web Services. Several languages to describe orchestration for business processes have been presented and many of them use concepts such as long-running transactions and compensations to cope with error handling. WS-BPEL is currently the best suited in this field. 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 discuss web π  ∞  an untimed subcalculus of web π [15] which is a simple and conservative extension of the π-calculus. We introduce it as a theoretical and foundational model for Web Services coordination. We simplify some semantical and pragmatical aspects, in particular regarding temporization, gaining a better understanding of the fundamental issues. To discuss the usefulness of the language we consider a case study: we formalize an e-commerce transactional scenario drawing on a case presented in our previous work [12].

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. Andrews, T., Curbera, F., et al.: Web Service Business Process Execution Language, Working Draft, Version 2.0, December 1 (2004)

    Google Scholar 

  2. Berger, M.: Basic Theory of Reduction Congruence for Two Timed Asynchronous π-calculi. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 115–130. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  3. Berger, M.: Towards Abstractions for Distributed Systems. PhD Thesis, Imperial College, London (2002)

    Google Scholar 

  4. Berger, M., Honda, K.: The Two-Phase Commit Protocol in an Extended π-Calculus. In: EXPRESS 2000: Proceedings of the 7th International Workshop on Expressiveness in Concurrency, ENTCS, vol. 39(1). Elsevier, Amsterdam (2000)

    Google Scholar 

  5. Microsoft BizTalk Server, Microsoft Corporation, http://www.microsoft.com/biztalk/default.asp

  6. Bruni, R., Laneve, C., Montanari, U.: Orchestrating Transactions in Join Calculus. In: Brim, L., Jančar, P., Křetínský, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol. 2421, pp. 321–337. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  7. Bruni, R., Melgratti, H., Montanari, U.: Theoretical Foundations for Compensations in Flow Composition Languages. In: To appear in POPL 2005 (2005)

    Google Scholar 

  8. Bocchi, L., Laneve, C., Zavattaro, G.: A Calculus for Long-running Transactions. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol. 2884, pp. 124–138. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  9. Butler, M., Ferreira, C.: An Operational Semantics for StAC, a Language for Modelling Long-running Business Transactions. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949, pp. 87–104. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  10. Chessel, M., Vines, D., Griffin, C., Green, V., Warr, K.: Business Process Beans: System Design and Architecture Document. Technical report.IBM UK Laboratories (January 2001)

    Google Scholar 

  11. Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL 1.1), W3C, Note 15 (2001), www.w3.org/TR/wdsl

  12. Guidi, C., Lucchi, R., Mazzara, M.: A Formal Framework for Web Services Coordination. In: 3rd International Workshop on Foundations of Coordination Languages and Software Architectures, London (2004)

    Google Scholar 

  13. Hoare, T.: Long-Running Transactions. Powerpoint presentation, http://research.microsoft.com/

  14. Kavantzas, N., Olsson, G., Mischkinsky, J., Chapman, M.: Web Services Choreography Description Languages, http://otn.oracle.com/tech/webservices/ht-docs/spec/cdl_v1.0.pdf

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

  16. Leymann, F.: Web Services Flow Language (WSFL 1.0), Member IBM Academy of Technology, IBM Software Group (2001), http://www-4.ibm.com/software/solutions/webservices/pdf/WSFL.pdf

  17. Little, M.: Web Services Transactions: Past, Present and Future, http://www.idealliance.org/papers/dx_xml03/html/abstract/05-02-02.html

  18. Mazzara, M., Lucchi, R.: A Framework for Generic Error Handling in Business Processes. In: First International Workshop on Web Services and Formal Methods (WS-FM). Pisa (2004)

    Google Scholar 

  19. Milner, R.: Function as Processes. Mathematical Structures in Computer Science 2(2), 119–141 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  20. Milner, R.: Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, Cambridge (1999)

    MATH  Google Scholar 

  21. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Journal of Information and Computation 100, 1–77 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  22. Parrow, J., Victor, B.: The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. In: LICS 1998: Proceedings of the 13th Symposium on Logic in Computer Science. IEEE Computer Society Press, Los Alamitos (1998)

    Google Scholar 

  23. Peltz, C.: Web Services Orchestration and Choreography. IEEE Computer 36(10), 46–52 (2003)

    Article  Google Scholar 

  24. Sangiorgi, D., Walker, D.: The π-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)

    MATH  Google Scholar 

  25. Thatte, S.: XLANG: Web Services for Business Process Design, Microsoft Corporation (2001), http://www.gotdotnet.com/team/xml_wsspecs/xlang-c/default.htm

  26. Universal Description, Discovery and Integration for Web Services (UDDI) V3 Specification, http://uddi.org/pubs/uddiv3.htm

  27. van der Aalst, W.M.P.: Pi calculus versus Petri nets: Let us eat “humble pie” rather than further inflate the ”Pi hype” http://mitwww.tm.tue.nl/staff/wvdaalst/publications/pi-hype.pdf

  28. Workflow Management Coalition, http://www.wfmc.org/

  29. WS-Coordination Specification, http://www-106.ibm.com/developerworks/library/ws-coor/

  30. WS-Transaction Specification, http://www-106.ibm.com/developerworks/webservices/library/ws-transpec/

  31. Weikum, B., Vossen, G.: Transactional Information Systems. Morgan Kaufmann, San Francisco (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Bologna, Italy

    Manuel Mazzara

  2. Imaging Science and Information Systems Center, Georgetown University, Washington, DC, USA

    Sergio Govoni

Authors
  1. Manuel Mazzara
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sergio Govoni
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information and Communication Technology, University of Trento, Italy

    Gian Pietro Picco

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mazzara, M., Govoni, S. (2005). A Case Study of Web Services Orchestration. In: Jacquet, JM., Picco, G.P. (eds) Coordination Models and Languages. COORDINATION 2005. Lecture Notes in Computer Science, vol 3454. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11417019_1

Download citation

  • DOI: https://doi.org/10.1007/11417019_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-25630-4

  • Online ISBN: 978-3-540-32006-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation