%0 Journal Article
%T bpel应用程序验证模型研究
%J 计算机科学
%D 2009
%X 在web服务应用中，bpel是一种基于流程的描述业务行为的语言。为了验证以bpel构建的应用程序是否满足某些性质，提出了bvm模型来表达应用程序的语义，然后运用模型检测方法进行形式化验证。实验结果表明，以上方法在设计阶段能有效地发现并排除错误。
%K web服务组合bpel有限自动机形式化验证
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=30051041&flag=1