Modeling BPEL4WS Program with Pi Calculus and Case Study
Huang Shao · 2008
This paper expands the Pi calculus in order to address a formalized description of the BPEL4WS program.Moreover,it presents the grammar and manipulating semantic of expanding the Pi calculus and make use of the concurrent communication structure to represent the normative link structure of BPEL4WS.According to the analysis of the Dead-Path-Elimination(DPE) pattern of the BPEL4WS,a method which solves this problem of DPE by Pi calculus is proposed.Based on the above research,this paper systematically completes the mapping from Web service combination language BPEL4WS standard to the expanded Pi calculus and proposes several points of view that prove the properties of programs.At the end of this paper,a complete case is given to explain how to express BPEL4WS by the Pi calculation.