Web services have became 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. We have already explored the operational semantics and denotational semantics for BPEL, where a set of algebraic laws can be achieved via these two models respectively. Meanwhile, we have also explored the link between the operational semantics and algebraic semantics for BPEL. Our approach was to derive the operational semantics from algebraic semantics. This paper considers the animation approach for the link between operational semantics and algebraic semantics for BPEL. The Logic Programming Language Prolog is applied to support for the development. Firstly we animate the operational semantics for BPEL. Our approach for deriving operational semantics from algebraic semantics proceeds through head normal form. Secondly, we animate the algebraic laws for BPEL. Based on this, we animate the generation of head normal form for each program. Four typical forms are introduced for defining head normal form. Thirdly, we explore the animation for deriving operational semantics from head normal form. From various test results, the first and third exploration show that the soundness and completeness for the operational semantics from the algebraic semantics for BPEL.
[1]
C. A. R. Hoare,et al.
Communicating sequential processes
,
1978,
CACM.
[2]
Matjaz B. Juric,et al.
Business process execution language for web services
,
2004
.
[3]
Jing Li,et al.
Algebraic Approach to Linking the Semantics of Web Services
,
2007,
SEFM.
[4]
William F. Clocksin,et al.
Programming in Prolog
,
1987,
Springer Berlin Heidelberg.
[5]
Jifeng He,et al.
An Operational Approach to BPEL-like Programming
,
2007
.
[6]
Michael J. Butler,et al.
An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions
,
2004,
COORDINATION.
[7]
Jifeng He,et al.
A model for BPEL-like languages
,
2007,
Frontiers of Computer Science in China.