Skip to main content
Springer Nature Link
Log in

A Formal Semantics for the WS-BPEL Recovery Framework

The π-Calculus Way

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

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

Included in the following conference series:

  • 434 Accesses

Abstract

While current studies on Web services composition are mostly focused — from the technical viewpoint — on standards and protocols, this work investigates the adoption of formal methods for dependable composition. The Web Services Business Process Execution Language (WS-BPEL) — an OASIS standard widely adopted both in academic and industrial environments — is considered as a touchstone for concrete composition languages and an analysis of its ambiguous Recovery Framework specification is offered. In order to show the use of formal methods, a precise and unambiguous description of its (simplified) mechanisms is provided by means of a conservative extension of the π-calculus. This has to be intended as a well known case study providing methodological arguments for the adoption of formal methods in software specification. The aspect of verification is not the main topic of the paper but some hints are given.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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.

Similar content being viewed by others

References

  1. Web services flow language (wsfl 1.0), http://www.ebpml.org/wsfl.htm

  2. Xlang: Web services for business process design, http://www.ebpml.org/xlang.htm

  3. Chinnici, R., Moreau, J.J., Ryman, A., Weerawarana, S.: Web services description language (wsdl 1.1), W3C Recommendation (June 26, 2007), http://www.w3.org/TR/wsdl20/

  4. Chris, P.: Web services orchestration and choreography. Computer 36(10), 46–52 (2003)

    Article  Google Scholar 

  5. World Wide Web Consortium. Extensible markup language (xml) 1.0. W3C Recommendation: http://www.w3.org/XML/

  6. Decker, G., Leymann, F., Weske, M.: Bpel4chor: Extending bpel for modeling choreographies. In: Proceedings International Conference on Web Services, ICWS (2007)

    Google Scholar 

  7. Eisentraut, C., Spieler, D.: Fault, compensation and termination in ws-bpel 2.0 – a comparative analysis. In: Bruni, R., Wolf, K. (eds.) WS-FM 2008. LNCS, vol. 5387, pp. 107–126. Springer, Heidelberg (2009)

    Google Scholar 

  8. Gudgin, M., Hadley, M., Mendelsohn, N., Moreau, J.J., Nielsen, H.F., Karmarkar, A., Lafon, Y.: Simple object access protocol (soap) 1.1, W3C Recommendation (April 27, 2007), http://www.w3.org/TR/soap12-part1/

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

    Google Scholar 

  10. Lapadula, A., Pugliese, R., Tiezzi, F.: A formal account of WS-BPEL. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 199–215. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  11. Little, M.: Web services transactions: Past, present and future, http://www.jboss.org/dms/jbosstm/resources/presentations/XML2003.pdf

  12. Lucchi, R., Mazzara, M.: A pi-calculus based semantics for ws-bpel. Journal of Logic and Algebraic Programming 70(1), 96–118 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  13. Mazzara, M.: Towards Abstractions for Web Services Composition. PhD thesis, Department of Computer Science, University of Bologna (2006)

    Google Scholar 

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

  15. Mazzara, M., Lanese, I.: Towards a unifying theory for web services composition. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 257–272. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  16. Milner, R.: Functions as processes. Mathematical Structures in Computer Science 2(2), 119–141 (1992)

    Article  MATH  MathSciNet  Google Scholar 

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

    MATH  Google Scholar 

  18. OASIS Web Services Business Process Execution Language (WSBPEL) TC. Web services business process execution language version 2.0., http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html

  19. van der Aalst, W.M.P.: Pi calculus versus Petri nets: Let us eat humble pie rather than further inflate the Pi hype (2004), http://is.tm.tue.nl/research/patterns/download/pi-hype.pdf

  20. Vaz, C., Ferreira, C., Ravara, A.: Dynamic recovering of long running transactions. In: Kaklamanis, C., Nielson, F. (eds.) TGC 2008. LNCS, vol. 5474, pp. 201–215. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  21. W3C. Http - hypertext transfer protocol, http://www.w3.org/protocols

  22. Weidlich, M., Decker, G., Weske, M.: Efficient analysis of bpel 2.0 processes using pi-calculus. In: APSCC 2007: Proceedings of the The 2nd IEEE Asia-Pacific Service Computing Conference, Washington, DC, USA, 2007, pp. 266–274. IEEE Computer Society, Los Alamitos (2007)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DTU Informatics, Technical University of Denmark, Denmark

    Nicola Dragoni

  2. School of Computing Science, Newcastle University, UK

    Manuel Mazzara

Authors
  1. Nicola Dragoni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Manuel Mazzara
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento de Scienze dell’Informazione, Mura Anteo, Zamboni 7, Bologna, Italy

    Cosimo Laneve

  2. Department of Computer Science, University of California at Santa Barbara, CA 93106-5110, Santa Barbara, USA

    Jianwen Su

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dragoni, N., Mazzara, M. (2010). A Formal Semantics for the WS-BPEL Recovery Framework. In: Laneve, C., Su, J. (eds) Web Services and Formal Methods. WS-FM 2009. Lecture Notes in Computer Science, vol 6194. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14458-5_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-14458-5_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-14457-8

  • Online ISBN: 978-3-642-14458-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics