Unifying denotational semantics with operational semantics for web services

Authors:
Huibiao Zhu;Jifeng He;Jing Li
Affiliations:
Software Engineering Institute, East China Normal University, Shanghai, China;Software Engineering Institute, East China Normal University, Shanghai, China;Software Engineering Institute, East China Normal University, Shanghai, China
Venue:
ICDCIT'07 Proceedings of the 4th international conference on Distributed computing and internet technology
Year:
2007

Citing 2
Cited 3

Laws of programming

Communications of the ACM
An Operational Approach to BPEL-like Programming

SEW '07 Proceedings of the 31st IEEE Software Engineering Workshop

Web services semantic model system

ASID'09 Proceedings of the 3rd international conference on Anti-Counterfeiting, security, and identification in communication
Linking denotational semantics with operational semantics for web services

Innovations in Systems and Software Engineering
Algebraic approach to linking the semantics of web services

Innovations in Systems and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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 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.