循环并发结构的过程模型修正方法
|
摘要
过程模型描述的行为与事件日志记录的行为之间存在很多偏差,为了使模型可以重演日志中记录的行为,需要对现有模型进行修正。对于存在循环并发结构的模型,现有修正方法得到的模型结构比较复杂,且不能正确地描述活动之间的关系,导致模型精确度较低。因此,针对循环并发结构,提出一种基于逻辑Petri网的动态模型修正方法。基于过程树,提出并发变迁集概念,通过连续日志动作的标识库所集与相应变迁前集之间的关系,进行偏差定位,并根据逻辑Petri网对模型进行动态修正。最后,通过实例验证了所提修正方法的正确性和有效性。
There are many deviations between behaviors described by process models and behaviors recorded in event logs,and process models should be repaired to replay event logs.For the model with cyclic concurrent structure,the model structure obtained by the existing repair method was very complicated and could not correctly describe the relationship between activities,which led to the repaired model with low precision.Therefore,a dynamic model repairing method based on logical Petri nets was proposed to repair the process model with cyclic concurrency structure.A concept of concurrent transition set was proposed based on the process tree.Deviations could be located by the relationship between token place set of continuous log actions and corresponding set of previous transitions,and the process model could be dynamically repaired by deviations.The correctness and effectiveness of the dynamic repair method was evaluated by an experiment instance.
There are many deviations between behaviors described by process models and behaviors recorded in event logs,and process models should be repaired to replay event logs.For the model with cyclic concurrent structure,the model structure obtained by the existing repair method was very complicated and could not correctly describe the relationship between activities,which led to the repaired model with low precision.Therefore,a dynamic model repairing method based on logical Petri nets was proposed to repair the process model with cyclic concurrency structure.A concept of concurrent transition set was proposed based on the process tree.Deviations could be located by the relationship between token place set of continuous log actions and corresponding set of previous transitions,and the process model could be dynamically repaired by deviations.The correctness and effectiveness of the dynamic repair method was evaluated by an experiment instance.
引文
[1]VAN DER AALST W M P,STAHL C.Modeling business process:a Petri net oriented approach[M].Cambridge,Mass.USA:MIT Press,2011:13-75.
[2]VAN DER AALST W M P,WEIJTERS A,MARUSTER L.Workflow mining:discovering process model form event logs[J].IEEE Transactions on Knowledge and Data Engineering,2004,16(9):1128-1142.
[3]WEN L,WANG J,VAN DER AALST W M P,et al.Mining process models with prime invisible tasks[J].Data&Knowledge Engineering,2010,69(10):999-1021.
[4]WEN L,VAN DER AALST W M P,WANG J,et al.Mining process models with non-free-choice constructs[J].Data Mining and Knowledge Discovery,2007,15(2):145-180.
[5]WEIJTERS A and VAN DER AALST W M P.Redoscovering workflow models from event-based data using little thumb[J].Integrated Computer-Aided Engineering,2003,10(2):151-162.
[6]EHRENFEUCHT A,ROZENBERG G.Partial(Set)2-structures-Part 1and Part 2[J].Acta Informatica,1989,27(4):315-368.
[7]BERGENTHUM R,DESEL J,MAUSER S.Synthesis of Petri nets from term based representations of infinite partial languages[J].Fundamental Information,2009,95(1):187-217.
[8]VAN DER AALST W M P.Process mining:discovery,conformance and enhancement of business process[M].Berlin,Germany:Springer-Verlag,2011:64-162.
[9]FAHLAND D,VAN DER AALST W M P.Model repairaligning process models to reality.information systems[J].Information Systems,2015,48(1):220-243.
[10]LIU W,WANG P,DU Y Y.Extended logical Petri netsbased modeling and analysis of business processes[J].IEEEAccess,2017,5:16829-16839.
[11]LUAN W J,QI L,DU Y Y.Composition of logical Petri nets and compatibility analysis[J].IEEE Access,2017,5:9152-9162.
[12]DU Yuyue,ZHU Hongru,WANG Lu,et al.A process mining method based on logic Petri nets[J].Acta Ecologica Sinica,2016,44(11):2742-2751(in Chinese).[杜玉越,朱鸿儒,王路,等.一种基于逻辑Petri网的过程挖掘方法[J].电子学报,2016,44(11):2742-2751.]
[13]DU Y Y,QI L,ZHOU M C.A vector matching method for analysing logic Petri nets[J].Enterprise Information Systems,2011,5(4):449-468.
[14]DU Y Y,QI L,ZHOU M C.Analysis and application of logical Petri nets to e-commerce systems[J].IEEE Transactions on Systems,Man,and Cybernetics:Systems,2014,44(4):468-481.
[15]DU Y Y,GUO B Q.Logic Petri nets and equivalency[J].Information Technology Journal,2009,8(1):95-100.
[16]DU Y Y,JIANG C J,ZHOU M C.A Petri net-based model for verification of obligations and accountability in cooperative systems[J].IEEE Transactions on Systems,Man,and Cybernetics,Part A:Systems and Humans,2009,39(2):299-308.
[17]ADRIANSYAH A,MUNOZ-GAME J,CARMONA J,et al.Aligning based precision checking[C]//Proceedings of the Business Process Management Workshops.Berlin,Germany:Springer-Verlag,2013:137-149.
[18]QI Hongda,DU Yuyue,LIU Wei.A high accuracy process model repair method[J].Computer Integrated Manufacturing Systems,2017,23(5):931-940(in Chinese).[祁宏达,杜玉越,刘伟.一种高精确度的过程模型修复方法[J].计算机集成制造系统,2017,23(5):931-940.]
[19]QI Hongda,DU Yuyue,LIU Wei.Process Model repairing method based on reachable marking[J].Journal of Shandong University of Science and Technology:Natural Science Edition,2017,36(1):118-124(in Chinese).[祁宏达,杜玉越,刘伟.一种基于可达标识的过程模型修复方法[J].山东科技大学学报:自然科学版,2017,36(1):118-124.]
[20]POLYVYANYY A,VAN DER AALST W M P,TERHOFSTEDE A H M,et al.Impact-driven process model repair[J].ACM Transactions on Software Engineering and Methodology,2017,25(4):25-28,29-33.
[21]ADRIANSYAH A.Aligning observed and modeled behavior[D].Eindhoven,the Netherlands:Technische Universiteit Eindhoven,2014.
(1)https://pan.baidu.com/s/11JLzXawvANOT9XPmVMUOLA
[2]VAN DER AALST W M P,WEIJTERS A,MARUSTER L.Workflow mining:discovering process model form event logs[J].IEEE Transactions on Knowledge and Data Engineering,2004,16(9):1128-1142.
[3]WEN L,WANG J,VAN DER AALST W M P,et al.Mining process models with prime invisible tasks[J].Data&Knowledge Engineering,2010,69(10):999-1021.
[4]WEN L,VAN DER AALST W M P,WANG J,et al.Mining process models with non-free-choice constructs[J].Data Mining and Knowledge Discovery,2007,15(2):145-180.
[5]WEIJTERS A and VAN DER AALST W M P.Redoscovering workflow models from event-based data using little thumb[J].Integrated Computer-Aided Engineering,2003,10(2):151-162.
[6]EHRENFEUCHT A,ROZENBERG G.Partial(Set)2-structures-Part 1and Part 2[J].Acta Informatica,1989,27(4):315-368.
[7]BERGENTHUM R,DESEL J,MAUSER S.Synthesis of Petri nets from term based representations of infinite partial languages[J].Fundamental Information,2009,95(1):187-217.
[8]VAN DER AALST W M P.Process mining:discovery,conformance and enhancement of business process[M].Berlin,Germany:Springer-Verlag,2011:64-162.
[9]FAHLAND D,VAN DER AALST W M P.Model repairaligning process models to reality.information systems[J].Information Systems,2015,48(1):220-243.
[10]LIU W,WANG P,DU Y Y.Extended logical Petri netsbased modeling and analysis of business processes[J].IEEEAccess,2017,5:16829-16839.
[11]LUAN W J,QI L,DU Y Y.Composition of logical Petri nets and compatibility analysis[J].IEEE Access,2017,5:9152-9162.
[12]DU Yuyue,ZHU Hongru,WANG Lu,et al.A process mining method based on logic Petri nets[J].Acta Ecologica Sinica,2016,44(11):2742-2751(in Chinese).[杜玉越,朱鸿儒,王路,等.一种基于逻辑Petri网的过程挖掘方法[J].电子学报,2016,44(11):2742-2751.]
[13]DU Y Y,QI L,ZHOU M C.A vector matching method for analysing logic Petri nets[J].Enterprise Information Systems,2011,5(4):449-468.
[14]DU Y Y,QI L,ZHOU M C.Analysis and application of logical Petri nets to e-commerce systems[J].IEEE Transactions on Systems,Man,and Cybernetics:Systems,2014,44(4):468-481.
[15]DU Y Y,GUO B Q.Logic Petri nets and equivalency[J].Information Technology Journal,2009,8(1):95-100.
[16]DU Y Y,JIANG C J,ZHOU M C.A Petri net-based model for verification of obligations and accountability in cooperative systems[J].IEEE Transactions on Systems,Man,and Cybernetics,Part A:Systems and Humans,2009,39(2):299-308.
[17]ADRIANSYAH A,MUNOZ-GAME J,CARMONA J,et al.Aligning based precision checking[C]//Proceedings of the Business Process Management Workshops.Berlin,Germany:Springer-Verlag,2013:137-149.
[18]QI Hongda,DU Yuyue,LIU Wei.A high accuracy process model repair method[J].Computer Integrated Manufacturing Systems,2017,23(5):931-940(in Chinese).[祁宏达,杜玉越,刘伟.一种高精确度的过程模型修复方法[J].计算机集成制造系统,2017,23(5):931-940.]
[19]QI Hongda,DU Yuyue,LIU Wei.Process Model repairing method based on reachable marking[J].Journal of Shandong University of Science and Technology:Natural Science Edition,2017,36(1):118-124(in Chinese).[祁宏达,杜玉越,刘伟.一种基于可达标识的过程模型修复方法[J].山东科技大学学报:自然科学版,2017,36(1):118-124.]
[20]POLYVYANYY A,VAN DER AALST W M P,TERHOFSTEDE A H M,et al.Impact-driven process model repair[J].ACM Transactions on Software Engineering and Methodology,2017,25(4):25-28,29-33.
[21]ADRIANSYAH A.Aligning observed and modeled behavior[D].Eindhoven,the Netherlands:Technische Universiteit Eindhoven,2014.
(1)https://pan.baidu.com/s/11JLzXawvANOT9XPmVMUOLA