Chapter

Distributed Computing and Internet Technology

Volume 4882 of the series Lecture Notes in Computer Science pp 225-239

Unifying Denotational Semantics with Operational Semantics for Web Services

  • Huibiao ZhuAffiliated withSoftware Engineering Institute, East China Normal University, 3663 Zhongshan Road (North), Shanghai
  • , Jifeng HeAffiliated withSoftware Engineering Institute, East China Normal University, 3663 Zhongshan Road (North), Shanghai
  • , Jing LiAffiliated withSoftware Engineering Institute, East China Normal University, 3663 Zhongshan Road (North), Shanghai

* Final gross prices may vary according to local VAT.

Get Access

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.