{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:05:28Z","timestamp":1774915528198,"version":"3.50.1"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031416194","type":"print"},{"value":"9783031416200","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-41620-0_1","type":"book-chapter","created":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T23:03:46Z","timestamp":1693523026000},"page":"3-19","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Efficient Optimal Alignment Between Dynamic Condition Response Graphs and\u00a0Traces"],"prefix":"10.1007","author":[{"given":"Axel Kjeld Fjelrad","family":"Christfort","sequence":"first","affiliation":[]},{"given":"Tijs","family":"Slaats","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,9,1]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M., Pesic, M.: DecSerFlow: towards a truly declarative service flow language. In: Bravetti, M., Nunez, M., Zavattaro, G. (eds.) Proceedings of Web Services and Formal Methods (WS-FM 2006), vol. 4184, pp. 1\u201323 (2006)","DOI":"10.1007\/11841197_1"},{"key":"1_CR2","unstructured":"Adriansyah, A.: Aligning observed and modeled behavior. Ph.D. thesis, Mathematics and Computer Science (2014)"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Awad, A., Raun, K., Weidlich, M.: Efficient approximate conformance checking using trie data structures. In: 2021 3rd International Conference on Process Mining (ICPM), pp. 1\u20138 (2021)","DOI":"10.1109\/ICPM53251.2021.9576845"},{"key":"1_CR4","first-page":"1","volume":"24","author":"CO Back","year":"2021","unstructured":"Back, C.O., Slaats, T., Hildebrandt, T.T., Marquard, M.: Discover: accurate and efficient discovery of declarative process models. Int. J. Softw. Tools Technol. Transf. 24, 1\u201325 (2021)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"1","key":"1_CR5","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/s00607-020-00831-8","volume":"103","author":"M Boltenhagen","year":"2021","unstructured":"Boltenhagen, M., Chatain, T., Carmona, J.: Optimized sat encoding of conformance checking artefacts. Computing 103(1), 29\u201350 (2021)","journal-title":"Computing"},{"key":"1_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99414-7","volume-title":"Conformance Checking","author":"J Carmona","year":"2018","unstructured":"Carmona, J., van Dongen, B., Solti, A., Weidlich, M.: Conformance Checking. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99414-7"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., Maggi, F.M., Marrella, A., Sardina, S.: Computing trace alignment against declarative process models through planning. In: Proceedings of the International Conference on Automated Planning and Scheduling, vol. 26, no. 1, pp. 367\u2013375 (2016)","DOI":"10.1609\/icaps.v26i1.13783"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1016\/j.is.2013.12.005","volume":"47","author":"M de Leoni","year":"2015","unstructured":"de Leoni, M., Maggi, F.M., van der Aalst, W.M.: An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data. Inf. Syst. 47, 258\u2013277 (2015)","journal-title":"Inf. Syst."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Debois, S., Hildebrandt, T., Slaats, T., Marquard, M.: A case for declarative process modelling: Agile development of a grant application system. In: 2014 IEEE 18th International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, pp. 126\u2013133. IEEE (2014)","DOI":"10.1109\/EDOCW.2014.27"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Debois, S., Slaats, T.: The analysis of a real life declarative process. In: IEEE Symposium Series on Computational Intelligence, SSCI 2015, pp. 1374\u20131382 (2015)","DOI":"10.1109\/SSCI.2015.196"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Fani Sani, M., van Zelst, S.J., van der Aalst, W.M.P.: Conformance checking approximation using subset selection and edit distance. In: Advanced Information Systems Engineering, pp. 234\u2013251 (2020)","DOI":"10.1007\/978-3-030-49435-3_15"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Felli, P., Gianola, A., Montali, M., Rivkin, A., Winkler, S.: Cocomot: conformance checking of multi-perspective processes via SMT. In: Business Process Management, pp. 217\u2013234 (2021)","DOI":"10.1007\/978-3-030-85469-0_15"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Hildebrandt, T.T., Normann, H., Marquard, M., Debois, S., Slaats, T.: Decision modelling in timed dynamic condition response graphs with data. In: Business Process Management Workshops, pp. 362\u2013374 (2022)","DOI":"10.1007\/978-3-030-94343-1_28"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Jagadeesh Chandra Bose, R., van der Aalst, W.M.: Process diagnostics using trace alignment: opportunities, issues, and challenges. Inf. Syst. 37(2), 117\u2013141 (2012). Management and Engineering of Process-Aware Information Systems","DOI":"10.1016\/j.is.2011.08.003"},{"issue":"1","key":"1_CR15","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(85)90084-0","volume":"27","author":"RE Korf","year":"1985","unstructured":"Korf, R.E.: Depth-first iterative-deepening: an optimal admissible tree search. Artif. Intell. 27(1), 97\u2013109 (1985)","journal-title":"Artif. Intell."},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.ins.2018.07.026","volume":"466","author":"WLJ Lee","year":"2018","unstructured":"Lee, W.L.J., Verbeek, H., Munoz-Gama, J., van der Aalst, W.M., Sep\u00falveda, M.: Recomposing conformance: closing the circle on decomposed alignment-based conformance checking in process mining. Inf. Sci. 466, 55\u201391 (2018)","journal-title":"Inf. Sci."},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"de Leoni, M., Maggi, F.M., van der Aalst, W.M.P.: Aligning event logs and declarative process models for conformance checking. In: Business Process Management, pp. 82\u201397 (2012)","DOI":"10.1007\/978-3-642-32885-5_6"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"de Leoni, M., Munoz-Gama, J., Carmona, J., van der Aalst, W.M.P.: Decomposing alignment-based conformance checking of data-aware process models. In: On the Move to Meaningful Internet Systems: OTM 2014 Conferences, pp. 3\u201320 (2014)","DOI":"10.1007\/978-3-662-45563-0_1"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Lu, X., Fahland, D., van der Aalst, W.M.P.: Conformance checking based on partially ordered event data. In: Business Process Management Workshops, pp. 75\u201388 (2015)","DOI":"10.1007\/978-3-319-15895-2_7"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Reijers, H.A., Slaats, T., Stahl, C.: Declarative modeling-an academic dream or the future for BPM? In: Business Process Management, pp. 307\u2013322 (2013)","DOI":"10.1007\/978-3-642-40176-3_26"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Rei\u00dfner, D., Conforti, R., Dumas, M., La Rosa, M., Armas-Cervantes, A.: Scalable conformance checking of business processes. In: On the Move to Meaningful Internet Systems, OTM 2017 Conferences, pp. 607\u2013627 (2017)","DOI":"10.1007\/978-3-319-69462-7_38"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Sani, M.F., Gonzalez, J.J.G., van Zelst, S.J., van der Aalst, W.M.: Conformance checking approximation using simulation. In: 2020 2nd International Conference on Process Mining (ICPM), pp. 105\u2013112 (2020)","DOI":"10.1109\/ICPM49681.2020.00025"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Slaats, T., Debois, S., Hildebrandt, T.: Open to change: a theory for iterative test-driven modelling. In: Business Process Management, pp. 31\u201347 (2018)","DOI":"10.1007\/978-3-319-98648-7_3"},{"key":"1_CR24","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2020.101685","volume":"102","author":"BF van Dongen","year":"2021","unstructured":"van Dongen, B.F., De Smedt, J., Di Ciccio, C., Mendling, J.: Conformance checking of mixed-paradigm process models. Inf. Syst. 102, 101685 (2021)","journal-title":"Inf. Syst."},{"issue":"3","key":"1_CR25","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s41060-017-0078-6","volume":"8","author":"SJ van Zelst","year":"2019","unstructured":"van Zelst, S.J., Bolt, A., Hassani, M., van Dongen, B.F., van der Aalst, W.M.P.: Online conformance checking: relating event streams to process models using prefix-alignments. Int. J. Data Sci. Anal. 8(3), 269\u2013284 (2019)","journal-title":"Int. J. Data Sci. Anal."},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Zugal, S., Pinggera, J., Weber, B.: Creating declarative process models using test driven modeling suite. In: IS Olympics: Information Systems in a Diverse World, pp. 16\u201332 (2012)","DOI":"10.1007\/978-3-642-29749-6_2"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-41620-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T12:24:21Z","timestamp":1710246261000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-41620-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031416194","9783031416200"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-41620-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"1 September 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BPM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Business Process Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Utrecht","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bpm2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/bpm2023.sites.uu.nl\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"151","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"27","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"In addition, for the BPM Forum 23 papers were accepted. 18 papers of 42 submissions were accepted for the Blockchain- Educators- and RPA Forum.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}