{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,15]],"date-time":"2026-06-15T11:39:02Z","timestamp":1781523542258,"version":"3.54.1"},"reference-count":57,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2016,10,12]],"date-time":"2016-10-12T00:00:00Z","timestamp":1476230400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Australian Research Council's Discovery","award":["DP120101624"],"award-info":[{"award-number":["DP120101624"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2017,5,5]]},"abstract":"<jats:p>The abundance of event data in today\u2019s information systems makes it possible to \u201cconfront\u201d process models with the actual observed behavior. Process mining techniques use event logs to discover process models that describe the observed behavior, and to check conformance of process models by diagnosing deviations between models and reality. In many situations, it is desirable to mediate between a preexisting model and observed behavior. Hence, we would like to repair the model while improving the correspondence between model and log as much as possible. The approach presented in this article assigns predefined costs to repair actions (allowing inserting or skipping of activities). Given a maximum degree of change, we search for models that are optimal in terms of fitness\u2014that is, the fraction of behavior in the log not possible according to the model is minimized. To compute fitness, we need to align the model and log, which can be time consuming. Hence, finding an optimal repair may be intractable. We propose different alternative approaches to speed up repair. The number of alignment computations can be reduced dramatically while still returning near-optimal repairs. The different approaches have been implemented using the process mining framework ProM and evaluated using real-life logs.<\/jats:p>","DOI":"10.1145\/2980764","type":"journal-article","created":{"date-parts":[[2016,10,12]],"date-time":"2016-10-12T18:33:55Z","timestamp":1476297235000},"page":"1-60","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":59,"title":["Impact-Driven Process Model Repair"],"prefix":"10.1145","volume":"25","author":[{"given":"Artem","family":"Polyvyanyy","sequence":"first","affiliation":[{"name":"Queensland University of Technology, Brisbane, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wil M. P. Van Der","family":"Aalst","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology and Queensland University of Technology, The Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Arthur H. M. Ter","family":"Hofstede","sequence":"additional","affiliation":[{"name":"Queensland University of Technology and Eindhoven University of Technology, Brisbane, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Moe T.","family":"Wynn","sequence":"additional","affiliation":[{"name":"Queensland University of Technology, Brisbane, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2016,10,12]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Arya Adriansyah. 2014. Aligning Observed and Modeled Behavior. Ph.D. Dissertation. Technische Universiteit Eindhoven. DOI:http:\/\/dx.doi.org\/10.6100\/IR770080  Arya Adriansyah. 2014. Aligning Observed and Modeled Behavior. Ph.D. Dissertation. Technische Universiteit Eindhoven. DOI:http:\/\/dx.doi.org\/10.6100\/IR770080"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2011.12"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-2217(99)00265-9"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19237-6_8"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2695664.2699491"},{"key":"e_1_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Joos C. A. M. Buijs Marcello La Rosa Hajo A. Reijers Boudewijn F. van Dongen and Wil M. P. van der Aalst. 2013. Improving business process models using observed behavior. In Data-Driven Process Discovery and Analysis. Springer 44--59.  Joos C. A. M. Buijs Marcello La Rosa Hajo A. Reijers Boudewijn F. van Dongen and Wil M. P. van der Aalst. 2013. Improving business process models using observed behavior. In Data-Driven Process Discovery and Analysis. Springer 44--59.","DOI":"10.1007\/978-3-642-40919-6_3"},{"key":"e_1_2_1_7_1","volume-title":"Lecture Notes in Computer Science","volume":"7565","author":"Buijs Joos C. A. M."},{"key":"e_1_2_1_8_1","volume-title":"Business Process Management Workshops. Lecture Notes in Business Information Processing","volume":"171","author":"Buijs Joos C. A. M."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1287\/opre.5.2.266"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.106"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40176-3_10"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2480362.2480633"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2007.06.010"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10618-006-0061-7"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.09.013"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SERVICES-I.2009.49"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2013.12.007"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01580448"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.8"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2010.1"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10619-009-7040-0"},{"key":"e_1_2_1_22_1","volume-title":"The Goal: A Process of Ongoing Improvement","author":"Goldratt E. M.","year":"2012"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2710020"},{"key":"e_1_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Christian W. G\u00fcnther and Wil M. P. van der Aalst. 2007. Fuzzy mining\u2014adaptive process simplification based on multi-perspective metrics. In Business Process Management. Lecture Notes in Computer Science Vol.&nbsp;4714. Springer 328--343. DOI:http:\/\/dx.doi.org\/10.1007\/978-3-540-75183-0_24   Christian W. G\u00fcnther and Wil M. P. van der Aalst. 2007. Fuzzy mining\u2014adaptive process simplification based on multi-perspective metrics. In Business Process Management. Lecture Notes in Computer Science Vol.&nbsp;4714. Springer 328--343. DOI:http:\/\/dx.doi.org\/10.1007\/978-3-540-75183-0_24","DOI":"10.1007\/978-3-540-75183-0_24"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/RCIS.2010.5507332"},{"key":"e_1_2_1_26_1","series-title":"IBM Research Symposia Series","volume-title":"Complexity of Computer Computations","author":"Karp Richard M."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2014.03.008"},{"key":"e_1_2_1_28_1","volume-title":"Business Process Management. Lecture Notes in Business Information Processing","volume":"171","author":"Leemans Sander J. J."},{"key":"e_1_2_1_29_1","volume-title":"Business-Process and Information System Modeling. Lecture Notes in Business Information Processing","volume":"214","author":"Leemans Sander J. J."},{"key":"e_1_2_1_30_1","series-title":"Lecture Notes in Computer Science","volume-title":"Business Process Management","author":"Li Chen"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843010002139"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2011.01.005"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-015-0441-1"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-2217(99)00260-X"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2554850.2555061"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/CIDM.2011.5949451"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40176-3_11"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38697-8_16"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/960322.960404"},{"key":"e_1_2_1_40_1","unstructured":"Artem Polyvyanyy. 2012. Structuring Process Models. Ph.D. Dissertation. University of Potsdam. http:\/\/nbn-resolving.de\/urn\/resolver.pl?urn:nbn:de:kobv:517-opus-59024.  Artem Polyvyanyy. 2012. Structuring Process Models. Ph.D. Dissertation. University of Potsdam. http:\/\/nbn-resolving.de\/urn\/resolver.pl?urn:nbn:de:kobv:517-opus-59024."},{"key":"e_1_2_1_41_1","volume-title":"Seminal Contributions to Information Systems Engineering, 25 Years of CAiSE, J. A. Bubenko Jr.","author":"Polyvyanyy Artem"},{"key":"e_1_2_1_42_1","series-title":"Lecture Notes in Computer Science","volume-title":"Web Services and Formal Methods","author":"Polyvyanyy Artem"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32885-5_26"},{"key":"e_1_2_1_44_1","unstructured":"Wolfgang Reisig. 1998. Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets. Springer-Verlag Berlin Germany. http:\/\/www.springer.com\/computer\/theoretical+computer+science\/book\/978-3-540-62752-4.   Wolfgang Reisig. 1998. Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets. Springer-Verlag Berlin Germany. http:\/\/www.springer.com\/computer\/theoretical+computer+science\/book\/978-3-540-62752-4."},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2007.07.001"},{"key":"e_1_2_1_46_1","volume-title":"Application and Theory of Petri Nets","author":"van der Aalst Wil M. P.","year":"1997"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19345-3"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10619-013-7127-5"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1002\/widm.1045"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2010.61"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2004.47"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/11494744_25"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.5555\/111970.111991"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1137\/1035174"},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2009.02.015"},{"key":"e_1_2_1_56_1","series-title":"Lecture Notes in Computer Science","volume-title":"Information Systems Evolution","author":"Verbeek H. M. W."},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(00)00166-6"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2980764","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2980764","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:50:13Z","timestamp":1750218613000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2980764"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,12]]},"references-count":57,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,5,5]]}},"alternative-id":["10.1145\/2980764"],"URL":"https:\/\/doi.org\/10.1145\/2980764","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"value":"1049-331X","type":"print"},{"value":"1557-7392","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,10,12]]},"assertion":[{"value":"2015-09-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-06-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}