Pi Calculus Encoding for Fault and Compensation Processing in the Web Services Composition Language
Gao Chun-ming · Computer Engineering and Science · 2007
The paper puts forward a pi calculus encoding for fault and compensation processing in the Web Services Composition Language BPEL4WS in order to verify the BPEL4WS language automatically.Based on expanded pi calculus,we describe the encoding rules in order to encode the BPEL4WS orchestration and express the fault and compensation structure with the concurrent structure of communications.In the case of only one domain,we deal with observable fault throw and implicit fault throw respectively by the name-passing mechanism.The encoding for fault and compensation orchestration enables us to realize the foundation translation from the BPEL4WS specification to the expanded pi calculus systematically.