Efficient Deviation Detection Between a Process Model and Event Logs  

作　　者：Lu Wang Yuyue Du Liang Qi 

机构地区：[1]the College of Computer Science and Engineering,Shandong University of Science and Technology,Qingdao 266590,China [2]Shandong Province Key Laboratory of Wisdom Mine Information Technology,Shandong University of Science and Technology,Qingdao 266590,China

出　　处：《IEEE/CAA Journal of Automatica Sinica》2019年第6期1352-1364,共13页自动化学报（英文版）

基　　金：supported by the National Natural Science Foundation of China(61170078,61472228,61903229,61902222);the “Taishan Scholar” Construction Project of Shandong Province,China,the Natural Science Foundation of Shandong Province(ZR2018MF001);the Scientific Research Foundation of Shandong University of Science and Technology for Recruited Talents(2017RCJJ044);the Key Research and Development Program of Shandong Province(2018GGX101011)

摘　　要：Business processes described by formal or semi-formal models are realized via information systems.Event logs generated from these systems are probably not consistent with the existing models due to insufficient design of the information system or the system upgrade.By comparing an existing process model with event logs,we can detect inconsistencies called deviations,verify and extend the business process model,and accordingly improve the business process.In this paper,some abnormal activities in business processes are formally defined based on Petri nets.An efficient approach to detect deviations between the process model and event logs is proposed.Then,business process models are revised when abnormal activities exist.A clinical process in a healthcare information system is used as a case study to illustrate our work.Experimental results show the effectiveness and efficiency of the proposed approach.Business processes described by formal or semi-formal models are realized via information systems. Event logs generated from these systems are probably not consistent with the existing models due to insufficient design of the information system or the system upgrade. By comparing an existing process model with event logs, we can detect inconsistencies called deviations,verify and extend the business process model, and accordingly improve the business process. In this paper, some abnormal activities in business processes are formally defined based on Petri nets. An efficient approach to detect deviations between the process model and event logs is proposed. Then, business process models are revised when abnormal activities exist. A clinical process in a healthcare information system is used as a case study to illustrate our work. Experimental results show the effectiveness and efficiency of the proposed approach.

关 键 词：DETECT DEVIATIONS event LOG MODEL repair PETRI net process MODEL 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]