摘要
为检查业务流程日志中对关键业务数据的操作和预定义模型中的操作是否存在偏差,提出一种基于Artifact生命周期的业务流程一致性检查方法。基于Petri网建立了业务流程关键数据Artifact的生命周期模型。给出Artifact实例日志,采用A*算法查找日志中的Artifact实例轨迹与模型中活动序列的最佳对齐,计算活动—属性关联拟合度。最后,实现了一个原型系统,结果表明以数据为中心进行一致性检查为流程分析和改进提供了有效的方法。
To check whether the observed operation recorded in log matched the given model operation to key business data,a method of checking the conformance of the business process based on the Artifact lifecycle model was proposed.Artifact was the key data entity in business process and its lifecycle was modeled based on Petri net.The best alignment between an instance in Artifact log and the activity sequence in Artifact lifecycle model was constructed using A*algorithm and the activity-attribute fitness was measured.A prototype system was implemented which showed that Artifact-centric conformance checking provided an effective way to analyze and improve the business process.
引文
[1]AALST W M P V D.Process mining-discovery,conformance and enhancement of business processes[M].Berlin,Germany:Springer-Verlag,2011.
[2]COOK J E,HE C,MA C.Measuring behavioral correspondence to a timed concurrent model[C]//Proceedings of the IEEE International Conference on Software Mainenance.Washington,D.C.,USA:IEEE,2001:332-341.
[3]ROZINAT A,AALST W M P V D.Conformance checking of processes based on monitoring real behavior[J].Information Systems,2008,33(1):64-95.
[4]ADRIANSYAH A,DONGEN B F V,AALST W M P V D.Conformance checking using cost-based fitness analysis[C]//Proceedings of the IEEE International Enterprise Distributed Object Computing Conference.Washington,D.C.,USA:IEEE,2011:55-64.
[5]ADRIANSYAH A.Aligning observed and modeled behavior[D].Eindhoven,the Netherlands:Eindhoven University of Technology,2014.
[6]NIGAM A,CASWELL N S.Business artifacts:an approach to operational specification[J].IBM Systems Journal,2003,42(3):428-445.
[7]FAHLAND D,LEONI M D,AALST W M P V D,et al.Checking behavioral conformance of artifacts[J].International Journal of Cooperative Information Systems,2011,10(2):443-481.
[8]LEONI M D,AALST W M P V D,DONGEN B F V.Dataand resource-aware conformance checking of business processes[C]//Proceedings of the 15th International Conference on Business Information Systems.Berlin,Germany:SpringerVerlag,2012:48-59.
[9]MANNHARDT F,LEONI M D,REIJERS H A,et al.Balanced multi-perspective checking of process conformance[J].Computing,2016,98(4):407-437.
[10]LEONI M D,MUNOZGAMA J,CARMONA J,et al.Decomposing alignment-based conformance checking of data-aware process models[C]//Proceedings of 2014 Conferences On the Move to Meaningful Internet Systems.Berlin,Germany:Springer-Verlag,2014:3-20.
[11]WANG YING,LIU GUOHUA,GAO SHANG,et al.Satisfiability of artifact lifecycle in Artiflow[J].Journal of Chinese Computer Systems,2012,33(6):1176-1182(in Chinese).[王颖,刘国华,高尚,等.ArtiFlow中Artifact生命周期的可满足性问题[J].小型微型计算机系统,2012,33(6):1176-1182.]
[12]LIU HAIBIN,LIU GUOHUA,HUANG LIMING,et al.Method for behavior conformance checking based on artifact snapshot sequences[J].Journal of Software,2015,26(3):491-508(in Chinese).[刘海滨,刘国华,黄立明,等.基于Artifact快照序列的行为一致性检测方法[J].软件学报,2015,26(3):491-508.]