BPEL应用程序验证模型研究

摘要：

在Web服务应用中,BPEL是一种基于流程的描述业务行为的语言.为了验证以BPEL构建的应用程序是否满足某些性质.提出了BVM模型来表达应用程序的语义,然后运用模型检测方法进行形式化验证.实验结果表明,以上方法在设计阶段能有效地发现并排除错误.

关键词：Web服务组合、BPEL、有限自动机、形式化验证

所属期刊栏目：36

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

资助基金：重庆市自然科学基金重点项目"软件测试技术和方法研究"CSTC,2006BA2003支持

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

页数：共3页

页码：163-165