| 应用Petri网改进BPEL程序的正确性* |
| |
| 引用本文： | 余波.应用Petri网改进BPEL程序的正确性*[J].计算机应用研究,2011,28(9):3348-3350. |
| |
| 作者姓名： | 余波 |
| |
| 作者单位： | 国防科学技术大学计算机学院,长沙 410073;中南林业科技大学涉外学院,长沙 410042 |
| |
| 基金项目： | 国家重点基础研究发展计划资助项目(2005CB321802)；湖南省教育厅高校教学改革资助项目（2010-428） |
| |
| 摘 要： | 为了解决BPEL组合服务的正确性保证问题，提出一种基于Petri 网改善组合服务的正确性的集成方法。提出将BPEL程序转换成由PNML表示的Petri网的规则，实现由BPEL程序转换成Petri网和基于Petri网导出变迁触发序列的算法，借助一个开源工具PIPE2可分析与评价组合服务的正确性、活性等属性，所导出的触发序列可生成BPEL程序的单元测试的测试序列。案例研究表明，此方法有助于保证BPEL程序的正确性。
|
| 关 键 词： | 组合Web服务 可执行流程语言 Petri网 变迁触发序列 |
Improving correctness of BPEL program with Petri net |
| |
| YU Bo.Improving correctness of BPEL program with Petri net[J].Application Research of Computers,2011,28(9):3348-3350. |
| |
| Authors: | YU Bo |
| |
| Affiliation: | (1. College of Computer Science & Technology, National University of Defense Technology, Changsha 410073, China; 2. College of Swan,Central South University of Forestry & Technology, Changsha 410042, China) |
| |
| Abstract: | To solve the problem of correctness of composite Web service defined by the BPEL, this paper presented an integrated method for improving the correctness of composite Web service defined by BPEL against Petri net. The rules were firstly presented for translating the composite Web service defined by BPEL into a Petri net described by PNML. Then, the algorithms for deriving Petri net presented by PNML from BPEL program and generating transition fired sequences from Petri net were presented. With an open source tool PIPE2, the correctness, liveness and other properties of BPEL program could be ve-rified and analyzed. Generated the test sequence for testing BPEL program from the fired sequences. The case study shows that the presented method is feasible to improve the correctness of BPEL program. |
| |
| Keywords: | composite Web service business process executable language Petri net transition fired sequence |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
