面向代数规约测试谓词/变迁网

针对谓词/变迁网缺乏有效的形式化验证分析技术,基于代数规约测试谓词/变迁网方法,给出谓词/变迁网转换成代数规约语言CASOCC-WS表示的基调的规则,提出基于测试充分性准则深度优先遍历谓词/变迁网生成变迁触发序列的算法和由变迁触发序列构造公理等式的启发式规则.案例研究表明:该方法可以有效地解决测试Pr/T网时自动生成测试用例和自动判定测试结果和可行路径的问题.  

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

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

基于触发序列集合的过程模型行为相似性算法

过程模型的相似性计算是业务过程管理中不可缺少的任务,广泛应用于组织合并、用户需求变更、模型仓库管理等多个场景.对基于主变迁序列的相似性度量方法 PTS进行研究,并提出了改进方案.通过定义完整触发序列表示模型行为,基于A*算法结合剪枝策略实现触发序列集合间的映射,进而完成模型相似性计算.实验结果表明:该方法较主流的基于模型行为相似性算法,计算合理性有很大提升.