Theoretical foundations of scope-based compensable flow language for web service

  • Authors:

  • Geguang Pu;Huibiao Zhu;Zongyan Qiu;Shuling Wang;Xiangpeng Zhao;Jifeng He

  • Affiliations:

  • Software Engineering Institute, East China Normal University, Shanghai, China;Software Engineering Institute, East China Normal University, Shanghai, China;LMAM and Department of Informatics, School of Mathematical Sciences, Peking University, Beijing, China;LMAM and Department of Informatics, School of Mathematical Sciences, Peking University, Beijing, China;LMAM and Department of Informatics, School of Mathematical Sciences, Peking University, Beijing, China;Software Engineering Institute, East China Normal University, Shanghai, China

  • Venue:
  • FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

Web Services have become more and more important in these years, and BPEL4WS is a de facto standard for the web service composition and orchestration. In this paper, we propose a language BPEL0 to capture the important features of BPEL4WS, with the scope-based compensation handling mechanism, which allow the users to specify the compensation behaviors of processes in application-specific manners. The operational semantics of BPEL0 is formalized, with some key concepts related to compensation handling, i.e., the compensation closure and compensation context. Based on the achieved semantics, the concept of bisimulation in hierarchy structure is investigated, which is used to define the equivalence between BPEL0 programs.