Skip to main content

Semantics of BPEL4WS-Like Fault and Compensation Handling

  • Conference paper
FM 2005: Formal Methods (FM 2005)

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

Included in the following conference series:

  • 707 Accesses

Abstract

BPEL4WS is one of the most important business process modelling languages. One distinct feature of it is the fully programmable fault and compensation handling mechanism, which allows the user to specify the compensation behaviors of processes in application-specific manners. In this paper, we present a formal operational semantics to a simplified version of BPEL4WS, with some important concepts related to fault and compensation handling proposed and discussed, especially, the compensation closure and the compensation context. We also discuss some insights into the BPEL4WS language and its implementation obtained from this study.

Supported by National Natural Science Foundation of China (No. 60173003).

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

Access this chapter

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. Aalst, W., Dumas, M., Hofstede, A., Wohed, P.: Analysis of web services composition languages: the case of BPEL4WS. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol. 2813, pp. 200–215. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

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

  3. Thatte, S.: XLANG: Web Service for Business Process Design, http://www.gotdotnt.com/team/xmlwsspecs/xlang-c/default.html

  4. Leymann, F.: WSFL: Web Serices Flow Languag, http://www-3.ibm.com/software/solutions/webservices/pdf/WSDL.pdf

  5. BPEL4WS, Business Process Execution Language for Web Service (2003), http://www.siebel.com/bpel

  6. Bruni, R., Melgratti, H., Montanari, U.: Theoritical foundations for compensation in flow composition languages. In: POPL 2005. ACM, New York (2005)

    Google Scholar 

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

  8. Garcia-Molina, H., Salem, K.: Sagas. In: Proc. of ACM SIGMOD 1987, pp. 249–259. ACM Press, New York (1987)

    Chapter  Google Scholar 

  9. Gay, J., Reuter, A.: Transaction Processing: Concepts and techniques. Morgan Kaufmann, San Francisco (1993)

    Google Scholar 

  10. Mazzara, M., Lucchi, R.: A framework for generic error handling in business processes. In: Proc. WS-FM 2004. ENTCS, vol. 105, pp. 133–145. Elsevier, Amsterdam (2004)

    Google Scholar 

  11. Moss, J.: Nested Transactions: An Approach to Reliable Distributed Computing. PhD thesis, Dept. of Electrical Eng. and Computer Sci., MIT (1981)

    Google Scholar 

  12. Viroli, M.: Towards a formal foundation to orchestration languages. In: Proc. of WS-FM 2004. ENTCS, vol. 105, pp. 51–71. Elsevier, Amsterdam (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Qiu, Z., Wang, S., Pu, G., Zhao, X. (2005). Semantics of BPEL4WS-Like Fault and Compensation Handling. In: Fitzgerald, J., Hayes, I.J., Tarlecki, A. (eds) FM 2005: Formal Methods. FM 2005. Lecture Notes in Computer Science, vol 3582. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11526841_24

Download citation

  • DOI: https://doi.org/10.1007/11526841_24

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-27882-5

  • Online ISBN: 978-3-540-31714-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics