论文研究应用Petri网改进BPEL程序的正确性.pdf

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