Geodesic
Using event logs for local correction of process models
Modelirovanie i analiz informacionnyh sistem, Tome 24 (2017) no. 4, pp. 459-480

Voir la notice de l'article provenant de la source Math-Net.Ru

During the life-cycle of an Information System (IS) its actual behaviour may not correspond to the original system model. However, to the IS support it is very important to have the latest model that reflects the current system behaviour. To correct the model, the information from the event log of the system may be used. In this paper, we consider the problem of process model adjustment (correction) using the information from an event log. The input data for this task are the initial process model (a Petri net) and the event log. The result of correction should be a new process model, better reflecting the real IS behavior than the initial model. The new model could be also built from scratch, for example, with the help of one of the known algorithms for automatic synthesis of the process model from an event log. However, this may lead to crucial changes in the structure of the original model, and it will be difficult to compare the new model with the initial one, hindering its understanding and analysis. It is important to keep the initial structure of the model as much as possible. In this paper, we propose a method for process model correction based on the principle of “divide and conquer”. The initial model is decomposed in several fragments. For each fragment its conformance to the event log is checked. Fragments which do not match the log are replaced by newly synthesized ones. The new model is then assembled from the fragments via transition fusion. The experiments demonstrate that our correction algorithm gives good results when it is used for correcting local discrepancies. The paper presents the description of the algorithm, the formal justification for its correctness, as well as the results of experimental testing by some artificial examples.
Keywords: process mining, process model repair, Petri nets, process model decomposition
Mots-clés : divide and conquer. 
@article{MAIS_2017_24_4_a5,
     author = {A. A. Mitsyuk and I. A. Lomazova and W. M. van der Aalst},
     title = {Using event logs for local correction of process models},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {459--480},
     publisher = {mathdoc},
     volume = {24},
     number = {4},
     year = {2017},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2017_24_4_a5/}
}
TY  - JOUR
AU  - A. A. Mitsyuk
AU  - I. A. Lomazova
AU  - W. M. van der Aalst
TI  - Using event logs for local correction of process models
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2017
SP  - 459
EP  - 480
VL  - 24
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2017_24_4_a5/
LA  - ru
ID  - MAIS_2017_24_4_a5
ER  - 
%0 Journal Article
%A A. A. Mitsyuk
%A I. A. Lomazova
%A W. M. van der Aalst
%T Using event logs for local correction of process models
%J Modelirovanie i analiz informacionnyh sistem
%D 2017
%P 459-480
%V 24
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2017_24_4_a5/
%G ru
%F MAIS_2017_24_4_a5
A. A. Mitsyuk; I. A. Lomazova; W. M. van der Aalst. Using event logs for local correction of process models. Modelirovanie i analiz informacionnyh sistem, Tome 24 (2017) no. 4, pp. 459-480. http://geodesic.mathdoc.fr/item/MAIS_2017_24_4_a5/