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

编号 zgly0000743766

文献类型 期刊论文

文献题名 应用Petri网改进BPEL程序的正确性

作者 余波 

作者单位 国防科学技术大学计算机学院  中南林业科技大学涉外学院 

母体文献 计算机应用研究 

年卷期 2011,28(9)

页码 3348-3350,3367

年份 2011 

分类号 TP311 

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

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