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).
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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)
Thatte, S.: XLANG: Web Service for Business Process Design, http://www.gotdotnt.com/team/xmlwsspecs/xlang-c/default.html
Leymann, F.: WSFL: Web Serices Flow Languag, http://www-3.ibm.com/software/solutions/webservices/pdf/WSDL.pdf
BPEL4WS, Business Process Execution Language for Web Service (2003), http://www.siebel.com/bpel
Bruni, R., Melgratti, H., Montanari, U.: Theoritical foundations for compensation in flow composition languages. In: POPL 2005. ACM, New York (2005)
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)
Garcia-Molina, H., Salem, K.: Sagas. In: Proc. of ACM SIGMOD 1987, pp. 249–259. ACM Press, New York (1987)
Gay, J., Reuter, A.: Transaction Processing: Concepts and techniques. Morgan Kaufmann, San Francisco (1993)
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)
Moss, J.: Nested Transactions: An Approach to Reliable Distributed Computing. PhD thesis, Dept. of Electrical Eng. and Computer Sci., MIT (1981)
Viroli, M.: Towards a formal foundation to orchestration languages. In: Proc. of WS-FM 2004. ENTCS, vol. 105, pp. 51–71. Elsevier, Amsterdam (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)