10.3969/j.issn.1001-3695.2011.09.041
应用Petri网改进BPEL程序的正确性
为了解决BPEL组合服务的正确性保证问题,提出一种基于Petri网改善组合服务的正确性的集成方法.提出将BPEL程序转换成由PNML表示的Petri网的规则,实现由BPEL程序转换成Petri网和基于Petri网导出变迁触发序列的算法,借助一个开源工具PIPE2可分析与评价组合服务的正确性、活性等属性,所导出的触发序列可生成BPEL程序的单元测试的测试序列.案例研究表明,此方法有助于保证BPEL程序的正确性.
组合Web服务、可执行流程语言、Petri网、变迁触发序列
28
TP311(计算技术、计算机技术)
国家重点基础研究发展计划资助项目2005CB321802;湖南省教育厅高校教学改革资助项目2010-428
2012-01-14(万方平台首次上网日期,不代表论文的发表时间)
共4页
3348-3350,3367