计算机科学 ›› 2018, Vol. 45 ›› Issue (6): 156-160.doi: 10.11896/j.issn.1002-137X.2018.06.027

• 软件与数据库技术 • 上一篇    下一篇

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

赵培海, 王咪咪   

  1. 同济大学计算机科学与技术系 上海201804;
    同济大学嵌入式系统与服务计算教育部重点实验室 上海200092
  • 收稿日期:2018-01-06 出版日期:2018-06-15 发布日期:2018-07-24
  • 作者简介:赵培海(1989-),男,博士,CCF会员,主要研究方向为软件行为分析、可信服务、Petri网、数据挖掘;王咪咪(1985-),女,博士生,CCF会员,主要研究方向为Petri网、可信软件、模型检测、电子商务行为安全,E-mail:wangmimi2013@hotmail.com(通信作者)
  • 基金资助:
    本文受国家自然科学基金项目(61572035,61272153)资助

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

ZHAO Pei-hai, WANG Mi-mi   

  1. Department of Computer Science and Technology,Tongji University,Shanghai 201804,China;
    The Key Laboratory of Embedded System and Service Computing,Ministry of Education,Tongji University,Shanghai 200092,China
  • Received:2018-01-06 Online:2018-06-15 Published:2018-07-24

摘要: 在业务流程模型的相似性分析过程中,有时会出现环结构。已有的方法一般不考虑环结构,忽略了环结构对模型一致性分析的影响。以Petri网的多重变迁集为基础,提出一种新的一致性度测量方法。首先通过分析5种行为序列关系来刻画Petri网的变迁之间的相互关系,给出了三维行为关系图的概念;然后对Petri网的三维行为关系图间的关系进行研究,提出了基于Petri网的三维行为关系图的一致性检测方法。理论分析和实例测试均表明了该方法的有效性。

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

Abstract: 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.

Key words: Petri net, Consistency measure, Three-dimensional behavior relation graph, Loop, Transition multi-set

中图分类号: 

  • TP391.9
[1]MURATA T.Petri nets:Properties,analysis and applications[J].Proceedings of the IEEE,1989,77(4):541-580.
[2]WANG M,LIU G,JIANG C,et al.Computation of Secure Consistency for Real Systems[C]//International Conference on Security,Privacy and Anonymity in Computation,Communication and Storage.Springer,Cham,2016:84-97.
[3]LIU X,FANG X,WANG M,et al.The Behavior Trustworthiness Analysis Methods of Composite Web Services Based on Process Mining [J].Applied Mathematics and Information Sciences,2013,7(5):1985-1992.
[4]FANG X,WANG M,YIN Z.Behavior Consistency Analysis Based on the Behavior Profile about Transition Multi-Set of Petri Net [J].Przeglad Elektrotechniczny(Electrical Review),2013,89(1b):171-173.
[5]DIJKMAN R,DUMAS M,VAN DONGEN B,et al.Similarity of business process models:Metrics and evaluation [J].Information Systems,2011,36(2):498-516.
[6]WALSHE B.Identifying complex semantic matches[M]//The Semantic Web:Research and Applications.Springer,Berlin:Heidelberg,2012:849-853.
[7]SCHÖNBERGER A,WIRTZ G.Taxonomy on Consistency Requirements in the Business Process Integration Context[C]//Proceedings of 2008 Conference on Software Engineering and Knowledge Engineering(SEKE’2008).2008:593-598.
[8]ROZINAT A,VAN DER AALST W M P.Conformance checking of processes based on monitoring real behavior [J].Information Systems,2008,33(1):64-95.
[9]TINI S,LARSEN K G,GEBLER D.Compositional bisimulation metric reasoning with probabilistic process calculi[J].Logical Methods in Computer Science,2017,12(4):1-38.
[10]POLYVYANYY A,WEIDLICH M,CONFORTI R,et al.The 4C spectrum of fundamental behavioral relations for concurrent systems[C]//International Conference on Applications and Theory of Petri Nets and Concurrency.Springer,Cham,2014:210-232.
[11]ARMAS-CERVANTES A,BALDAN P,DUMAS M,et al. Diagnosing behavioral differences between business process mo-dels:An approach based on event structures [J].Information Systems,2016,56(C):304-325.
[12]WEIDLICH M,MENDLING J.Perceived consistency between process models [J].Information Systems,2012,37(2):80-98.
[13]WEIDLICH M,MENDLING J,WESKE M.Efficient consistency measurement based on behavioral profiles of process models [J].IEEE Transactions on Software Engineering,2011,37(3):410-429.
[14]ARMAS-CERVANTES A,DUMAS M,GARCíA-BAÑUELOS L,et al.On the suitability of generalized behavioral profiles for process model comparison [M]//Web Services,Formal Me-thods,and Behavioral Types.Springer,Cham,2014:13-28.
[15]POLYVYANYY A,ARMAS-CERVANTES A,DUMAS M, et al.On the expressive power of behavioral profiles[J].Formal Aspects of Computing,2016,28(4):597-613.
[16]ENGELFRIET J.Branching processes of Petri nets [J].Acta Informatica,1991,28(6):575-591.
[17]COUVREUR J M,POITRENAUD D,WEIL P.Branching processes of general Petri nets[J].Fundamenta Informaticae,2013,122(1/2):31-58.
[1] 刘文洋, 郭延哺, 李维华. 识别关键蛋白质的混合深度学习模型[J]. 计算机科学, 2021, 48(8): 240-245.
[2] 张杰, 岳韶华, 王刚, 刘家义, 姚小强. 基于Stackelberg与边拉普拉斯矩阵的多智能体系统[J]. 计算机科学, 2021, 48(8): 253-262.
[3] 陶小燕, 闫春钢, 刘关俊. 基于WFT-net验证合理性的动态数据精炼策略[J]. 计算机科学, 2021, 48(7): 99-104.
[4] 赵潇, 李仕林, 李凡, 余正涛, 张林华, 杨勇. 局部细粒度信息引导的双循环一致性绝缘子缺陷样本生成[J]. 计算机科学, 2021, 48(6A): 581-586.
[5] 赖祥威, 郑万波, 吴燕清, 夏云霓, 冉啟华, 董银环. 矿山事故应急救援数字预案的任务协同流程网络模型及时效分析[J]. 计算机科学, 2021, 48(6A): 596-602.
[6] 宁玉辉, 姚喜. 一种应急指挥系统的设计与实现[J]. 计算机科学, 2021, 48(6A): 613-618.
[7] 傅天豪, 田鸿运, 金煜阳, 杨章, 翟季冬, 武林平, 徐小文. 一种面向构件化并行应用程序的性能骨架分析方法[J]. 计算机科学, 2021, 48(6): 1-9.
[8] 曾友渝, 谢强. 基于改进RNN和VAR的船舶设备故障预测方法[J]. 计算机科学, 2021, 48(6): 184-189.
[9] 钱心缘, 吴文渊. 基于R-SIS和R-LWE构建的IBE加密方案[J]. 计算机科学, 2021, 48(6): 315-323.
[10] 尹久, 池凯凯, 宦若虹. 基于ATT-DGRU的文本方面级别情感分析[J]. 计算机科学, 2021, 48(5): 217-224.
[11] 王习, 张凯, 李军辉, 孔芳, 张熠天. 联合自注意力和循环网络的图像标题生成[J]. 计算机科学, 2021, 48(4): 157-163.
[12] 陈千, 车苗苗, 郭鑫, 王素格. 一种循环卷积注意力模型的文本情感分类方法[J]. 计算机科学, 2021, 48(2): 245-249.
[13] 杜婉茹, 王潇茵, 田涛, 张越. 面向未知环境及动态障碍的人工势场路径规划算法[J]. 计算机科学, 2021, 48(2): 250-256.
[14] 吕明琪, 洪照雄, 陈铁明. 一种融合时空关联与社会事件的交通流预测方法[J]. 计算机科学, 2021, 48(2): 264-270.
[15] 蔡凌峰, 魏祥麟, 邢长友, 邹霞, 张国敏. 故障场景下的边缘计算DAG任务重调度方法[J]. 计算机科学, 2021, 48(10): 334-342.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] 编辑部. 新网站开通,欢迎大家订阅![J]. 计算机科学, 2018, 1(1): 1 .
[2] 雷丽晖,王静. 可能性测度下的LTL模型检测并行化研究[J]. 计算机科学, 2018, 45(4): 71 -75 .
[3] 孙启,金燕,何琨,徐凌轩. 用于求解混合车辆路径问题的混合进化算法[J]. 计算机科学, 2018, 45(4): 76 -82 .
[4] 张佳男,肖鸣宇. 带权混合支配问题的近似算法研究[J]. 计算机科学, 2018, 45(4): 83 -88 .
[5] 伍建辉,黄中祥,李武,吴健辉,彭鑫,张生. 城市道路建设时序决策的鲁棒优化[J]. 计算机科学, 2018, 45(4): 89 -93 .
[6] 史雯隽,武继刚,罗裕春. 针对移动云计算任务迁移的快速高效调度算法[J]. 计算机科学, 2018, 45(4): 94 -99 .
[7] 周燕萍,业巧林. 基于L1-范数距离的最小二乘对支持向量机[J]. 计算机科学, 2018, 45(4): 100 -105 .
[8] 刘博艺,唐湘滟,程杰仁. 基于多生长时期模板匹配的玉米螟识别方法[J]. 计算机科学, 2018, 45(4): 106 -111 .
[9] 耿海军,施新刚,王之梁,尹霞,尹少平. 基于有向无环图的互联网域内节能路由算法[J]. 计算机科学, 2018, 45(4): 112 -116 .
[10] 崔琼,李建华,王宏,南明莉. 基于节点修复的网络化指挥信息系统弹性分析模型[J]. 计算机科学, 2018, 45(4): 117 -121 .