计算机科学 ›› 2021, Vol. 48 ›› Issue (12): 170-180.doi: 10.11896/jsjkx.201100157
王吴松, 方欢, 郑雪文
WANG Wu-song, FANG Huan, ZHENG Xue-wen
摘要: 合并流程变体模型能够快速地构建满足新需求的单一流程模型,对流程变体进行合并具有较大的实际应用价值,因此,文中提出了一种利用分组公平控制流结构的流程变体合并方法。首先,利用Petri网中的分组公平将流程变体分割为单个的变体片段;其次,提取出变体片段的控制流路径,并在此基础上构建其矩阵表现形式,进而将流程变体合并为单一的流程模型;最后,通过形式化证明验证合并后的流程模型可以捕获输入流程模型的所有行为,并且可以检测在合并模型中是否产生了不期望的行为。
中图分类号:
[1]UBA R,DUMAS M,GARCIABANUELOS L,et al.Clone detection in Repositories of Business Process Models[C]//International Conference on Business Process Management.Berlin:Springer,2011:248-264. [2]EKANAYAKE C C,DUMAS M,GARCIABANUELOS L, et al.Approximate clone detection in repositories of Business Process Models[C]//International Conference on Business Process Management.Berlin:Springer,2012:302-318. [3]SARNO R,GINARDI H,PAMUNGKAS E W,et al.Clustering of ERP business process fragments[C]//International Confe-rence on Computer Control Informatics and Its Applications,Jakarta,Indonesia,2013:319-324. [4]HUANG Y,HE K,FENG Z,et al.Business Process Consolidation Based on E-RPSTs[C]//2014 IEEE World Congress on Services.IEEE,2014:354-361. [5]ASSY N,DONGEN B F V,AALST W M P V D.Discovering Hierarchical Consolidated Models from Process Families[C]//International Conference on Advanced Information Systems Engineering.Springer,Cham,2017:314-329. [6]KUNCHALA J,YU J,YONGCHAREON S,et al.Towards merging collaborating processes for artifact lifecycle synthesis[C]//Australasian Computer Science Week Multiconference.ACM,2017:1-8. [7]DISSAUX P,HALL B.Merging and Processing Heterogeneous Models[C]//Proceeding of the 8th European Congress on Embedded Real Time Software and Systems(ERTS 2016).Toulouse,France,2016. [8]HACHEMI A,AHMED NACER M.Reusing Process Patterns in Software Process Models Modification[J].Journal of Software:Evolution and Process,2018,30(8):e1938. [9]BEUTEL M C,BOROZANOV V,GOKAY S,et al.Semi-automated Business Process Model Matching and Merging Conside-ring Advanced Modeling Constraints[C]//19th International Conference on Enterprise Information Systems.Porto,2017:324-331. [10]WU Z H.Petri Net Introduction[M].Beijing:Mechanical Industry Press,2006. [11]HAN J H,FANG H,LIU X P.Overview:Fairness in Petri Net,Analysis and Application[J].Journal of System Simulation,2012,24(3):521-535. [12]ZHOU Y,LE X B,KUANG Y C.Petri net union decomposition technology and its application[J].Computer Engineering & Science,2013,35(4):125-129. [13]XIA C L.Structural Analysis and Applications of Synthesis of Petri Nets Shared T-type Subnet[J].Computer Science,2007(3):240-245. [14]DU Y Y,LI X Z.Analysis on liveness and fairness of shared path composition nets[J].Journal of Chinese Computer Systems,2000(9):997-1000. [15]JIA G Y,WU Z H,ZHANG G S.Properties of Union Operation for Petri Nets[J].Journal of Shandong University of Science and Technology(Natural Science),2004(1):47-50. [16]XUE Y,LI C J.Composition Operations for Fuzzy Petri Nets[J].Journal of Hangzhou Dianzi University(Natural Sciences),2012,32(3):79-82. [17]STAINES A S.Matrix Representations for Ordinary Restricted Place Transition Nets[J].WSEAS Transactions on Computers Archive,2017(16):23-29. [18]STAINES A S,BARDIS N.Ordinary Petri Net Matrices[C]//Itm Web of Conferences.EDP Sciences,2019,24:02007. [19]WU Y F,TAN W A.Method for Calculating the Distance Between Process Models Based on the Correlation Matrix of Petri Net[J].Computer & Digital Engineering,2018,46(3):429-436. [20]KUNCHALA J,YU J,YONGCHAREON S,et al.An approach to merge collaborating processes of an inter-organizational business process for artifact lifecycle synthesis[J].Computing,2020,102(4):951-976. [21]ASSY N,CHAN N N,GAALOUL W.An Automated Approach for Assisting the Design of Configurable Process Models[J].IEEE Transactions on Services Computing,2015,8(6):874-888. |
[1] | 李清, 刘伟, 管梦真, 杜玉越, 孙红伟. 基于逻辑博弈决策Petri网的应急决策建模与分析 Modeling and Analysis of Emergency Decision Making Based on Logical Probability GamePetri Net 计算机科学, 2022, 49(4): 294-301. https://doi.org/10.11896/jsjkx.210300224 |
[2] | 陶小燕, 闫春钢, 刘关俊. 基于WFT-net验证合理性的动态数据精炼策略 Dynamic Data Refining Strategy for Soundness Verification Based on WFT-net 计算机科学, 2021, 48(7): 99-104. https://doi.org/10.11896/jsjkx.200700125 |
[3] | 赖祥威, 郑万波, 吴燕清, 夏云霓, 冉啟华, 董银环. 矿山事故应急救援数字预案的任务协同流程网络模型及时效分析 Task Collaborative Process Network Model and Time Analysis of Mine Accident Emergency Rescue Digital Plan 计算机科学, 2021, 48(6A): 596-602. https://doi.org/10.11896/jsjkx.200500041 |
[4] | 宁玉辉, 姚喜. 一种应急指挥系统的设计与实现 Design and Implementation of Emergency Command System 计算机科学, 2021, 48(6A): 613-618. https://doi.org/10.11896/jsjkx.201000136 |
[5] | 杨皓然, 方贤文. 基于概率和时间因素的Petri网业务流程一致性分析 Business Process Consistency Analysis of Petri Net Based on Probability and Time Factor 计算机科学, 2020, 47(5): 59-63. https://doi.org/10.11896/jsjkx.190500119 |
[6] | 李娟,方贤文,王丽丽,刘祥伟. 基于日志自动机的业务流程混沌活动过滤方法 Chaotic Activity Filter Method for Business Process Based on Log Automaton 计算机科学, 2020, 47(1): 66-71. https://doi.org/10.11896/jsjkx.181102110 |
[7] | 孙书亚, 方欢, 方贤文. 日志诱导下的形态学片段流程聚类方法 Log-induced Morphological Fragments Process Clustering Method 计算机科学, 2019, 46(8): 71-77. https://doi.org/10.11896/j.issn.1002-137X.2019.08.011 |
[8] | 宋健,方贤文,王丽丽. 基于流程切的过程模型挖掘方法 Process Model Mining Method Based on Process Cut 计算机科学, 2019, 46(7): 315-321. https://doi.org/10.11896/j.issn.1002-137X.2019.07.048 |
[9] | 苏庆,林昊,黄剑锋,何凡,林志毅. 基于Petri网编码的动态图水印技术研究 Study on Dynamic-graph Watermarking Based on Petri Net Coding 计算机科学, 2019, 46(7): 120-125. https://doi.org/10.11896/j.issn.1002-137X.2019.07.019 |
[10] | 宋健, 方贤文, 王丽丽, 刘祥伟. 基于行为轮廓的业务流程隐变迁挖掘方法 Method of Mining Hidden Transition of Business Process Based on Behavior Profiles 计算机科学, 2019, 46(12): 334-340. https://doi.org/10.11896/jsjkx.180901654 |
[11] | 曹蕊, 方贤文, 王丽丽. 基于通讯行为轮廓挖掘条件非频繁行为的方法 Method of Mining Conditional Infrequent Behavior Based on Communication Behavior Profile 计算机科学, 2018, 45(8): 310-314. https://doi.org/10.11896/j.issn.1002-137X.2018.08.056 |
[12] | 何路路, 方欢. 带数据流的面向服务的业务流程模型变化传播Petri网方法 Change Propagation Method of Service-oriented Business Process Model with Data Flows Based on Petri Net 计算机科学, 2018, 45(6A): 545-548. |
[13] | 赵培海, 王咪咪. 基于三维行为关系图的模型一致性检测方法 Consistency Detction Method of Models Based on Three-dimensional Behavior Relation Graph 计算机科学, 2018, 45(6): 156-160. https://doi.org/10.11896/j.issn.1002-137X.2018.06.027 |
[14] | 高雅楠,方贤文,王丽丽. 基于Petri网行为紧密度的业务流程配置优化分析 Optimized Analysis of Business Process Configuration Based on Petri Net Behavior Closeness 计算机科学, 2017, 44(Z6): 539-542. https://doi.org/10.11896/j.issn.1002-137X.2017.6A.120 |
[15] | 周杰,李文敬. 基于三层混合编程模型的Petri网并行算法研究 Research on Parallel Algorithm of Petri Net Based on Three-layer Mixed Programming Model 计算机科学, 2017, 44(Z11): 586-591. https://doi.org/10.11896/j.issn.1002-137X.2017.11A.126 |
|