Model repair — aligning process models to reality |
| |
Affiliation: | 1. Eindhoven University of Technology, P.O. Box 513, Eindhoven 5600 MB, The Netherlands;2. Vrije Universiteit Amsterdam, De Boelelaan 1081, Amsterdam 1081 HV, The Netherlands;3. Norwegian University of Science and Technology, Trondheim 7491, Norway |
| |
Abstract: | Process mining techniques relate observed behavior (i.e., event logs) to modeled behavior (e.g., a BPMN model or a Petri net). Process models can be discovered from event logs and conformance checking techniques can be used to detect and diagnose differences between observed and modeled behavior. Existing process mining techniques can only uncover these differences, but the actual repair of the model is left to the user and is not supported. In this paper we investigate the problem of repairing a process model w.r.t. a log such that the resulting model can replay the log (i.e., conforms to it) and is as similar as possible to the original model. To solve the problem, we use an existing conformance checker that aligns the runs of the given process model to the traces in the log. Based on this information, we decompose the log into several sublogs of non-fitting subtraces. For each sublog, either a loop is discovered that can replay the sublog or a subprocess is derived that is then added to the original model at the appropriate location. The approach is implemented in the process mining toolkit ProM and has been validated on logs and models from several Dutch municipalities. |
| |
Keywords: | Process mining Model repair Petri nets Conformance checking |
本文献已被 ScienceDirect 等数据库收录! |
|