Abstract
Web Services have become more and more important in these years, and BPEL4WS is a de facto standard for the web service composition and orchestration. In this paper, we propose a language BPEL0 to capture the important features of BPEL4WS, with the scope-based compensation handling mechanism, which allow the users to specify the compensation behaviors of processes in application-specific manners. The operational semantics of BPEL0 is formalized, with some key concepts related to compensation handling, i.e., the compensation closure and compensation context. Based on the achieved semantics, the concept of bisimulation in hierarchy structure is investigated, which is used to define the equivalence between BPEL0 programs.
The authors at East China Normal University were supported by National Basic Research Program of China (No. 2002CB312001). The authors at Peking University were supported by National Natural Science Foundation of China (No. 60573081).
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-3-540-34895-5_20
Chapter 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)
Aalst, W., Hofstede, A.: YAWL: yet another workflow language. Inf. Syst. 30(4), 245–275 (2005)
Benatallah, B., Hamadi, R.: A Petri net-based model for web service composition. In: Proc. of ADC 2003, pp. 191–200. Australian Computer Society (2003)
Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Wang, Y.: UPPAAL - a tool suite for automatic verification of real-time systems. In: Hybrid Systems III: Verification and Control, pp. 232–243. Springer, Heidelberg (1996)
Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing web services choreographies. In: Pro. of WS-FM 2004 (2004)
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)
Bruni, R., Melgratti, H., Montanari, U.: Theoritical Foundations for Compensation in Flow Composition Languages. In: Proc. of ACM POPL 2005 (2005)
Bruni, R., Butler, M., Ferreira, C., Hoare, C.A.R., Melgratti, H.C., Montanari, U.: Comparing Two Approaches to Compensable Flow Composition. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol. 3653, pp. 383–397. Springer, Heidelberg (2005)
BPEL4WS, Business Process Execution Language for Web Service (2003), http://www.siebel.com/bpel
Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: Proc. of WWW 2004, pp. 621–630 (2004)
Garcia-Molina, H., Salem, K.: Sagas. In: Proc. of ACM SIGMOD 1987, pp. 249–259. ACM Press, New York (1987)
Koshkina, M., Breugel, F.: Modelling and verifying web service orchestration by means of the concurrency workbench. ACM SIGSOFT Software Engineering Notes 29(5) (2004)
Leymann, F.: WSFL: Web Serices Flow Languag, http://www-3.ibm.com/software/solutions/webservices/pdf/WSDL.pdf
Mazzara, M., Lucchi, R.: A framework for generic error handling in business process. In: Proc. of 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)
Nakajima, S.: Model-Checking Verification for Reliable Web Service. In: OOPSLA 2002 Workshop on Object-Oriented Web Services (2002)
Zongyan, Q., Shuling, W., Geguang, P., Xiangpeng, Z.: Semantics of BPEL4WS-like Fault and Compensation Handling. In: Proc. of Formal Methods 2005, pp. 350–365. Springer, Heidelberg (2005)
Geguang, P., Xiangpeng, Z., Shuling, W., Zongyan, Q.: Towards the semantics and verification of BPEL4WS. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, Springer, Heidelberg (2005)
Geguang, P., Huibiao, Z., Zongyan, Q., Shuling, W., Xiangpeng, Z., Jifeng, H.: Theoretical Foundations of Scope-based Compensation Flow Language for Web Service. Research Report 67, School of Mathematical Sciences, Peking University (2005)
Thatte, S.: XLANG: Web Service for Business Process Design, http://www.gotdotnet.com/team/xml_wsspecs/xlang-c/default.html
Wombacher, A., Fankhauser, P., Neuhold, E.: Transforming BPEL into annotated deterministic finite state automata for service discovery. In: Proc. of ICWS 2004 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 IFIP International Federation for Information Processing
About this paper
Cite this paper
Pu, G., Zhu, H., Qiu, Z., Wang, S., Zhao, X., He, J. (2006). Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service. In: Gorrieri, R., Wehrheim, H. (eds) Formal Methods for Open Object-Based Distributed Systems. FMOODS 2006. Lecture Notes in Computer Science, vol 4037. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11768869_19
Download citation
DOI: https://doi.org/10.1007/11768869_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34893-1
Online ISBN: 978-3-540-34895-5
eBook Packages: Computer ScienceComputer Science (R0)