计算机科学 ›› 2009, Vol. 36 ›› Issue (4): 163-165.
• • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要: 在Web服务应用中,BPEL是一种基于流程的描述业务行为的语言。为了验证以BPEL构建的应用程序是否满足某些性质,提出了BVM模型来表达应用程序的语义,然后运用模型检测方法进行形式化验证。实验结果表明,以上方法在设计阶段能有效地发现并排除错误。
关键词: Web服务组合 BPEL 有限自动机 形式化验证
Abstract: Business Process Execution Language (BPEL) is a flow-based language for specifying business process behavior in Web service applications. In order to verify whether a given BPEL-based application conforms to some characteristics, this paper proposed the B
Key words: Web service composition,BPEL,Finite automaton,Formal verification
. BPEL应用程序验证模型研究[J]. 计算机科学, 2009, 36(4): 163-165. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2009/V36/I4/163
Cited