An Operational Approach to BPEL-like Programming
- 1 March 2007
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 236-245
- https://doi.org/10.1109/sew.2007.56
Abstract
Web services have become more and more important during these years and BPEL4WS (BPEL) is to be a standard for the Web services composition and orchestration. It contains several distinct features, including the scope-based compensation and fault handling mechanism. In this paper, we formalize an operational semantics for BPEL, which provides the precise understanding of the language. In order to explore program equivalence, bisimulation is introduced for BPEL pro grams in the form of two-layer structure. A set of algebraic laws is studied, which includes several BPEL featured laws. These algebraic laws are verified via the two-layer bisimulation. This reflects that our bisimulation is a practical approach to explore program equivalence for Web services.Keywords
This publication has 8 references indexed in Scilit:
- A model for BPEL-like languagesFrontiers of Computer Science in China, 2007
- Towards the Semantics and Verification of BPEL4WSElectronic Notes in Theoretical Computer Science, 2006
- Semantics of BPEL4WS-Like Fault and Compensation HandlingPublished by Springer Nature ,2005
- An animatable operational semantics of the Verilog hardware description languagePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The B-BookPublished by Cambridge University Press (CUP) ,1996
- Provably Correct SystemsPublished by Springer Nature ,1994
- The laws of OCCAM programmingTheoretical Computer Science, 1988
- Laws of programmingCommunications of the ACM, 1987