计算机科学 ›› 2021, Vol. 48 ›› Issue (12): 170-180.doi: 10.11896/jsjkx.201100157

• 计算机软件 • 上一篇    下一篇

基于分组公平控制流结构的流程变体合并方法

王吴松, 方欢, 郑雪文   

  1. 安徽理工大学数学与大数据学院 安徽 淮南232001
  • 收稿日期:2020-11-23 修回日期:2021-04-18 出版日期:2021-12-15 发布日期:2021-11-26
  • 通讯作者: 方欢(fanghuan0307@163.com)
  • 作者简介:2812374185@qq.com
  • 基金资助:
    国家自然科学基金(61572035,61902002);安徽省自然科学基金(1608085QF149);安徽省高校优秀青年人才基金(gxyqZD2018038);安徽省博士后基金(2018B288)

Process Variants Merging Method Based on Group-fair Control Flow Structure

WANG Wu-song, FANG Huan, ZHENG Xue-wen   

  1. College of Mathematics and Big Data,Anhui University of Science and Technology,Huainan,Anhui 232001,China
  • Received:2020-11-23 Revised:2021-04-18 Online:2021-12-15 Published:2021-11-26
  • About author:WANG Wu-song,born in 1995,postgraduate.His main research interests include process mining and analysis and management of process variants.
    FANG Huan,born in 1982,Ph.D,professor,is a member of China Computer Federation.Her main research interests include petri nets theory and applications,behavior profile,change mining and process mining.
  • Supported by:
    National Natural Science Foundation of China(61572035,61902002),Anhui Natural Science Fund(1608085QF149),Anhui University Excellent Young Talents Fund(gxyqZD2018038) and Anhui Post-doctoral Fund(2018B288).

摘要: 合并流程变体模型能够快速地构建满足新需求的单一流程模型,对流程变体进行合并具有较大的实际应用价值,因此,文中提出了一种利用分组公平控制流结构的流程变体合并方法。首先,利用Petri网中的分组公平将流程变体分割为单个的变体片段;其次,提取出变体片段的控制流路径,并在此基础上构建其矩阵表现形式,进而将流程变体合并为单一的流程模型;最后,通过形式化证明验证合并后的流程模型可以捕获输入流程模型的所有行为,并且可以检测在合并模型中是否产生了不期望的行为。

关键词: Petri网, 变体片段, 流程变体, 流程合并, 业务系统

Abstract: Merging process variants models can quickly construct a single process model to meet a new demand.The issue of how to merge the process variants models is of great practical value.Therefore,a process variants merging method using group-fair control flow structure is proposed.Firstly,process variants are segmented into individual variant using group-fairness in Petri nets.Then,the control flow paths of the variant fragments are extracted and their corresponding matrix representation are constructed,then the variants are merged into a single flow model.Finally,it is proved that the merged process model captures all the behaviors of the input process models,and it can detect the unexpected behaviors of the merged model compared to the former input models.

Key words: Business system, Petri nets, Process merging, Process variants, Variant fragment

中图分类号: 

  • TP301.1
[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
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!