计算机科学 ›› 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: Process variants, Variant fragment, Process merging, Petri nets, Business system

中图分类号: 

  • 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] 陶小燕, 闫春钢, 刘关俊. 基于WFT-net验证合理性的动态数据精炼策略[J]. 计算机科学, 2021, 48(7): 99-104.
[2] 赖祥威, 郑万波, 吴燕清, 夏云霓, 冉啟华, 董银环. 矿山事故应急救援数字预案的任务协同流程网络模型及时效分析[J]. 计算机科学, 2021, 48(6A): 596-602.
[3] 宁玉辉, 姚喜. 一种应急指挥系统的设计与实现[J]. 计算机科学, 2021, 48(6A): 613-618.
[4] 杨皓然, 方贤文. 基于概率和时间因素的Petri网业务流程一致性分析[J]. 计算机科学, 2020, 47(5): 59-63.
[5] 李娟,方贤文,王丽丽,刘祥伟. 基于日志自动机的业务流程混沌活动过滤方法[J]. 计算机科学, 2020, 47(1): 66-71.
[6] 孙书亚, 方欢, 方贤文. 日志诱导下的形态学片段流程聚类方法[J]. 计算机科学, 2019, 46(8): 71-77.
[7] 苏庆,林昊,黄剑锋,何凡,林志毅. 基于Petri网编码的动态图水印技术研究[J]. 计算机科学, 2019, 46(7): 120-125.
[8] 宋健,方贤文,王丽丽. 基于流程切的过程模型挖掘方法[J]. 计算机科学, 2019, 46(7): 315-321.
[9] 宋健, 方贤文, 王丽丽, 刘祥伟. 基于行为轮廓的业务流程隐变迁挖掘方法[J]. 计算机科学, 2019, 46(12): 334-340.
[10] 曹蕊, 方贤文, 王丽丽. 基于通讯行为轮廓挖掘条件非频繁行为的方法[J]. 计算机科学, 2018, 45(8): 310-314.
[11] 何路路, 方欢. 带数据流的面向服务的业务流程模型变化传播Petri网方法[J]. 计算机科学, 2018, 45(6A): 545-548.
[12] 赵培海, 王咪咪. 基于三维行为关系图的模型一致性检测方法[J]. 计算机科学, 2018, 45(6): 156-160.
[13] 高雅楠,方贤文,王丽丽. 基于Petri网行为紧密度的业务流程配置优化分析[J]. 计算机科学, 2017, 44(Z6): 539-542.
[14] 周杰,李文敬. 基于三层混合编程模型的Petri网并行算法研究[J]. 计算机科学, 2017, 44(Z11): 586-591.
[15] 林雷蕾,周华,代飞,何臻力,沈勇,康洪炜. 一种基于代数语义的软件体系结构求精方法[J]. 计算机科学, 2017, 44(7): 141-146.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] 冯安琪, 钱丽萍, 黄玉蘋, 吴远. RFID环境下基于自适应卡尔曼滤波的高速移动车辆速度预测[J]. 计算机科学, 2019, 46(4): 100 -105 .
[2] 潘孝勤, 芦天亮, 杜彦辉, 仝鑫. 基于深度学习的语音合成与转换技术综述[J]. 计算机科学, 2021, 48(8): 200 -208 .
[3] 王俊, 王修来, 庞威, 赵鸿飞. 面向科技前瞻预测的大数据治理研究[J]. 计算机科学, 2021, 48(9): 36 -42 .
[4] 余力, 杜启翰, 岳博妍, 向君瑶, 徐冠宇, 冷友方. 基于强化学习的推荐研究综述[J]. 计算机科学, 2021, 48(10): 1 -18 .
[5] 王梓强, 胡晓光, 李晓筱, 杜卓群. 移动机器人全局路径规划算法综述[J]. 计算机科学, 2021, 48(10): 19 -29 .
[6] 高洪皓, 郑子彬, 殷昱煜, 丁勇. 区块链技术专题序言[J]. 计算机科学, 2021, 48(11): 1 -3 .
[7] 毛瀚宇, 聂铁铮, 申德荣, 于戈, 徐石成, 何光宇. 区块链即服务平台关键技术及发展综述[J]. 计算机科学, 2021, 48(11): 4 -11 .
[8] 许虞俊, 李晨. 基于YOLO优化的轻量级目标检测网络[J]. 计算机科学, 2021, 48(11A): 265 -269 .
[9] 张倩, 肖丽. 基于流线的流场可视化绘制方法综述[J]. 计算机科学, 2021, 48(12): 1 -7 .
[10] 王焘, 张树东, 李安, 邵亚茹, 张文博. 一种面向异常传播的微服务故障诊断方法[J]. 计算机科学, 2021, 48(12): 8 -16 .