{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T08:53:28Z","timestamp":1780044808386,"version":"3.53.1"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319694610","type":"print"},{"value":"9783319694627","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-69462-7_5","type":"book-chapter","created":{"date-parts":[[2017,10,19]],"date-time":"2017-10-19T04:13:28Z","timestamp":1508386408000},"page":"53-74","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":43,"title":["Interactive and Incremental Business Process Model Repair"],"prefix":"10.1007","author":[{"given":"Abel","family":"Armas Cervantes","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nick R. T. P.","family":"van Beest","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marcello","family":"La Rosa","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marlon","family":"Dumas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luciano","family":"Garc\u00eda-Ba\u00f1uelos","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,10,20]]},"reference":[{"issue":"1","key":"5_CR1","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s10257-014-0234-7","volume":"13","author":"A Adriansyah","year":"2015","unstructured":"Adriansyah, A., Mu\u00f1oz-Gama, J., Carmona, J., van Dongen, B., van der Aalst, W.: Measuring precision of modeled behavior. ISeB 13(1), 37\u201367 (2015)","journal-title":"ISeB"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Adriansyah, A., van Dongen, B.F., van der Aalst, W.M.P.: Conformance checking using cost-based fitness analysis. In: Proceedings of the EDOC. IEEE Computer Society (2011)","DOI":"10.1109\/EDOC.2011.12"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Andrews, K., Wohlfahrt, M., Wurzinger, G.: Visual graph comparison. In: 2009 13th International Conference on Information Visualisation, pp. 62\u201367. IEEE (2009)","DOI":"10.1109\/IV.2009.108"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1016\/j.is.2015.09.009","volume":"56","author":"A Armas-Cervantes","year":"2016","unstructured":"Armas-Cervantes, A., Baldan, P., Dumas, M., Garc\u00eda-Ba\u00f1uelos, L.: Diagnosing behavioral differences between business process models: an approach based on event structures. Inf. Syst. 56, 304\u2013325 (2016)","journal-title":"Inf. Syst."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Armas-Cervantes, A., van Beest, N.R.T.P., La Rosa, M., Dumas, M., Raboczi, S.: Incremental and interactive business process model repair in apromore. In: Proceedings of the BPM Demos. CRC Press (2017, to appear)","DOI":"10.1007\/978-3-319-69462-7_5"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"van den Brand, M., Proti\u0107, Z., Verhoeff, T.: Generic tool for visualization of model differences. In: Proceedings of the 1st International Workshop on Model Comparison in Practice, pp. 66\u201375. ACM (2010)","DOI":"10.1145\/1826147.1826160"},{"key":"5_CR7","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-642-40919-6_3","volume-title":"Data-Driven Process Discovery and Analysis","author":"JCAM Buijs","year":"2013","unstructured":"Buijs, J.C.A.M., La Rosa, M., Reijers, H.A., van Dongen, B.F., van der Aalst, W.M.P.: Improving business process models using observed behavior. In: Cudre-Mauroux, P., Ceravolo, P., Ga\u0161evi\u0107, D. (eds.) SIMPDA 2012. LNBIP, vol. 162, pp. 44\u201359. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-40919-6_3"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-642-03848-8_5","volume-title":"Business Process Management","author":"R Dijkman","year":"2009","unstructured":"Dijkman, R., Dumas, M., Garc\u00eda-Ba\u00f1uelos, L.: Graph matching algorithms for business process model similarity search. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 48\u201363. Springer, Heidelberg (2009). doi:10.1007\/978-3-642-03848-8_5"},{"key":"5_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33143-5","volume-title":"Fundamentals of Business Process Management","author":"M Dumas","year":"2013","unstructured":"Dumas, M., La Rosa, M., Mendling, J., Reijers, H.: Fundamentals of Business Process Management. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-33143-5"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1016\/j.is.2013.12.007","volume":"47","author":"D Fahland","year":"2015","unstructured":"Fahland, D., van der Aalst, W.M.P.: Model repair - aligning process models to reality. Inf. Syst. 47, 220\u2013243 (2015)","journal-title":"Inf. Syst."},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-23059-2_14","volume-title":"Business Process Management","author":"M Gambini","year":"2011","unstructured":"Gambini, M., La Rosa, M., Migliorini, S., Ter Hofstede, A.H.M.: Automated error correction of business process models. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 148\u2013165. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-23059-2_14"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Garc\u00eda-Ba\u00f1uelos, L., van Beest, N.R., Dumas, M., La Rosa, M.: Complete and interpretable conformance checking of business processes. IEEE Trans. Softw. Eng. (2017, to appear)","DOI":"10.1109\/TSE.2017.2668418"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/978-3-642-18469-7_38","volume-title":"Graph Drawing","author":"M Geyer","year":"2011","unstructured":"Geyer, M., Kaufmann, M., Krug, R.: Visualizing differences between two large graphs. In: Brandes, U., Cornelsen, S. (eds.) GD 2010. LNCS, vol. 6502, pp. 393\u2013394. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-18469-7_38"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-642-40176-3_18","volume-title":"Business Process Management","author":"S Kriglstein","year":"2013","unstructured":"Kriglstein, S., Wallner, G., Rinderle-Ma, S.: A visualization approach for difference analysis of process models and instance traffic. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 219\u2013226. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-40176-3_18"},{"issue":"2","key":"5_CR15","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1109\/TII.2011.2124467","volume":"7","author":"M La Rosa","year":"2011","unstructured":"La Rosa, M., ter Hofstede, A.H.M., Wohed, P., Reijers, H.A., Mendling, J., van der Aalst, W.M.P.: Managing process model complexity via concrete syntax modifications. IEEE Trans. Ind. Inform. 7(2), 255\u2013265 (2011)","journal-title":"IEEE Trans. Ind. Inform."},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/978-3-319-23063-4_27","volume-title":"Business Process Management","author":"A Maaradji","year":"2015","unstructured":"Maaradji, A., Dumas, M., La Rosa, M., Ostovar, A.: Fast and accurate business process drift detection. In: Motahari-Nezhad, H.R., Recker, J., Weidlich, M. (eds.) BPM 2015. LNCS, vol. 9253, pp. 406\u2013422. Springer, Cham (2015). doi:10.1007\/978-3-319-23063-4_27"},{"issue":"4","key":"5_CR17","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/s00607-015-0441-1","volume":"98","author":"F Mannhardt","year":"2016","unstructured":"Mannhardt, F., de Leoni, M., Reijers, H.A., van der Aalst, W.M.P.: Balanced multi-perspective checking of process conformance. Computing 98(4), 407\u2013437 (2016)","journal-title":"Computing"},{"issue":"6","key":"5_CR18","doi-asserted-by":"publisher","first-page":"756","DOI":"10.1109\/TSE.2009.67","volume":"35","author":"D Moody","year":"2009","unstructured":"Moody, D.: The \u201cphysics\u201d of notations: toward a scientific basis for constructing visual notations in software engineering. IEEE Trans. Softw. Eng. 35(6), 756\u2013779 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"5_CR19","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains, part I. Theoret. Comput. Sci. 13, 85\u2013108 (1981)","journal-title":"Theoret. Comput. Sci."},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Ohst, D., Welle, M., Kelter, U.: Differences between versions of UML diagrams. In: ACM SIGSOFT Software Engineering Notes, vol. 28, pp. 227\u2013236. ACM (2003)","DOI":"10.1145\/949952.940102"},{"issue":"4","key":"5_CR21","doi-asserted-by":"publisher","first-page":"28:1","DOI":"10.1145\/2980764","volume":"25","author":"A Polyvyanyy","year":"2016","unstructured":"Polyvyanyy, A., van der Aalst, W.M.P., ter Hofstede, A.H.M., Wynn, M.T.: Impact-driven process model repair. ACM Trans. Softw. Eng. Methodol. 25(4), 28:1\u201328:60 (2016)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-319-45348-4_11","volume-title":"Business Process Management","author":"A Rogge-Solti","year":"2016","unstructured":"Rogge-Solti, A., Senderovich, A., Weidlich, M., Mendling, J., Gal, A.: In log and model we trust? A generalized conformance checking framework. In: La Rosa, M., Loos, P., Pastor, O. (eds.) BPM 2016. LNCS, vol. 9850, pp. 179\u2013196. Springer, Cham (2016). doi:10.1007\/978-3-319-45348-4_11"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/978-3-319-23063-4_26","volume-title":"Business Process Management","author":"NRTP van Beest","year":"2015","unstructured":"van Beest, N.R.T.P., Dumas, M., Garc\u00eda-Ba\u00f1uelos, L., La Rosa, M.: Log delta analysis: interpretable differencing of business process event logs. In: Motahari-Nezhad, H.R., Recker, J., Weidlich, M. (eds.) BPM 2015. LNCS, vol. 9253, pp. 386\u2013405. Springer, Cham (2015). doi:10.1007\/978-3-319-23063-4_26"},{"key":"5_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4","volume-title":"Process Mining: Data Science in Action","author":"WMP van der Aalst","year":"2016","unstructured":"van der Aalst, W.M.P.: Process Mining: Data Science in Action. Springer, Heidelberg (2016). doi:10.1007\/978-3-662-49851-4"},{"issue":"3","key":"5_CR25","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1016\/j.datak.2008.05.001","volume":"66","author":"B Weber","year":"2008","unstructured":"Weber, B., Reichert, M., Rinderle-Ma, S.: Change patterns and change support features: enhancing flexibility in process-aware information systems. Data Knowl. Eng. 66(3), 438\u2013466 (2008)","journal-title":"Data Knowl. Eng."}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems. OTM 2017 Conferences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-69462-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T18:02:56Z","timestamp":1710266576000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-69462-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319694610","9783319694627"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-69462-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"20 October 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"OTM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"OTM Confederated International Conferences \"On the Move to Meaningful Internet Systems\"","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 October 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"otm2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.otmconferences.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}