基于三维行为关系图的模型一致性检测方法  

Consistency Detction Method of Models Based on Three-dimensional Behavior Relation Graph

作　　者：赵培海 王咪咪[2] ZHAO Pei-hai;WANG Mi-mi(Department of Computer Science and Technology,Tongji Universit;The Key Laboratory of Embedded System and Service Computing,Ministry of Education,Tongji Universit)

机构地区：[1]同济大学计算机科学与技术系,上海201804 [2]同济大学嵌入式系统与服务计算教育部重点实验室,上海200092

出　　处：《计算机科学》2018年第6期156-160,165,共6页Computer Science

基　　金：国家自然科学基金项目(61572035;61272153)资助

摘　　要：在业务流程模型的相似性分析过程中,有时会出现环结构。已有的方法一般不考虑环结构,忽略了环结构对模型一致性分析的影响。以Petri网的多重变迁集为基础,提出一种新的一致性度测量方法。首先通过分析5种行为序列关系来刻画Petri网的变迁之间的相互关系,给出了三维行为关系图的概念;然后对Petri网的三维行为关系图间的关系进行研究,提出了基于Petri网的三维行为关系图的一致性检测方法。理论分析和实例测试均表明了该方法的有效性。In the similarity analysis process of business process models,sometimes there may be loop structure in the business process model.Existing methods do not consider the loop structure,and ignore the influence of loop on consistency.A behavior consistency measure method was proposed based on transition multi-sets of Petri nets.Firstly,this paper analyzed five kinds of behavior relations of transitions,and proposed a three-dimensional behavior relation graph based on Petri net branching processes to compare the behavior relations between two models.Secondly,by analyzing the relations between two three-dimensional behavior relation graphs,this paper proposed a consistency measure method based on three-dimensional behavior relation graphs.The theoretical analysis and specific examples show that the method is very effective.

关 键 词：PETRI网 一致性测量 三维行为关系图 环 多重变迁集 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]