TY - JOUR
T1 - Linking denotational semantics with operational semantics for web services
AU - Zhu, Huibiao
AU - He, Jifeng
AU - Li, Jing
AU - Pu, Geguang
AU - Bowen, Jonathan P.
PY - 2010/12
Y1 - 2010/12
N2 - Web Services have become more and more important in these years, and BPEL4WS (BPEL) is a de facto standard for the web service composition and orchestration. It contains several distinct features, including the scope-based compensation and fault handling mechanism. The denotational semantics and operational semantics have been explored for BPEL. The two semantic models should be consistent. This paper considers the linking of these two semantics. Our approach is to derive the denotational semantics from operational semantics for BPEL, which aims for the consistency of the two models. Moreover, the derivation can be applied in exploring the program equivalence easily, especially for parallel programs.
AB - Web Services have become more and more important in these years, and BPEL4WS (BPEL) is a de facto standard for the web service composition and orchestration. It contains several distinct features, including the scope-based compensation and fault handling mechanism. The denotational semantics and operational semantics have been explored for BPEL. The two semantic models should be consistent. This paper considers the linking of these two semantics. Our approach is to derive the denotational semantics from operational semantics for BPEL, which aims for the consistency of the two models. Moreover, the derivation can be applied in exploring the program equivalence easily, especially for parallel programs.
KW - Denotational semantics
KW - Operational semantics
KW - Semantics linking
KW - Unifying theories of programming (UTP)
KW - Web services
UR - https://www.scopus.com/pages/publications/78649321225
U2 - 10.1007/s11334-010-0134-z
DO - 10.1007/s11334-010-0134-z
M3 - 文章
AN - SCOPUS:78649321225
SN - 1614-5046
VL - 6
SP - 283
EP - 298
JO - Innovations in Systems and Software Engineering
JF - Innovations in Systems and Software Engineering
IS - 4
ER -