Abstract
During the life-cycle of an Information System (IS) its actual behavior 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 behavior. 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 event log. The input data for this task is the initial process model (a Petri net) and an 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. Then 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 into several fragments. For each of the fragments 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 on artificial examples.
Similar content being viewed by others
References
van der Aalst, W.M.P., Decomposing process mining problems using passages, Lect. Notes Comput. Sci., 2012, vol. 7347, pp. 72–91.
van der Aalst, W.M.P., Decomposing Petri Nets for process mining: A generic approach, Distrib. Parallel Databases, 2013, vol. 31, no. 4, pp. 471–507.
van der Aalst, W.M.P., Process Mining—Data Science in Action, Springer, 2016, 2nd ed.
van der Aalst, W.M.P., Adriansyah, A., and van Dongen, B.F., Replaying history on process models for conformance checking and performance analysis, WIREs Data Mining Knowl. Discovery, 2012, vol. 2, pp. 182–192.
van der Aalst, W.M.P., Bolt, A., and van Zelst, S.J., RapidProM: Mine your processes and not just your data, CoRR, 2017, abs/1703.03740.
van der Aalst, W.M.P., Kalenkova, A.A., Rubin, V.A., and Verbeek, H.M.W., Process discovery using localized events, Lect. Notes Comput. Sci., 2015, vol. 9115, pp. 287–308.
van der Aalst, W.M.P., Weijters, A.J.M.M., and Maruster, L., Workow mining: Discovering process models from event logs, IEEE Trans. Knowl. Data Eng., 2004, vol. 16, pp. 1128–1142.
Adriansyah, A., Aligning observed and modeled behavior, PhD Thesis, Technische Universiteit Eindhoven, 2014.
Begicheva, A.K. and Lomazova, I.A., Does your event log fit the high-level process model?, Model. Anal. Inf. Syst., 2015, vol. 22, pp. 392–403.
Begicheva, A.K. and Lomazova, I.A., Discovering high-level process models from event logs, Model. Anal. Inf. Syst., 2017, vol. 24, no. 2, pp. 125–140.
Buijs, J.C.A.M., van Dongen, B.F., and van der Aalst, W.M.P., On the role of fitness, precision, generalization and simplicity in process discovery, On the Move to Meaningful Internet Systems: OTM 2012, Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10–14, 2012. Proceedings, Part I, 2012, pp. 305–322
Buijs, J.C.A.M., La Rosa, M., Reijers, H.A., van Dongen, B.F., and van der Aalst, W.M.P., Improving business process models using observed behavior, Lect. Notes Bus. Inf. Process., 2013, vol. 162, pp. 44–59.
Burattin, A., Maggi, F.M., and Sperduti, A., Conformance checking based on multi-perspective declarative process models, Expert Syst. Appl., 2016, vol. 65, pp. 194–211.
Dijkman, R.M., Dumas, M., and Garcia-Banuelos, L., Graph matching algorithms for business process model similarity search, Lect. Notes Comput. Sci., 2009, vol. 5701, pp. 48–63.
van Dongen, B.F., Carmona, J., and Chatain, T., A unified approach for measuring precision and generalization based on anti-alignments, Lect. Notes Comput. Sci., 2016, vol. 9850, pp. 39–56.
Fahland, D. and van der Aalst, W.M.P., Repairing process models to reflect reality, Lect. Notes Comput. Sci., 2012, vol. 7481, pp. 229–245.
Fahland, D. and van der Aalst, W.M.P., Model repair—aligning process models to reality, Inf. Syst., 2015, vol. 47, pp. 220–243.
Fahland, D. and van der Aalst, W.M.P., Simplifying discovered process models in a controlled manner, Inf. Syst., 2013, vol. 38, no. 4, pp. 585–605.
Gambini, M., La Rosa M., Migliorini S., and ter Hofstede, A.H.M., Automated error correction of business process models, 9th International Conference Business Process Management (BPM 2011), Lect. Notes Comput. Sci., 2011, vol. 6896, pp. 148–165.
Günther, C.W. and van der Aalst, W.M.P., Fuzzy mining: Adaptive process simplification based on multi-perspective metrics, Lect. Notes Comput. Sci., 2007, vol. 4714, pp. 328–343.
Hompes, B.F.A., On decomposed process discovery: How to solve a jigsaw puzzle with friends, Master’s Thesis, Technische Universiteit Eindhoven, 2014.
Hompes, B.F.A., Verbeek, H.M.W., and van der Aalst, W.M.P., Finding suitable activity clusters for decomposed process discovery, 4th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), 2015, pp. 32–57
Kalenkova, A.A., Lomazova, I.A., and van der Aalst, W.M.P., Process model discovery: A method based on transition system decomposition, Lect. Notes Comput. Sci., 2014, vol. 8489, pp. 71–90.
Leemans, S.J.J., Fahland, D., and van der Aalst, W.M.P., Discovering block-structured process models from incomplete event logs, Lect. Notes Comput. Sci., 2014, vol. 8489, pp. 91–110.
Leemans, S.J.J., Fahland, D., and van der Aalst, W.M.P., Scalable process discovery with guarantees, Lect. Notes Bus. Inf. Process., 2015, vol. 214, pp. 85–101.
Mans, R., van der Aalst, W.M.P., and Verbeek, H.M.W., Supporting process mining workflows with Rapid-ProM, Proceedings of the BPM Demo Sessions 2014 Co-located with the 12th International Conference on Business Process Management (BPM 2014), 2014, pp. 56–60
Mitsyuk, A.A. and Shugurov, I.S., On process model synthesis based on event logs with noise, Autom. Control Comput. Sci., 2016, vol. 50, no. 7, pp. 460–470.
Mitsyuk, A.A., Lomazova, I.A., Shugurov, I.S., and van der Aalst, W.M.P., Process model repair by detecting unfitting fragments, Supplementary Proceedings of AIST 2017, CEUR-WS.org, 2017.
Muñoz-Gama, J., Conformance checking and diagnosis in process mining—comparing observed and modeled processes, Lect. Notes Bus. Inf. Process., 2016, vol. 270.
Muñoz-Gama, J., Carmona, J., and van der Aalst, W.M.P., Single-entry single-exit decomposed conformance checking, Inf. Syst., 2014, vol. 46, pp. 102–122.
Polyvyanyy, A., van der Aalst, W.M.P., ter Hofstede, A.H.M., and Wynn, M.T., Impact-driven process model repair, ACM Trans. Software Eng. Methodol., 2017, vol. 25, no. 4, pp. 28:1–28:60.
de San Pedro, J., Carmona, J. and Cortadella, J., Log-based simplification of process models, Lect. Notes Comput. Sci., 2015, vol. 9253, pp. 457–474.
Shershakov, S.A., DPMine graphical language for automation of experiments in process mining, Autom. Control Comput. Sci., 2016, vol. 50, no. 7, pp. 477–485.
Shugurov, I.S. and Mitsyuk, A.A., Iskra: A tool for process model repair, Proc. Inst. Syst. Progr. Russ. Acad. Sci., 2015, vol. 27, no. 3, pp. 237–254.
Shugurov, I.S. and Mitsyuk, A.A., Applying MapReduce to conformance checking, Proc. Inst. Syst. Progr. Russ. Acad. Sci., 2016, vol. 28, no. 3, pp. 103–122.
Shugurov, I.S. and Mitsyuk, A.A., Generation of a set of event logs with noise, Proceedings of the 8th Spring/Summer Young Researchers Colloquium on Software Engineering (SYRCoSE 2014), 2014, pp. 88–95
Verbeek, H.M.W., Buijs, J.C.A.M., van Dongen, B.F., and van der Aalst, W.M.P., ProM 6: The process mining toolkit, Proc. of BPM Demonstration Track 2010, 2010, vol. 615, pp. 34–39.
Verbeek, H.M.W., Decomposed process mining with divide and conquer, BPM 2014 Demos, 2014, vol. 1295, pp. 86–90.
Verbeek, H.M.W., van der Aalst, W.M.P., and Muñoz-Gama, J., Divide and conquer: A tool framework for supporting decomposed discovery in process mining, Comput. J., 2017, vol. 1–26.
Weber, I., Rogge-Solti, A., Li, C., and Mendling, J., CCaaS: Online conformance checking as a service, BPM 2015 Demos, 2015, vol. 1418, pp. 45–49.
van der Werf, J.M.E.M., van Dongen, B.F., Hurkens, C.A.J., and Serebrenik, A., Process discovery using integer linear programming, Fundam. Inf., 2009, vol. 94, pp. 387–412.
Weijters, A.J.M.M., Ribeiro, J., and Chawla, N., Flexible heuristics miner, IEEE Symposium on Computational Intelligence and Data Mining (CIDM 2011), 2011, pp. 310–317
Author information
Authors and Affiliations
Corresponding author
Additional information
Published in Russian in Modelirovanie i Analiz Informatsionnykh Sistem, 2017, Vol. 24, No. 4, pp. 459–480.
The article was translated by the authors.
About this article
Cite this article
Mitsyuk, A.A., Lomazova, I.A. & van der Aalst, W.M.P. Using Event Logs for Local Correction of Process Models. Aut. Control Comp. Sci. 51, 709–723 (2017). https://doi.org/10.3103/S0146411617070306
Received:
Published:
Issue Date:
DOI: https://doi.org/10.3103/S0146411617070306