bpel应用程序验证模型研究

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