| BPEL应用程序验证模型研究 |
| |
| 引用本文： | 闻晓,张为群,杨阳,黄娟.BPEL应用程序验证模型研究[J].计算机科学,2009,36(4):163-165. |
| |
| 作者姓名： | 闻晓 张为群 杨阳 黄娟 |
| |
| 作者单位： | 西南大学计算机与信息科学学院,软件学院,重庆,400715 |
| |
| 基金项目： | 到重庆市自然科学基金重点项目 |
| |
| 摘 要： | 在Web服务应用中,BPEL是一种基于流程的描述业务行为的语言.为了验证以BPEL构建的应用程序是否满足某些性质.提出了BVM模型来表达应用程序的语义,然后运用模型检测方法进行形式化验证.实验结果表明,以上方法在设计阶段能有效地发现并排除错误.
|
| 关 键 词： | Web服务组合 有限自动机 形式化验证 |
| 收稿时间： | 2008/11/10 0:00:00 |
Verification Model for BPEL Application |
| |
| WEN Xiao,ZHANG Wei-qun,YANG Yang,HUANG Juan.Verification Model for BPEL Application[J].Computer Science,2009,36(4):163-165. |
| |
| Authors: | WEN Xiao ZHANG Wei-qun YANG Yang HUANG Juan |
| |
| Affiliation: | College of Computer and Information Science & College of Software;South West University;Chongqing 400715;China |
| |
| 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 BVM model to capture the semantic of the application.Then model checking methods were used to verify the system in a formalizing way.The experimental results show that the proposed method can detect and remove bugs effectively during design phase. |
| |
| Keywords: | BPEL |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
