Computer Science

Computer Science ›› 2021, Vol. 48 ›› Issue (12): 170-180.doi: 10.11896/jsjkx.201100157

• Computer Software • Previous Articles     Next Articles

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).

PDF (PC)

710

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

CLC Number: 

  • 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] LI Qing, LIU Wei, GUAN Meng-zhen, DU Yu-yue, SUN Hong-wei. Modeling and Analysis of Emergency Decision Making Based on Logical Probability GamePetri Net [J]. Computer Science, 2022, 49(4): 294-301.
[2] HE Lu-lu, FANG Huan. Change Propagation Method of Service-oriented Business Process Model with Data Flows Based on Petri Net [J]. Computer Science, 2018, 45(6A): 545-548.
[3] GAO Ya-nan, FANG Xian-wen and WANG Li-li. Optimized Analysis of Business Process Configuration Based on Petri Net Behavior Closeness [J]. Computer Science, 2017, 44(Z6): 539-542.
[4] LIN Lei-lei, ZHOU Hua, DAI Fei, HE Zhen-li, SHEN Yong and KANG Hong-wei. Method of Software Architecture Refinement Based on Algebraic Semantics [J]. Computer Science, 2017, 44(7): 141-146.
[5] PAN Li and YANG Bo. Stochastic Simulation of Time Petri Nets [J]. Computer Science, 2016, 43(11): 126-129.
[6] FANG Huan, WANG Su-cheng, FANG Xian-wen and WANG Li-li. Study of Events Collaborative Control Method Based on Petri Nets [J]. Computer Science, 2016, 43(11): 107-110.
[7] WAN Jun and ZHAO Bu-hui. Modeling and Scheduling of Virtual Enterprises Based on Petri Nets [J]. Computer Science, 2016, 43(11): 102-106.
[8] ZHANG Xin-ju and YAO Shu-zhen. Multi-state System Reliability Analysis Based on Fuzzy-colored Petri Nets [J]. Computer Science, 2016, 43(11): 77-82.
[9] PENG Ying, YAO Shu-zhen and TAN Huo-bin. Safety Analysis Method Based on Stochastic Time Petri Nets [J]. Computer Science, 2016, 43(11): 61-65.
[10] HU Xiang, JIAO Li and CHAI Ye-sheng. Transforming UML to GSPN for Performance Analysis [J]. Computer Science, 2016, 43(11): 49-54.
[11] LI Zong-hua, ZHOU Xiao-feng, WU Ke-li and CHEN Fu-bing. BPMN Formalization Based on Extended Petri Nets Model [J]. Computer Science, 2016, 43(11): 40-48.
[12] LEI Yi-wei BEN Ke-rong. Research on Compensating Transaction Based Business Processes Exception Handling Model [J]. Computer Science, 2015, 42(7): 91-94.
[13] LIU Jun-qiang, ZUO Hong-fu and PENG Zhi-yong. Modeling and Analysis of Improved Stochastic Petri Net Based on Delay Characteristics [J]. Computer Science, 2015, 42(3): 174-177.
[14] ZHAI Zheng-li and DING Zhi-jun. Schedulability Analysis of Time Petri Net and its Application in FMS [J]. Computer Science, 2015, 42(1): 12-18.
[15] ZHOU Kuan-jiu,CHANG Jun-wang,HOU Gang,REN Long-tao and WANG Xiao-long. Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets [J]. Computer Science, 2014, 41(9): 205-209.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
渝ICP备16013121号-4
Add:18# Honghu West Rd., Yubei ,Chongqing,China    Post Code: 401121
Tel: 023-63500828/023-67039612/023-67039623
E-mail: jsjkx12@163.com
Powered by Beijing Magtech Co., Ltd.