|
|||||
|
|
| Web服务组合语言的出错与补偿处理的pi演算编码 | |
| 引用本文： | 高春鸣,黄邵,陈火旺.Web服务组合语言的出错与补偿处理的pi演算编码[J].计算机工程与科学,2007,29(3):112-116. |
| 作者姓名： | 高春鸣 黄邵 陈火旺 |
| 作者单位： | 1. 湖南师范大学数学与计算机科学学院,湖南,长沙,410081;国防科技大学计算机学院,湖南,长沙,410073 2. 湖南师范大学数学与计算机科学学院,湖南,长沙,410081 3. 国防科技大学计算机学院,湖南,长沙,410073 |
| 基金项目： | 湖南省科技攻关项目 , 湖南省自然科学基金 |
| 摘 要： | 本文研究了Web服务组合语言BPEL4WS的出错与补偿处理的pi演算编码,目的是实现Web服务组合语言BPEL4WS自动验证过程。本文对pi演算进行扩充以编码BPEL4WS程序,给出了pi演算对BPEL活动的编码规则。在一个作用域的条件下,用pi演算的通信并发结构表示BPEL4WS规范的出错与补偿处理结构,采用传名机制分别处理程序化显式抛出故障与非程序序化抛出故障的捕获,给出BPEL4WS的出错与补偿处理的pi演算编码,为系统地完成从Web服务组合语言BPEL4WS规范到扩展pi演算的编码奠定了基础。 |
| 关 键 词： | BPEL4WS pi演算 出错与补偿处理 |
| 文章编号： | 1007-130X（2007）003-0112-05 |
| 收稿时间： | 2005-12-05 |
| 修稿时间： | 2006-03-23 |
Pi Calculus Encoding for Fault and Compensation Processing in the Web Services Composition Language |
|
| GAO Chun-ming,HUANG Shao,CHEN Huo-wang.Pi Calculus Encoding for Fault and Compensation Processing in the Web Services Composition Language[J].Computer Engineering & Science,2007,29(3):112-116. | |
| Authors: | GAO Chun-ming HUANG Shao CHEN Huo-wang |
| Abstract: | 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. |
| Keywords: | BPEL4WS pi calculus fault and compensation orchestration |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 | |
| 点击此处可从《计算机工程与科学》下载全文 | |