应用Petri网改进BPEL程序的正确性  

Improving correctness of BPEL program with Petri net

作　　者：余波[1,2] 

机构地区：[1]国防科学技术大学计算机学院,长沙410073 [2]中南林业科技大学涉外学院,长沙410042

出　　处：《计算机应用研究》2011年第9期3348-3350,3367,共4页Application Research of Computers

基　　金：国家重点基础研究发展计划资助项目(2005CB321802);湖南省教育厅高校教学改革资助项目(2010-428)

摘　　要：为了解决BPEL组合服务的正确性保证问题,提出一种基于Petri网改善组合服务的正确性的集成方法。提出将BPEL程序转换成由PNML表示的Petri网的规则,实现由BPEL程序转换成Petri网和基于Petri网导出变迁触发序列的算法,借助一个开源工具PIPE2可分析与评价组合服务的正确性、活性等属性,所导出的触发序列可生成BPEL程序的单元测试的测试序列。案例研究表明,此方法有助于保证BPEL程序的正确性。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.

关 键 词：组合WEB服务 可执行流程语言 PETRI网 变迁触发序列 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]