Web服务组合语言的出错与补偿处理的pi演算编码  

Pi Calculus Encoding for Fault and Compensation Processing in the Web Services Composition Language

作　　者：高春鸣[1] 黄邵[1] 陈火旺[2] 

机构地区：[1]湖南师范大学数学与计算机科学学院,湖南长沙410081 [2]国防科技大学计算机学院,湖南长沙410073

出　　处：《计算机工程与科学》2007年第3期112-116,127,共6页Computer Engineering & Science

基　　金：湖南省重点科技攻关项目(05GK2002);湖南省自然科学基金资助项目(03JJY6023)

摘　　要：本文研究了Web服务组合语言BPEL4WS的出错与补偿处理的pi演算编码,目的是实现Web服务组合语言BPEL4WS自动验证过程。本文对pi演算进行扩充以编码BPEL4WS程序,给出了pi演算对BPEL活动的编码规则。在一个作用域的条件下,用pi演算的通信并发结构表示BPEL4WS规范的出错与补偿处理结构,采用传名机制分别处理程序化显式抛出故障与非程序化抛出故障的捕获,给出BPEL4WS的出错与补偿处理的pi演算编码,为系统地完成从Web服务组合语言BPEL4WS规范到扩展pi演算的编码奠定了基础。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.

关 键 词：BPEL4WS PI演算 出错与补偿处理 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]