A denotational approach to scope-based compensable flow language for web service

Authors:
Huibiao Zhu;Geguang Pu;Jifeng He
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:
ASIAN'06 Proceedings of the 11th Asian computing science conference on Advances in computer science: secure software and related issues
Year:
2006

Citing 2
Cited 1

Web Services: Concepts, Architectures and Applications

Web Services: Concepts, Architectures and Applications
Theoretical foundations of scope-based compensable flow language for web service

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

Algebraic semantics for compensable transactions

ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing

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. We have proposed a language BPEL0 to capture the important features of BPEL4WS, with the scope-based compensation and fault handling mechanism. In this paper we formalize the denotational semantics for BPEL0, which can support the refinement calculus and the verification of program equivalence. A set of algebraic laws is investigated within the denotational framework. The distinct features of BPEL0 make the investigation of the denotational semantics and algebraic laws more challenging.