赵培海,王咪咪.基于三维行为关系图的模型一致性检测方法[J].计算机科学,2018,45(6):156-160, 165
基于三维行为关系图的模型一致性检测方法
Consistency Detction Method of Models Based on Three-dimensional Behavior Relation Graph
投稿时间:2018-01-06  修订日期:2018-04-20
DOI:10.11896/j.issn.1002-137X.2018.06.027
中文关键词:  Petri网,一致性测量,三维行为关系图,环,多重变迁集
英文关键词:Petri net,Consistency measure,Three-dimensional behavior relation graph,Loop,Transition multi-set
基金项目:本文受国家自然科学基金项目(61572035,3)资助
作者单位E-mail
赵培海 同济大学计算机科学与技术系 上海201804同济大学嵌入式系统与服务计算教育部重点实验室 上海200092  
王咪咪 同济大学计算机科学与技术系 上海201804同济大学嵌入式系统与服务计算教育部重点实验室 上海200092 wangmimi2013@hotmail.com 
摘要点击次数: 218
全文下载次数: 190
中文摘要:
      在业务流程模型的相似性分析过程中,有时会出现环结构。已有的方法一般不考虑环结构,忽略了环结构对模型一致性分析的影响。以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 me-thod is very effective.
查看全文  查看/发表评论  下载PDF阅读器