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. We have proposed a language BPEL0 to capture the important features of BPEL4WS, with the scope-based compensation and fault handling mechanism. In this paper we formalize the denotational semantics for BPEL0, which can support the refinement calculus and the verification of program equivalence. A set of algebraic laws is investigated within the denotational framework. The distinct features of BPEL0 make the investigation of the denotational semantics and algebraic laws more challenging.
Partially supported by National Basic Research Program of China (No. 2002CB312001 and No. 2005CB321904) and the 211 project of The Ministry of Education of China.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alonso, G., Kuno, H., Casati, F., Machiraju, V.: Web Services: Concepts, Architectures and Applications. Springer, Heidelberg (2003)
Butler, M.J., 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, Springer, Heidelberg (2004)
Curbera, F., Goland, Y., Klein, J., Leymann, F., Roller, D., Satish Thatte, M., Weerawarana, S.: Business Process Execution Language for Web Service (2003), http://www.siebel.com/bpel
Pu, G., Zhu, H., Qiu, Z., Wang, S., Zhao, X., He, J.: Theoretical foundations of scope-based compensation flow language for web service. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, Springer, Heidelberg (2006)
Hoare, C.A.R., Jifeng, H.: Unifying Theories of Programming. Prentice Hall International Series in Computer Science (1998)
Zhu, H., Pu, G., He, J.: A denotational approach to scope-based compensable flow language for web service. Technical report, Software Engineering Institute, East China Normal University (2006)
Leymann, F.: Web Services Flow Language (WSFL 1.0). IBM (2001), http://www-3.ibm.com/software/solutions/webservices/pdf/WSDL.pdf
Thatte, S.: XLANG: Web Service for Business Process Design. Microsoft (2001), http://www.gotdotnet.com/team/xml_wsspecs/xlang-c/default.html
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhu, H., Pu, G., He, J. (2007). A Denotational Approach to Scope-Based Compensable Flow Language for Web Service . In: Okada, M., Satoh, I. (eds) Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues. ASIAN 2006. Lecture Notes in Computer Science, vol 4435. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77505-8_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-77505-8_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77504-1
Online ISBN: 978-3-540-77505-8
eBook Packages: Computer ScienceComputer Science (R0)