-
题名应用Petri网改进BPEL程序的正确性
被引量：2
- 1
-
-
作者
余波
-
机构
国防科学技术大学计算机学院
中南林业科技大学涉外学院
-
出处
《计算机应用研究》
CSCD
北大核心
2011年第9期3348-3350,3367,共4页
-
基金
国家重点基础研究发展计划资助项目(2005CB321802)
湖南省教育厅高校教学改革资助项目(2010-428)
-
文摘
为了解决BPEL组合服务的正确性保证问题,提出一种基于Petri网改善组合服务的正确性的集成方法。提出将BPEL程序转换成由PNML表示的Petri网的规则,实现由BPEL程序转换成Petri网和基于Petri网导出变迁触发序列的算法,借助一个开源工具PIPE2可分析与评价组合服务的正确性、活性等属性,所导出的触发序列可生成BPEL程序的单元测试的测试序列。案例研究表明,此方法有助于保证BPEL程序的正确性。
-
关键词
组合WEB服务
可执行流程语言
PETRI网
变迁触发序列
-
Keywords
composite Web service
business process executable language
Petri net
transition fired sequence
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向代数规约测试谓词/变迁网
- 2
-
-
作者
余波
-
机构
中南林业科技大学涉外学院
国防科学技术大学计算机学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2011年第9期1804-1809,共6页
-
基金
国家"九七三"重点基础研究发展计划项目(2005CB321802)资助
湖南省教育厅高校教学改革项目(2010-495)资助
-
文摘
针对谓词/变迁网缺乏有效的形式化验证分析技术,基于代数规约测试谓词/变迁网方法,给出谓词/变迁网转换成代数规约语言CASOCC-WS表示的基调的规则,提出基于测试充分性准则深度优先遍历谓词/变迁网生成变迁触发序列的算法和由变迁触发序列构造公理等式的启发式规则.案例研究表明:该方法可以有效地解决测试Pr/T网时自动生成测试用例和自动判定测试结果和可行路径的问题.
-
关键词
代数规约
可行路径
谓词/变迁网
变迁触发序列
测试充分性准则
-
Keywords
algebraic specification
feasible path
predicate/transition net
transition fired sequence
test adequacy criterion
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
