Linking denotational semantics with operational semantics for web services |
| |
Authors: | Huibiao Zhu Jifeng He Jing Li Geguang Pu Jonathan P Bowen |
| |
Affiliation: | (1) Oxford University Computing Laboratory, Wolfson Bldg., Parks Road, Oxford, OX1 3QD, UK |
| |
Abstract: | 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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|