基于网进程的模型一致性分析方法-计算机科学.PDF

第 43 卷第11 期 计算机科学 Vo 1. 43 No. 11 2016 年 11 月 Computer Science Nov 2016 基于网进程的模型一致性分析方法 赵培海1 ， 2 王咪咪1 ， 2 方贤文3 (同济大学电子与信息工程学院计算机科学与技术系 上海 201804)1 (同济大学嵌入式系统与服务计算教育部重点实验室 上海 200092)2 (安徽理工大学信息与计算机科学系 淮南 232001) 3 摘 要 在业务流程模型相似性分析过程中，有时会出现环结构，ρ、而导致内部行为关系一致但网的进程不一致的情 况。已有的方法大多不考虑坏结构，忽略了环结构对模型一致性分析的影响。以行为轮廓序关系为基础，研究各个进 程间的内部行为关系，并刻画 Petri 网的进程段之间的相互关系，给出了进程视图的概念;通过对 Petri 网的进程段外 部间的关系进行研究，提出了基于 Petri 网的进程视图的一致性分析方法，以一致的进程视图与整个进程的比值作为 两个模型的一致性度。理论和实例分析表明了该方法的有效性。 关键词 Petri 网，环结构，行为轮廓，一致性度，进程视图 中圄法分类号 TP39 1. 9 文献标识码 A DOI 10, 11896/j, issn. 1002-137X. 2016 , 11. 047 Consistency Analysis Method of Models ßased on Net Process 1 1 3 ZHAO Pei-hai ,2 WANG Mi-mi ,2 FANG Xian-wen (Ðepartment of Computer Science and Technology ,College of Electronics and Information Engineering ,Tongji University ,Shanghai 201804 ,China)1 (The Key Laboratory of Embedded System and Service Computing ,Ministry of Education ,Tongji University ,Shanghai 200092 ,China) 2 (Ðepartment of Information and Computing Science ,Anhui University of Science and Technology ,Huainan 232001 ,China) 3 Abstract In the similarity analysis process of business process models , sometimes there may be loop structure in the business process model ,which leads the situation that intemal behavior relation is consistent but extemal process of net is not. The existing methods mostly don t consider the loop structure ,and ignore the influence of loop structure on co