BPEL应用程序验证模型研究

摘要

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