{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:18:32Z","timestamp":1743103112118,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030616267"},{"type":"electronic","value":"9783030616274"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-61627-4_1","type":"book-chapter","created":{"date-parts":[[2020,11,1]],"date-time":"2020-11-01T16:03:18Z","timestamp":1604246598000},"page":"1-24","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Actionable Conformance Checking: From Intuitions to Code"],"prefix":"10.1007","author":[{"given":"Josep","family":"Carmona","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Weidlich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boudewijn van","family":"Dongen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,11,2]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99414-7","volume-title":"Conformance Checking - Relating Processes and Models","author":"J Carmona","year":"2018","unstructured":"Carmona, J., van Dongen, B.F., Solti, A., Weidlich, M.: Conformance Checking - Relating Processes and Models. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-99414-7"},{"key":"1_CR2","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, 2nd edn. Springer, Heidelberg (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-662-49851-4","edition":"2"},{"key":"1_CR3","unstructured":"Rozinat, A.: Process mining conformance and extension. Ph.D thesis, Technische Universiteit Eindhoven (2010)"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/11678564_15","volume-title":"Business Process Management Workshops","author":"A Rozinat","year":"2006","unstructured":"Rozinat, A., van der Aalst, W.M.P.: Conformance testing: measuring the fit and appropriateness of event logs and process models. In: Bussler, C.J., Haller, A. (eds.) BPM 2005. LNCS, vol. 3812, pp. 163\u2013176. Springer, Heidelberg (2006). \nhttps:\/\/doi.org\/10.1007\/11678564_15"},{"key":"1_CR5","unstructured":"van der Aalst, W.M.P., Dumas, M., Ouyang, C., Rozinat, A., Verbeek, H.M.W.E.: Choreography conformance checking: an approach based on BPEL and Petri nets. In: The Role of Business Processes in Service Oriented Architectures, 16 July\u201321 July2006 (2006)"},{"issue":"3","key":"1_CR6","doi-asserted-by":"publisher","first-page":"13:1","DOI":"10.1145\/1361186.1361189","volume":"8","author":"WMP van der Aalst","year":"2008","unstructured":"van der Aalst, W.M.P., Dumas, M., Ouyang, C., Rozinat, A., Verbeek, H.M.W.E.: Conformance checking of service behavior. ACM Trans. Internet Technol. 8(3), 13:1\u201313:30 (2008)","journal-title":"ACM Trans. Internet Technol."},{"issue":"1","key":"1_CR7","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.is.2007.07.001","volume":"33","author":"A Rozinat","year":"2008","unstructured":"Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64\u201395 (2008)","journal-title":"Inf. Syst."},{"key":"1_CR8","unstructured":"Adriansyah, A.: Aligning observed and modeled behavior. Ph.D. thesis, Technische Universiteit Eindhoven (2014)"},{"key":"1_CR9","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-642-36285-9_23","volume-title":"Business Process Management Workshops","author":"A Adriansyah","year":"2013","unstructured":"Adriansyah, A., Buijs, J.C.A.M.: Mining process performance from event logs. In: La Rosa, M., Soffer, P. (eds.) BPM 2012. LNBIP, vol. 132, pp. 217\u2013218. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-36285-9_23"},{"issue":"2","key":"1_CR10","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1002\/widm.1045","volume":"2","author":"WMP van der Aalst","year":"2012","unstructured":"van der Aalst, W.M.P., Adriansyah, A., van Dongen, B.F.: Replaying history on process models for conformance checking and performance analysis. Wiley Interdiscip. Rev. Data Min. Knowl. Discov. 2(2), 182\u2013192 (2012)","journal-title":"Wiley Interdiscip. Rev. Data Min. Knowl. Discov."},{"key":"1_CR11","unstructured":"Adriansyah, A., van Dongen, B.F., Zannone, N.: Controlling break-the-glass through alignment. In: International Conference on Social Computing, SocialCom 2013, SocialCom\/PASSAT\/BigData\/EconCom\/BioMedCom 2013, Washington, DC, USA, 8\u201314 September, 2013, pp. 606\u2013611 (2013)"},{"issue":"6","key":"1_CR12","first-page":"255","volume":"55","author":"A Adriansyah","year":"2013","unstructured":"Adriansyah, A., van Dongen, B.F., Zannone, N.: Privacy analysis of user behavior using alignments. Inf. Technol. 55(6), 255\u2013260 (2013)","journal-title":"Inf. Technol."},{"issue":"1","key":"1_CR13","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s10257-014-0234-7","volume":"13","author":"A Adriansyah","year":"2015","unstructured":"Adriansyah, A., Munoz-Gama, J., Carmona, J., van Dongen, B.F., van der Aalst, W.M.P.: Measuring precision of modeled behavior. Inf. Syst. e-Bus. Manag. 13(1), 37\u201367 (2015)","journal-title":"Inf. Syst. e-Bus. Manag."},{"key":"1_CR14","unstructured":"Weidlich, M.: Behavioural Profiles: A Relational Approach to Behaviour Consistency. Doctoral thesis, Universit\u00e4t Potsdam (2011)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-642-15618-2_16","volume-title":"Business Process Management","author":"J Mu\u00f1oz-Gama","year":"2010","unstructured":"Mu\u00f1oz-Gama, J., Carmona, J.: A fresh look at precision in process conformance. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol. 6336, pp. 211\u2013226. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-15618-2_16"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-319-98648-7_12","volume-title":"Business Process Management","author":"BF van Dongen","year":"2018","unstructured":"van Dongen, B.F.: Efficiently computing alignments - using the extended marking equation. In: Weske, M., Montali, M., Weber, I., vom Brocke, J. (eds.) BPM 2018. LNCS, vol. 11080, pp. 197\u2013214. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-98648-7_12"},{"key":"1_CR17","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-74161-1_1","volume-title":"Data-Driven Process Discovery and Analysis","author":"F Taymouri","year":"2018","unstructured":"Taymouri, F., Carmona, J.: Model and event log reductions to boost the computation of alignments. In: Ceravolo, P., Guetl, C., Rinderle-Ma, S. (eds.) SIMPDA 2016. LNBIP, vol. 307, pp. 1\u201321. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-74161-1_1"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.eswa.2017.03.047","volume":"82","author":"M de Leoni","year":"2017","unstructured":"de Leoni, M., Marrella, A.: Aligning real process executions and prescriptive process models through automated planning. Expert Syst. Appl. 82, 162\u2013183 (2017)","journal-title":"Expert Syst. Appl."},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Rei\u00dfner, D., Conforti, R., Dumas, M., Rosa, M.L., Armas-Cervantes, A.: Scalable conformance checking of business processes. Paper submitted to \u201cInternational Conference on Business Process Management (BMP 2017)\u201d in Barcelona, Spain, March 2017","DOI":"10.1007\/978-3-319-69462-7_38"},{"issue":"2","key":"1_CR20","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1007\/s10270-016-0545-x","volume":"17","author":"SJJ Leemans","year":"2016","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Scalable process discovery and conformance checking. Softw. Syst. Model. 17(2), 599\u2013631 (2016). \nhttps:\/\/doi.org\/10.1007\/s10270-016-0545-x","journal-title":"Softw. Syst. Model."},{"issue":"3","key":"1_CR21","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1109\/TSE.2017.2668418","volume":"44","author":"L Garc\u00eda-Ba\u00f1uelos","year":"2018","unstructured":"Garc\u00eda-Ba\u00f1uelos, L., van Beest, N.R., Dumas, M., Rosa, M.L., Mertens, W.: Complete and interpretable conformance checking of business processes. IEEE Trans. Softw. Eng. 44(3), 262\u2013290 (2018)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Taymouri, F., Carmona, J.: A recursive paradigm for aligning observed behavior of large structured process models. In: 14th International Conference of Business Process Management (BPM), Rio de Janeiro, Brazil, 18\u201322 September (2016)","DOI":"10.1007\/978-3-319-45348-4_12"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-319-98648-7_13","volume-title":"Business Process Management","author":"F Taymouri","year":"2018","unstructured":"Taymouri, F., Carmona, J.: An evolutionary technique to approximate multiple optimal alignments. In: Weske, M., Montali, M., Weber, I., vom Brocke, J. (eds.) BPM 2018. LNCS, vol. 11080, pp. 215\u2013232. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-98648-7_13"},{"key":"1_CR24","doi-asserted-by":"publisher","unstructured":"van Dongen, B., Carmona, J., Chatain, Th., Taymouri, F.: Aligning modeled and observed behavior: a compromise between computation complexity and quality. In: Dubois, E., Pohl, K. (eds.) CAiSE 2017. LNCS, vol. 10253, pp. 94\u2013109. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-59536-8_7","DOI":"10.1007\/978-3-319-59536-8_7"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Bloemen, V., van de Pol, J., van der Aalst, W.M.P.: Symbolically aligning observed and modelled behaviour. In: 18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, 25\u201329 June 2018, pp. 50\u201359 (2018)","DOI":"10.1109\/ACSD.2018.00008"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Taymouri, F., Carmona, J.: Structural computation of alignments of business processes over partial orders. In: 19th International Conference on Application of Concurrency to System Design, ACSD 2019, Aachen, Germany 23\u201328 June 2019, pp. 73\u201381 (2019)","DOI":"10.1109\/ACSD.2019.00012"},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-030-26619-6_17","volume-title":"Business Process Management","author":"L Padr\u00f3","year":"2019","unstructured":"Padr\u00f3, L., Carmona, J.: Approximate computation of alignments of business processes through relaxation labelling. In: Hildebrandt, T., van Dongen, B.F., R\u00f6glinger, M., Mendling, J. (eds.) BPM 2019. LNCS, vol. 11675, pp. 250\u2013267. Springer, Cham (2019). \nhttps:\/\/doi.org\/10.1007\/978-3-030-26619-6_17"},{"issue":"2","key":"1_CR28","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1109\/MCI.2017.2670420","volume":"12","author":"G Acampora","year":"2017","unstructured":"Acampora, G., Vitiello, A., Stefano, B.N.D., van der Aalst, W.M.P., G\u00fcnther, C.W., Verbeek, E.: IEEE 1849: the XES standard: the second IEEE standard sponsored by IEEE computational intelligence society [society briefs]. IEEE Comp. Int. Mag. 12(2), 4\u20138 (2017)","journal-title":"IEEE Comp. Int. Mag."},{"issue":"4","key":"1_CR29","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013574 (1989)","journal-title":"Proc. IEEE"},{"key":"1_CR30","unstructured":"Carmona, J., Sol\u00e9, M.: PMLAB: an scripting environment for process mining. In: Proceedings of the BPM Demo Sessions 2014 Co-located with the12th International Conference on Business Process Management (BPM 2014), Eindhoven, The Netherlands, 10 September 2014, p. 16 (2014)"},{"key":"1_CR31","doi-asserted-by":"publisher","first-page":"927","DOI":"10.1016\/j.knosys.2018.10.018","volume":"163","author":"G Janssenswillen","year":"2019","unstructured":"Janssenswillen, G., Depaire, B., Swennen, M., Jans, M., Vanhoof, K.: bupaR: enabling reproducible business process analysis. Knowl. Based Syst. 163, 927\u2013930 (2019)","journal-title":"Knowl. Based Syst."},{"key":"1_CR32","unstructured":"Berti, A., van Zelst, S.J., van der Aalst, W.M.P.: Process mining for python (PM4Py): bridging the gap between process- and data science. CoRR abs\/1905.06169 (2019)"}],"container-title":["Lecture Notes in Business Information Processing","Big Data Management and Analytics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-61627-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,1]],"date-time":"2020-11-01T16:09:57Z","timestamp":1604246997000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-61627-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030616267","9783030616274"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-61627-4_1","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"2 November 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"eBISS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Big Data Management and Analytics Summer School","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Berlin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ebiss2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/cs.ulb.ac.be\/conferences\/ebiss2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}