关键词: BPEL4WS pi演算 出错与补偿处理

Abstract:

The paper puts forward a pi calculus encoding for fault and compensation processing in the Web Services Composition Language BPEL4WS in order to verif y 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 thr ow and implicit fault throw respectively by the name-passing mechanism.The encoding for fault and compensation orchestration enables us to realize the f    oundation translation from the BPEL4WS specification to the expanded pi calculus systematically.

Key words: BPEL4WS;pi calculus;fault and compensation orchestration