一种基于并发的BPEL控制流模型的分析及验证

摘要：

为了更好地对组合服务的控制流进行分析及验证，本文提出了一种基于并发的BPEL控制流模型．首先给出了该模型的定义，并通过把BPEL中选择结构的控制流转换为具有相同语义的并发结构控制流来实现对该模型结构的简化．在此基础上，给出了3个与并发模型密切相关的属性：无死锁性，意义完全性及无冲突性的定义，并分别讨论了这3个属性的验证方法及其意义． 最后，通过一个组合服务实例证明了该模型及验证方法的有用性．

关键词： web服务 服务组合 BPEL控制流模型

作者: 张功源 李必信 邱栋 吉顺慧

作者单位: 东南大学计算机科学与工程学院,南京,211189

会议类型: 国内会议

会议名称: 第六届中国测试学术会议

会议地点: 合肥

会议语种:中文

页码: 559-564

在线出版日期: 2010-07-24（万方平台首次上网日期，不代表论文的发表时间）