计算机科学 ›› 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: Consistency measure, Loop, Petri net, Three-dimensional behavior relation graph, 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] 罗熊丰, 翟象平.
基于空间运动约束的无人机碰撞回避规划
Collision Avoidance Planning for Unmanned Aerial Vehicles Based on Spatial Motion Constraints
计算机科学, 2022, 49(9): 194-201. https://doi.org/10.11896/jsjkx.210700107
[2] 陈晶, 吴玲玲.
多源异构环境下的车联网大数据混合属性特征检测方法
Mixed Attribute Feature Detection Method of Internet of Vehicles Big Datain Multi-source Heterogeneous Environment
计算机科学, 2022, 49(8): 108-112. https://doi.org/10.11896/jsjkx.220300273
[3] 王坤姝, 张泽辉, 高铁杠.
基于Hachimoji DNA和QR分解的遥感图像可逆隐藏算法
Reversible Hidden Algorithm for Remote Sensing Images Based on Hachimoji DNA and QR Decomposition
计算机科学, 2022, 49(8): 127-135. https://doi.org/10.11896/jsjkx.210700216
[4] 金方焱, 王秀利.
融合RACNN和BiLSTM的金融领域事件隐式因果关系抽取
Implicit Causality Extraction of Financial Events Integrating RACNN and BiLSTM
计算机科学, 2022, 49(7): 179-186. https://doi.org/10.11896/jsjkx.210500190
[5] 吴功兴, 孙兆洋, 琚春华.
考虑中断风险与模糊定价的闭环供应链网络设计模型
Closed-loop Supply Chain Network Design Model Considering Interruption Risk and Fuzzy Pricing
计算机科学, 2022, 49(7): 220-225. https://doi.org/10.11896/jsjkx.201100084
[6] 彭双, 伍江江, 陈浩, 杜春, 李军.
基于注意力神经网络的对地观测卫星星上自主任务规划方法
Satellite Onboard Observation Task Planning Based on Attention Neural Network
计算机科学, 2022, 49(7): 242-247. https://doi.org/10.11896/jsjkx.210500093
[7] 吴苏洁, 周杰, 王学英, 吕智康, 邵根富.
降雨环境下毫米波MIMO信道特性研究
Study on Characteristics of Millimeter-wave MIMO Channel in Rainfall Environment
计算机科学, 2022, 49(7): 297-303. https://doi.org/10.11896/jsjkx.210600075
[8] 高文龙, 周天阳, 朱俊虎, 赵子恒.
基于双向蚁群算法的网络攻击路径发现方法
Network Attack Path Discovery Method Based on Bidirectional Ant Colony Algorithm
计算机科学, 2022, 49(6A): 516-522. https://doi.org/10.11896/jsjkx.210500072
[9] 黄华伟, 李春华.
一种基于热带半环的密钥建立协议的安全性分析
Security Analysis of A Key Exchange Protocol Based on Tropical Semi-ring
计算机科学, 2022, 49(6A): 571-574. https://doi.org/10.11896/jsjkx.210700046
[10] 王方红, 范兴刚, 杨静静, 周杰, 王德恩.
一种基于有向感知区域调整的强栅栏构建算法
Strong Barrier Construction Algorithm Based on Adjustment of Directional Sensing Area
计算机科学, 2022, 49(6A): 612-618. https://doi.org/10.11896/jsjkx.210300291
[11] 陆浩松, 胡勇华, 王书盈, 周新莲, 李慧祥.
向量DSP的混合资源启发式循环展开因子选择方法研究
Study on Hybrid Resource Heuristic Loop Unrolling Factor Selection Method Based on Vector DSP
计算机科学, 2022, 49(6A): 777-783. https://doi.org/10.11896/jsjkx.210400146
[12] 赵丹丹, 黄德根, 孟佳娜, 董宇, 张攀.
基于BERT-GRU-ATT模型的中文实体关系分类
Chinese Entity Relations Classification Based on BERT-GRU-ATT
计算机科学, 2022, 49(6): 319-325. https://doi.org/10.11896/jsjkx.210600123
[13] 喻昕, 林植良.
解决一类非光滑伪凸优化问题的新型神经网络
Novel Neural Network for Dealing with a Kind of Non-smooth Pseudoconvex Optimization Problems
计算机科学, 2022, 49(5): 227-234. https://doi.org/10.11896/jsjkx.210400179
[14] 秦小月, 黄汝维, 杨波.
基于素数幂次阶分圆环的NTRU型全同态加密方案
NTRU Type Fully Homomorphic Encryption Scheme over Prime Power Cyclotomic Rings
计算机科学, 2022, 49(5): 341-346. https://doi.org/10.11896/jsjkx.210300089
[15] 李晓东, 於志勇, 黄昉菀, 朱伟平, 涂淳钰, 郑伟楠.
面向河道环境监测的群智感知参与者选择策略
Participant Selection Strategies Based on Crowd Sensing for River Environmental Monitoring
计算机科学, 2022, 49(5): 371-379. https://doi.org/10.11896/jsjkx.210200005
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!