Model repair — aligning process models to reality

van der Aalst, 2011 IEEE Task Force on Process Mining, Process Mining Manifesto, in: BPM Workshops, LNBIP, vol. 99, Springer, 2012, pp. 169–194. van der Aalst, 2004, Workflow mining, IEEE Trans. Knowl. Data Eng., 16, 1128, 10.1109/TKDE.2004.47 Goedertier, 2009, Robust process discovery with artificial negative events, J. Mach. Learn. Res., 10, 1305 Medeiros, 2007, Genetic process mining, Data Min. Knowl. Discov., 14, 245, 10.1007/s10618-006-0061-7 Greco, 2006, Discovering expressive process models by clustering log traces, IEEE Trans. Knowl. Data Eng., 18, 1010, 10.1109/TKDE.2006.123 J.D. Weerdt, M.D. Backer, J. Vanthienen, B. Baesens, Leveraging process discovery with trace clustering and text mining for intelligent analysis of incident management processes, in: IEEE Congress on Evolutionary Computation (CEC 2012), IEEE Computer Society, 2012, pp. 1–8. van der Werf, 2010, Process discovery using integer linear programming, Fundam. Inform., 94, 387, 10.3233/FI-2009-136 van der Aalst, 2012, Replaying history on process models for conformance checking and performance analysis, WIREs Data Min. Knowl. Discov., 2, 182, 10.1002/widm.1045 A. Adriansyah, B. van Dongen, W.M.P. van der Aalst, Conformance Checking using Cost-Based Fitness Analysis in: EDOC 2011, IEEE Computer Society, 2011, pp. 55–64. A. Adriansyah, B.F. van Dongen, W.M. P. van der Aalst, Towards robust conformance checking, in: BPM 2010 Workshops, LNBIP, vol. 66, 2011, pp. 122–133. T. Calders, C. Guenther, M. Pechenizkiy, A. Rozinat, Using minimum description length for process mining, in: SAC 2009, ACM Press, 2009, pp. 1451–1455. Cook, 1999, Software process validation, ACM Trans. Softw. Eng. Methodol., 8, 147, 10.1145/304399.304401 J. Munoz-Gama, J. Carmona, A fresh look at precision in process conformance, in: BPM 2010, Lecture Notes in Computer Science, vol. 6336, Springer, 2010, pp. 211–226. J. Munoz-Gama, J. Carmona, Enhancing precision in process conformance: stability, confidence and severity, in: CIDM 2011, IEEE, Paris, France, 2011, pp. 184–191. Rozinat, 2008, Conformance checking of processes based on monitoring real behavior, Inf. Syst., 33, 64, 10.1016/j.is.2007.07.001 J.D. Weerdt, M.D. Backer, J. Vanthienen, B. Baesens, A robust F-measure for evaluating discovered process models, in: CIDM 2011, IEEE, 2011, pp. 148–155. D. Fahland, W.M.P. van der Aalst, Repairing process models to reflect reality, in: BPM 2012, Lecture Notes in Computer Science, vol. 7481, Springer, 2012, pp. 229–245. A. Rozinat, W.M.P. van der Aalst, Decision mining in ProM, in: International Conference on Business Process Management (BPM 2006), Lecture Notes in Computer Science, vol. 4102, Springer, 2006, pp. 420–425. M.D. Leoni, W.M.P. van der Aalst, B. van Dongen, Data- and resource-aware conformance checking of business processes, in: Business Information Systems (BIS 2012), LNBIP, vol. 117, Springer, 2012, pp. 48–59. J. Buijs, B. van Dongen, W.M.P. van der Aalst, On the role of fitness, precision, generalization and simplicity in process discovery, in: OTM Federated Conferences, 20th International Conference on Cooperative Information Systems (CoopIS 2012), Lecture Notes in Computer Science, vol. 7565, Springer, 2012, pp. 305–322. Song, 2008, Towards comprehensive support for organizational mining, Decis. Support Syst., 46, 300, 10.1016/j.dss.2008.07.002 C. Günther, A. Rozinat, W.M.P. van der Aalst, Activity mining by global trace segmentation, in: BPM 2009 Workshops, Proceedings of the Fifth Workshop on Business Process Intelligence (BPI′09), LNBIP, vol. 43, Springer, 2010, pp. 128–139. R.P.J.C. Bose, W.M.P. van der Aalst, Abstractions in process mining: a taxonomy of patterns, in: Business Process Management (BPM 2009), Lecture Notes in Computer Science, vol. 5701, Springer, 2009, pp. 159–175. Rozinat, 2009, Process mining applied to the test process of wafer scanners in ASML, IEEE Trans. Syst. Man Cybern. Part C, 39, 474, 10.1109/TSMCC.2009.2014169 Levenshtein, 1966, Binary codes capable of correcting deletions, insertions, and reversals, Sov. Phys. Dokl., 10, 707 R.P.J.C. Bose, W.M.P. van der Aalst, Trace alignment in process mining: opportunities for process diagnostics, in: Business Process Management (BPM 2010), Lecture Notes in Computer Science, vol. 6336, Springer, 2010, pp. 227–242. A. Adriansyah, J. Munoz-Gama, J. Carmona, B. Dongen, W.M.P. van der Aalst, Alignment based precision checking, in: Workshop on Business Process Intelligence (BPI 2012), LNBIP, vol. 132, Springer, 2012, pp. 137–149. Fahland, 2013, Simplifying discovered process models in a controlled manner, Inf. Syst., 38, 585, 10.1016/j.is.2012.07.004 R.P.J.C. Bose, W.M.P. van der Aalst, Trace clustering based on conserved patterns: towards achieving better process models, in: BPM 2009 Workshops, Proceedings of the Fifth Workshop on Business Process Intelligence (BPI′09), LNBIP, vol. 43, Springer, 2010, pp. 170–181. Bose, 2012, Process diagnostics using trace alignment, Inf. Syst., 37, 117, 10.1016/j.is.2011.08.003 R.P.J.C. Bose, W.M.P. van der Aalst, Analysis of patient treatment procedures, in: BPM Workshops′11, LNBIP, vol. 99, 2011, pp. 165–166. R.M. Dijkman, M. Dumas, L. García-Bañuelos, Graph matching algorithms for business process model similarity search, in: BPM, Lecture Notes in Computer Science, vol. 5701, 2009, pp. 48–63. E. Kindler, V. Rubin, W. Schäfer, Incremental workflow mining based on document versioning information, in: Unifying the Software Process Spectrum (SPW 2005), Revised Selected Papers, Lecture Notes in Computer Science, vol. 3840, Springer, 2005, pp. 387–301. A. Kalsing, G.S. do Nascimento, C. Iochpe, L.H. Thom, An incremental process mining approach to extract knowledge from legacy systems, in: EDOC′2010, IEEE, 2010, pp. 79–88. Sun, 2007, Incremental workflow mining with optional patterns and its application to production printing process, Int. J. Intell. Control Syst., 12, 45 C. Li, M. Reichert, A. Wombacher, Discovering reference models by mining process variants using a heuristic approach, in: BPM 2009, Lecture Notes in Computer Science, vol. 5701, Springer, 2009, pp. 344–362. M. Gambini, M.L. Rosa, S. Migliorini, A.H.M. ter Hofstede, Automated error correction of business process models, in: BPM 2011, Lecture Notes in Computer Science, vol. 6896, Springer, 2011, pp. 148–165. N. Lohmann, Correcting deadlocking service choreographies using a simulation-based graph edit distance, in: BPM 2008, Lecture Notes in Computer Science, vol. 5240, Springer, 2008, pp. 132–147. S.W. Sadiq, W. Sadiq, M.E. Orlowska, Pockets of flexibility in workflow specification, in: ER’2001, Lecture Notes in Computer Science, vol. 2224, 2001, pp. 513–526. Reichert, 1998, ADEPTflex-supporting dynamic changes of workflows without losing control, J. Intell. Inf. Syst., 10, 93, 10.1023/A:1008604709862 D. Fahland, W.M.P. van der Aalst, Simplifying mined process models: an approach based on unfoldings, in: Business Process Management (BPM 2011), Lecture Notes in Computer Science, vol. 6896, Springer, 2011, pp. 362–378.