一种Web服务特征交互自动检测方法

摘要：

模型检测技术可有效验证Web服务组合的异常情况,如特征交互问题等,但是目前验证过程的自动化程度比较低.为了提高验证的自动化程度,需要将BPEL转化为模型检测工具的输入语言.在分析BPEL语言控制流程的基础上,提出BPEL活动执行的形式化模型,给出活动执行语义,进而分别提出将BPEL流程自动转换为七元组集合以及将这些七元组转化为MCTK(一种我们开发的符号化模型检测工具)输入语言的算法,这些七元组包含了智能体执行过程中有关状态变化的有效信息.实验表明,提出的算法可以有效验证Web服务中的特征交互问题,而且支持认知逻辑规范的验证.

关键词：模型检测、Web服务组合、特征交互、BPEL

所属期刊栏目：37

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60763004;中国博士后科学基金20090450389;广西科学基金桂科自0991242;广西青年科学基金桂科青0728090;广西研究生教育创新计划项目2008105950812M424

在线出版日期：2011-03-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：106-109,119