文件名称：论文研究-应用Petri网改进BPEL程序的正确性.pdf
文件大小：425KB
文件格式：PDF
更新时间：2022-08-11 12:23:31
组合Web服务,可执行流程语言,Petri网,变迁触发序列
为了解决BPEL组合服务的正确性保证问题，提出一种基于Petri 网改善组合服务的正确性的集成方法。提出将BPEL程序转换成由PNML表示的Petri网的规则，实现由BPEL程序转换成Petri网和基于Petri网导出变迁触发序列的算法，借助一个开源工具PIPE2可分析与评价组合服务的正确性、活性等属性，所导出的触发序列可生成BPEL程序的单元测试的测试序列。案例研究表明，此方法有助于保证BPEL程序的正确性。