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

• 作者: 余波
• 来源期刊: 计算机应用研究
• 关键词: 组合Web服务 可执行流程语言 Petri网 变迁触发序列
• 年，卷（期）: 2011,（9）
• 所属期刊栏目: 软件技术研究
• 页码范围: 3348-3350,3367
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2011.09.041

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	余波	国防科学技术大学计算机学院	28	83	6.0	8.0