TY - GEN
T1 - Unifying denotational semantics with operational semantics for web services
AU - Zhu, Huibiao
AU - He, Jifeng
AU - Li, Jing
PY - 2007
Y1 - 2007
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 approaches should be consistent. This paper considers the unifying 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 approaches should be consistent. This paper considers the unifying 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.
UR - https://www.scopus.com/pages/publications/38149040847
U2 - 10.1007/978-3-540-77115-9_23
DO - 10.1007/978-3-540-77115-9_23
M3 - 会议稿件
AN - SCOPUS:38149040847
SN - 9783540771128
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 225
EP - 239
BT - Distributed Computing and Internet Technology - 4th International Conference, ICDCIT 2007, Proceedings
PB - Springer Verlag
T2 - 4th International Conference on Distributed Computing and Internet Technology, ICDCIT 2007
Y2 - 17 December 2007 through 20 December 2007
ER -