TY - GEN
T1 - A denotational approach to scope-based compensable flow language for web service
AU - Zhu, Huibiao
AU - Pu, Geguang
AU - He, Jifeng
PY - 2007
Y1 - 2007
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/49949087265
U2 - 10.1007/978-3-540-77505-8_3
DO - 10.1007/978-3-540-77505-8_3
M3 - 会议稿件
AN - SCOPUS:49949087265
SN - 3540775048
SN - 9783540775041
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 28
EP - 36
BT - Advances in Computer Science - ASIAN 2006
T2 - 11th Asian Computing Science Conference, ASIAN 2006
Y2 - 6 December 2006 through 8 December 2006
ER -