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

• 作者: 陈火旺 高春鸣 黄邵
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: BPEL4WS pi演算 出错与补偿处理
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 研究与实现
• 页码范围: 112-116,127
• 页数: 6页
• 分类号: TP311
• 字数: 4032字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2007.03.036

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高春鸣	湖南师范大学数学与计算机科学学院	44	368	12.0	17.0
3	陈火旺	国防科技大学计算机学院	56	1155	18.0	33.0
6	黄邵	湖南师范大学数学与计算机科学学院	2	14	2.0	2.0