Skip to main content
SpringerLink
Log in

Timing Issues in Web Services Composition

  • Conference paper
Formal Techniques for Computer Systems and Business Processes (EPEW 2005, WS-FM 2005)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3670))

Abstract

web π is a recent process calculus introduced to formally specify Web Services composition. It extends the π-calculus with timed workunits, namely an asynchronous and temporized mechanism for events raising and catching. In this paper we encode Berger-Honda Timed-π in web π timed workunits and we prove a simulation theorem. The overall perspective of this work is to make web π comparable with both real composition languages and well established models for distributed components.

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. Business Process Execution Language open issues list, http://www.oasis-open.org/apps/group_public/download.php/11285/wsbpel_issues34.html

  2. Questions on Choreology’s coordinated choreographies proposals, http://lists.w3.org/Archives/Public/public-ws-chor/2004Nov/0016.html

  3. Arkin, A., et al.: Web Service Business Process Execution Language. In: OASIS (February 2005)

    Google Scholar 

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

    Google Scholar 

  5. Berger, M., Honda, K.: The Two-Phase Commit Protocol in an Extended π-Calculus. In: Proc. EXPRESS 2000. ENTCS, vol. 39 (2000)

    Google Scholar 

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

  7. Box, D., Ehnebuske, D., Kakivaya, G., Layman, A., Mendelsohn, N., Nielsen, H.F., Thatte, S., Winer, D.: Simple Object Access Protocol (SOAP) 1.1. [ ], W3C, Note (May 08, 2000), http://www.w3.org/TR/SOAP/

  8. Bruni, R., Laneve, C., Montanari, U.: Orchestrating transactions in the join calculus. In: Brim, L., Jančar, P., Křetínský, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol. 2421, p. 321. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  9. Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: POPL. ACM, New York (2005) (to appear)

    Google Scholar 

  10. Butler, M., Ferreira, C.: An operational semantics for stac, a langage for modelling long-running businness transactions. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  11. Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL 1.1). W3C (2001)

    Google Scholar 

  12. World Wide Web Consortium. Extensible Markup Language (XML) 1.0. W3C Recommendation (1998), http://www.w3.org/TR/REC-XML

  13. Gardner, P., Laneve, C., Wischik, L.: The fusion machine (extended abstract). In: Brim, L., Jančar, P., Křetínský, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol. 2421, p. 418. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  14. Guidi, C., Lucchi, R., Mazzara, M.: A formal framework for web services coordination. In: FOCLASA 2004. ENTCS, Elsevier, Amsterdam (2004) (to appear)

    Google Scholar 

  15. Hoare, T.: Long-running transactions, http://research.microsoft.com

  16. Houston, I., Little, M.C., Robinson, I., Shrivastava, S.K., Wheater, S.M.: The CORBA activity service framework for supporting extended transactions. Softw. Pract. Exper. 33(4), 351–373 (2003)

    Article  Google Scholar 

  17. Kavantzas, N.: Aggregating web services: Choreography and ws-cdl, http://lists.w3.org/Archives/Public/www-archive/2004Jun/att-0008/WS-CDL-April2004.pdf

  18. Kavantzas, N., Burdett, D., Ritzinger, G., Lafon, Y.: Web Services Choreography Description Language Version 1.0. In: OASIS (October 2004)

    Google Scholar 

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

  20. Laneve, C., Zavattaro, G.: Webπ at work. In: De Nicola, R., Sangiorgi, D. (eds.) TGC 2005. LNCS, vol. 3705, pp. 182–194. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

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

  22. Little, M.: Web services transactions: Past, present and future, http://www.idealliance.org/papers/dx_xml03/html/abstract/05-02-02.html

  23. Lucchi, R., Mazzara, M.: A π-calculus based semantics for ws-bpel. Journal of Logic and Algebraic Programming (JLAP) (to appear)

    Google Scholar 

  24. Mazzara, M., Govoni, S.: A case study of web services orchestration. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol. 3454, pp. 1–16. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  25. 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). ENTCS, vol. 105. Elsevier, Amsterdam (2004)

    Google Scholar 

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

    Google Scholar 

  27. Milner, R., Parrow, J., Walker, D.: A Calculus for Mobile Processes. Journal of Information and Computation 100, 1–77 (1992)

    Article  MATH  MathSciNet  Google Scholar 

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

    Google Scholar 

  29. Thatte, S.: XLANG: Web Services for Business Process Design. Microsoft Corporation (2001)

    Google Scholar 

  30. van der, W. Aalst .: Pi-calculus versus petri nets: Let us eat ’humble pie’ rather than further inflate the

    Google Scholar 

  31. W3C. HTTP - HyperText Transfer Protocol Specification, http://www.w3.org/protocols

Download references

Author information

Authors and Affiliations

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

    Manuel Mazzara

Authors
  1. Manuel Mazzara
    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. PRiSM, Université de Versailles, 45, Av. des Etats-Unis, 78000, Versailles

    Leïla Kloul

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

    Gianluigi Zavattaro

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mazzara, M. (2005). Timing Issues in Web Services Composition. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds) Formal Techniques for Computer Systems and Business Processes. EPEW WS-FM 2005 2005. Lecture Notes in Computer Science, vol 3670. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11549970_21

Download citation

  • DOI: https://doi.org/10.1007/11549970_21

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-28701-8

  • Online ISBN: 978-3-540-31903-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation