{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T12:15:43Z","timestamp":1774872943751,"version":"3.50.1"},"publisher-location":"Cham","reference-count":64,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032176172","type":"print"},{"value":"9783032176189","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-17618-9_35","type":"book-chapter","created":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T11:07:32Z","timestamp":1774868852000},"page":"525-550","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Automated Conformance Checking Between Process Models and\u00a0Their Generalized Reference Process Models"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4999-2544","authenticated-orcid":false,"given":"Judith","family":"Michael","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Rumpe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6328-3816","authenticated-orcid":false,"given":"Max","family":"Stachon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6636-9375","authenticated-orcid":false,"given":"Sebastian","family":"St\u00fcber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valdes","family":"Voufo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,3,30]]},"reference":[{"issue":"2","key":"35_CR1","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1002\/widm.1045","volume":"2","author":"W Van der Aalst","year":"2012","unstructured":"Van der Aalst, W., Adriansyah, A., Van Dongen, B.: Replaying history on process models for conformance checking and performance analysis. Wiley Interdisc. Rev. Data Min. Knowl. Discov. 2(2), 182\u2013192 (2012)","journal-title":"Wiley Interdisc. Rev. Data Min. Knowl. Discov."},{"issue":"9","key":"35_CR2","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"W Van der Aalst","year":"2004","unstructured":"Van der Aalst, W., Weijters, T., Maruster, L.: Workflow mining: discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128\u20131142 (2004)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"01","key":"35_CR3","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WM Van der Aalst","year":"1998","unstructured":"Van der Aalst, W.M.: The application of petri nets to workflow management. J. Circuits Syst. Comput. 8(01), 21\u201366 (1998)","journal-title":"J. Circuits Syst. Comput."},{"key":"35_CR4","doi-asserted-by":"crossref","unstructured":"Adriansyah, A., van Dongen, B.F., van\u00a0der Aalst, W.M.: Conformance checking using cost-based fitness analysis. In: 2011 IEEE 15th International Enterprise Distributed Object Computing Conference, pp. 55\u201364. IEEE (2011)","DOI":"10.1109\/EDOC.2011.12"},{"key":"35_CR5","unstructured":"Allweyer, T.: BPMN 2.0: introduction to the standard for business process modeling. BoD\u2013Books on Demand (2016)"},{"key":"35_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/3-540-55511-0_18","volume-title":"Mathematical Foundations of Programming Semantics","author":"B Bloom","year":"1992","unstructured":"Bloom, B., Kwiatkowska, M.: Trade-offs in true concurrency: pomsets and mazurkiewicz traces. In: Brookes, S., Main, M., Melton, A., Mislove, M., Schmidt, D. (eds.) MFPS 1991. LNCS, vol. 598, pp. 350\u2013375. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/3-540-55511-0_18"},{"key":"35_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3502265","volume":"3","author":"P Brauner","year":"2022","unstructured":"Brauner, P., et al.: A computer science perspective on digital transformation in production. J. ACM Trans. Internet Things 3, 1\u201332 (2022). https:\/\/doi.org\/10.1145\/3502265","journal-title":"J. ACM Trans. Internet Things"},{"key":"35_CR8","doi-asserted-by":"crossref","unstructured":"Brockhoff, T., et al.: Process prediction with digital twins. In: International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pp. 182\u2013187. ACM\/IEEE (2021)","DOI":"10.1109\/MODELS-C53483.2021.00032"},{"key":"35_CR9","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.eswa.2016.08.040","volume":"65","author":"A Burattin","year":"2016","unstructured":"Burattin, A., Maggi, F.M., Sperduti, A.: Conformance checking based on multi-perspective declarative process models. Expert Syst. Appl. 65, 194\u2013211 (2016). https:\/\/doi.org\/10.1016\/j.eswa.2016.08.040","journal-title":"Expert Syst. Appl."},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"Butting, A., Kautz, O., Rumpe, B., Wortmann, A.: Semantic differencing for message-driven component & connector architectures. In: International Conference on Software Architecture (ICSA 2017), pp. 145\u2013154. IEEE (2017)","DOI":"10.1109\/ICSA.2017.34"},{"key":"35_CR11","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/j.jss.2018.12.016","volume":"149","author":"A Butting","year":"2019","unstructured":"Butting, A., Kautz, O., Rumpe, B., Wortmann, A.: Continuously analyzing finite, message-driven, time-synchronous component & connector systems during architecture evolution. J. Syst. Softw. (JSS) 149, 437\u2013461 (2019). https:\/\/doi.org\/10.1016\/j.jss.2018.12.016","journal-title":"J. Syst. Softw. (JSS)"},{"key":"35_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"670","DOI":"10.1007\/978-3-642-04425-0_54","volume-title":"Model Driven Engineering Languages and Systems","author":"MV Cengarle","year":"2009","unstructured":"Cengarle, M.V., Gr\u00f6nniger, H., Rumpe, B.: Variability within modeling language definitions. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 670\u2013684. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04425-0_54"},{"key":"35_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/3-540-45669-4_7","volume-title":"Object Modeling with the OCL","author":"S Cook","year":"2002","unstructured":"Cook, S., Kleppe, A., Mitchell, R., Rumpe, B., Warmer, J., Wills, A.: The Amsterdam manifesto on OCL. In: Clark, T., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol. 2263, pp. 115\u2013149. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45669-4_7"},{"issue":"12","key":"35_CR14","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"RM Dijkman","year":"2008","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281\u20131294 (2008)","journal-title":"Inf. Softw. Technol."},{"key":"35_CR15","doi-asserted-by":"crossref","unstructured":"Drave, I., Eikermann, R., Kautz, O., Rumpe, B.: Semantic differencing of statecharts for object-oriented systems. In: Hammoudi, S., Pires, L.F., Seli\u0107, B. (eds.) 7th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2019), pp. 274\u2013282. SciTePress (2019)","DOI":"10.5220\/0007351902740282"},{"key":"35_CR16","doi-asserted-by":"crossref","unstructured":"Drave, I., Kautz, O., Michael, J., Rumpe, B.: Semantic evolution analysis of feature models. In: Berger, T., et al. (eds.) International Systems and Software Product Line Conference (SPLC 2019), pp. 245\u2013255. ACM (2019)","DOI":"10.1145\/3336294.3336300"},{"key":"35_CR17","doi-asserted-by":"crossref","unstructured":"Drave, I., Michael, J., M\u00fcller, E., Rumpe, B., Varga, S.: Model-driven engineering of process-aware information systems. Springer Nature Comput. Sci. J. 3 (2022)","DOI":"10.1007\/s42979-022-01334-3"},{"key":"35_CR18","doi-asserted-by":"publisher","unstructured":"Dunzer, S., Stierle, M., Matzner, M., Baier, S.: Conformance checking: a state-of-the-art literature review. In: 11th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2019. ACM, New York (2019). https:\/\/doi.org\/10.1145\/3329007.3329014","DOI":"10.1145\/3329007.3329014"},{"key":"35_CR19","doi-asserted-by":"crossref","unstructured":"Fernandes, J., Reis, J., Mel\u00e3o, N., Teixeira, L., Amorim, M.: The role of industry 4.0 and BPMN in the arise of condition-based and predictive maintenance: a case study in the automotive industry. Appl. Sci. 11(8), 3438 (2021)","DOI":"10.3390\/app11083438"},{"key":"35_CR20","unstructured":"Gamma, E., Helm, R., Johnson, R.E., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Prentice Hall (1997)"},{"key":"35_CR21","doi-asserted-by":"publisher","unstructured":"Gogolla, M., Henderson-Sellers, B.: Analysis of UML Stereotypes within the UML Metamodel, pp. 84\u201399. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45800-x_8","DOI":"10.1007\/3-540-45800-x_8"},{"key":"35_CR22","unstructured":"Gr\u00f6nniger, H., Krahn, H., Rumpe, B., Schindler, M., V\u00f6lkel, S.: MontiCore 1.0: Ein Framework zur Erstellung und Verarbeitung dom\u00e4nspezifischer Sprachen. Informatik-Bericht 2006-04, CFG-Fakult\u00e4t, TU Braunschweig (2006)"},{"key":"35_CR23","doi-asserted-by":"crossref","unstructured":"Gr\u00f6nniger, H., Rumpe, B.: Modeling language variability. In: Workshop on Modeling, Development and Verification of Adaptive Systems. (16th Monterey Workshop). Redmond, Microsoft Research (2010)","DOI":"10.1007\/978-3-642-21292-5_2"},{"key":"35_CR24","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-319-27869-8_3","volume-title":"Model-Driven Engineering and Software Development","author":"A Haber","year":"2015","unstructured":"Haber, A., et al.: Composition of heterogeneous modeling languages. In: Desfray, P., Filipe, J., Hammoudi, S., Pires, L.F. (eds.) MODELSWARD 2015. CCIS, vol. 580, pp. 45\u201366. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-27869-8_3"},{"key":"35_CR25","doi-asserted-by":"crossref","unstructured":"Haber, A., et al.: Integration of heterogeneous modeling languages via extensible and composable language components. In: Model-Driven Engineering and Software Development Conference (MODELSWARD 2015), pp. 19\u201331. SciTePress (2015)","DOI":"10.5220\/0005225000190031"},{"issue":"10","key":"35_CR26","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/MC.2004.172","volume":"37","author":"D Harel","year":"2004","unstructured":"Harel, D., Rumpe, B.: Meaningful modeling: what\u2019s the semantics of \u201csemantics\u2019\u2019? IEEE Comput. J. 37(10), 64\u201372 (2004)","journal-title":"IEEE Comput. J."},{"key":"35_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/BFb0049331","volume-title":"Computer Science Logic","author":"Y Hirshfeld","year":"1994","unstructured":"Hirshfeld, Y.: Petri nets and the equivalence problem. In: B\u00f6rger, E., Gurevich, Y., Meinke, K. (eds.) CSL 1993. LNCS, vol. 832, pp. 165\u2013174. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/BFb0049331"},{"key":"35_CR28","unstructured":"H\u00f6lldobler, K., Kautz, O., Rumpe, B.: MontiCore Language Workbench and Library Handbook: Edition 2021. Aachener Informatik-Berichte, Software Engineering, Band 48, Shaker Verlag (2021)"},{"key":"35_CR29","unstructured":"ITU-T: Information technology \u2013 Open Systems Interconnection \u2013 Basic Reference Model: The basic model. ITU-T X.200, Int. Telecommunication Union (1994)"},{"key":"35_CR30","unstructured":"Kautz, O.: Model Analyses Based on Semantic Differencing and Automatic Model Repair. Aachener Informatik-Berichte, Software Engineering, Band 46, Shaker Verlag (2021)"},{"key":"35_CR31","unstructured":"Kautz, O., Rumpe, B.: Semantic differencing of activity diagrams by a translation into finite automata. In: MODELS 2018. Workshop ME (2018)"},{"key":"35_CR32","doi-asserted-by":"crossref","unstructured":"Knuplesch, D., Reichert, M., Pryss, R., Fdhila, W., Rinderle-Ma, S.: Ensuring compliance of distributed and collaborative workflows. In: 9th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, pp. 133\u2013142. IEEE (2013)","DOI":"10.4108\/icst.collaboratecom.2013.254095"},{"key":"35_CR33","unstructured":"Konersmann, M., Michael, J., Rumpe, B.: Towards Reference Models with Conformance Relations for Structure, pp. 247\u2013269. Logos Verlag Berlin (2024)"},{"issue":"3","key":"35_CR34","doi-asserted-by":"publisher","first-page":"1","DOI":"10.5381\/jot.2024.23.3.a5","volume":"23","author":"M Konersmann","year":"2024","unstructured":"Konersmann, M., Rumpe, B., Stachon, M., St\u00fcber, S., Voufo, V.: Towards a semantically useful definition of conformance with a reference model. J. Object Technol. (JOT) 23(3), 1\u201314 (2024). https:\/\/doi.org\/10.5381\/jot.2024.23.3.a5","journal-title":"J. Object Technol. (JOT)"},{"key":"35_CR35","doi-asserted-by":"publisher","unstructured":"Koren, I., et al.: Navigating the data model divide in smart manufacturing: an empirical investigation for enhanced AI integration. In: van der Aa, H., Bork, D., Schmidt, R., Sturm, A. (eds.) Enterprise, Business-Process and Information Systems Modeling, pp. 275\u2013290. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-61007-3_21","DOI":"10.1007\/978-3-031-61007-3_21"},{"key":"35_CR36","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/s41060-018-0107-0","volume":"6","author":"G Kougka","year":"2018","unstructured":"Kougka, G., Gounaris, A., Simitsis, A.: The many faces of data-centric workflow optimization: a survey. Int. J. Data Sci. Anal. 6, 81\u2013107 (2018). https:\/\/doi.org\/10.1007\/s41060-018-0107-0","journal-title":"Int. J. Data Sci. Anal."},{"key":"35_CR37","doi-asserted-by":"publisher","unstructured":"La Rosa, M., Dumas, M., ter Hofstede, A.H., Mendling, J.: Configurable multi-perspective business process models. Inf. Syst. 36(2), 313\u2013340 (2011). https:\/\/doi.org\/10.1016\/j.is.2010.07.001. Special Issue: Semantic Integration of Data, Multimedia, and Services","DOI":"10.1016\/j.is.2010.07.001"},{"key":"35_CR38","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-319-11653-2_8","volume-title":"Model-Driven Engineering Languages and Systems","author":"P Langer","year":"2014","unstructured":"Langer, P., Mayerhofer, T., Kappel, G.: Semantic model differencing utilizing behavioral semantics specifications. In: Dingel, J., Schulte, W., Ramos, I., Abrah\u00e3o, S., Insfran, E. (eds.) Model-Driven Engineering Languages and Systems, pp. 116\u2013132. Springer, Cham (2014)"},{"issue":"5","key":"35_CR39","first-page":"756","volume":"9","author":"HW Lim","year":"2012","unstructured":"Lim, H.W., Kerschbaum, F., Wang, H.: Workflow signatures for business process compliance. IEEE Trans. Dependable Secure Comput. 9(5), 756\u2013769 (2012)","journal-title":"IEEE Trans. Dependable Secure Comput."},{"key":"35_CR40","doi-asserted-by":"crossref","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: ADDiff: semantic differencing for activity diagrams. In: Conference on Foundations of Software Engineering (ESEC\/FSE 2011), pp. 179\u2013189. ACM (2011)","DOI":"10.1145\/2025113.2025140"},{"key":"35_CR41","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: An Operational Semantics for Activity Diagrams using SMV. Technical Report AIB-2011-07, RWTH Aachen University (2011)"},{"key":"35_CR42","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-642-22655-7_12","volume-title":"ECOOP 2011 - Object-Oriented Programming","author":"S Maoz","year":"2011","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: CDDiff: semantic differencing for class diagrams. In: Mezini, M. (ed.) ECOOP 2011 - Object-Oriented Programming, pp. 230\u2013254. Springer, Heidelberg (2011)"},{"key":"35_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-642-22655-7_14","volume-title":"ECOOP 2011 \u2013 Object-Oriented Programming","author":"S Maoz","year":"2011","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: Modal object diagrams. In: Mezini, M. (ed.) ECOOP 2011. LNCS, vol. 6813, pp. 281\u2013305. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22655-7_14"},{"key":"35_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/3-540-17906-2_30","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency","author":"A Mazurkiewicz","year":"1987","unstructured":"Mazurkiewicz, A.: Trace theory. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) ACPN 1986. LNCS, vol. 255, pp. 278\u2013324. Springer, Heidelberg (1987). https:\/\/doi.org\/10.1007\/3-540-17906-2_30"},{"issue":"2","key":"35_CR45","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/s10618-006-0061-7","volume":"14","author":"AKA de Medeiros","year":"2007","unstructured":"de Medeiros, A.K.A., Weijters, A.J., van der Aalst, W.M.: Genetic process mining: an experimental evaluation. Data Min. Knowl. Disc. 14(2), 245\u2013304 (2007)","journal-title":"Data Min. Knowl. Disc."},{"issue":"1","key":"35_CR46","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s10270-023-01128-y","volume":"23","author":"J Michael","year":"2024","unstructured":"Michael, J., Bork, D., Wimmer, M., Mayr, H.C.: Quo Vadis modeling? Findings of a community survey, an ad-hoc bibliometric analysis, and expert interviews on data, process, and software modeling. J. Softw. Syst. Model. (SoSyM) 23(1), 7\u201328 (2024). https:\/\/doi.org\/10.1007\/s10270-023-01128-y","journal-title":"J. Softw. Syst. Model. (SoSyM)"},{"key":"35_CR47","doi-asserted-by":"publisher","unstructured":"Michael, J., et al.: A digital shadow reference model for worldwide production labs. In: Brecher, C., Schuh, G., van der Aalst, W., Jarke, M., Piller, F., Padberg, M. (eds.) Internet of Production: Fundamentals, Applications and Proceedings, pp. 1\u201328. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-030-98062-7_3-2","DOI":"10.1007\/978-3-030-98062-7_3-2"},{"key":"35_CR48","unstructured":"Michael, J., Rumpe, B., Stachon, M., St\u00fcber, S., Voufo, V.: Workflow conformance test resources (2025). WorkflowConformance\/src\/test\/resources\/de\/monticore\/bpmn\/conformance. Accessed 23 Sept 2025"},{"key":"35_CR49","unstructured":"Michael, J., Rumpe, B., Stachon, M., St\u00fcber, S., Voufo, V.: Workflow conformance tests (2025). WorkflowConformance\/src\/test\/java\/de\/monticore\/bpmn\/conformance. Accessed 23 Sept 2025"},{"key":"35_CR50","unstructured":"Business process model and notation (2014)"},{"key":"35_CR51","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2021.101810","volume":"102","author":"M Pegoraro","year":"2021","unstructured":"Pegoraro, M., Uysal, M.S., van der Aalst, W.M.: Conformance checking over uncertain event data. Inf. Syst. 102, 101810 (2021)","journal-title":"Inf. Syst."},{"issue":"1","key":"35_CR52","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V Pratt","year":"1986","unstructured":"Pratt, V.: Modeling concurrency with partial orders. Int. J. Parallel Prog. 15(1), 33\u201371 (1986)","journal-title":"Int. J. Parallel Prog."},{"key":"35_CR53","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"676","DOI":"10.1007\/978-3-030-37453-2_54","volume-title":"Business Process Management Workshops","author":"M Rafiei","year":"2019","unstructured":"Rafiei, M., van der Aalst, W.M.P.: Mining roles from event logs while preserving privacy. In: Di Francescomarino, C., Dijkman, R., Zdun, U. (eds.) BPM 2019. LNBIP, vol. 362, pp. 676\u2013689. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-37453-2_54"},{"key":"35_CR54","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2025.102525","volume":"131","author":"M Rafiei","year":"2025","unstructured":"Rafiei, M., Pourbafrani, M., van der Aalst, W.M.: Federated conformance checking. Inf. Syst. 131, 102525 (2025)","journal-title":"Inf. Syst."},{"key":"35_CR55","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2023.102210","volume":"115","author":"S Rinderle-Ma","year":"2023","unstructured":"Rinderle-Ma, S., Winter, K., Benzin, J.V.: Predictive compliance monitoring in process-aware information systems: state of the art, functionalities, research directions. Inf. Syst. 115, 102210 (2023)","journal-title":"Inf. Syst."},{"key":"35_CR56","doi-asserted-by":"publisher","unstructured":"Ringert, J.O., Rumpe, B., Stachon, M.: On implementing open world semantic differencing for class diagrams. J. Object Technol. (JOT) 22(2), 2:1\u201314 (2023). https:\/\/doi.org\/10.5381\/jot.2023.22.2.a11","DOI":"10.5381\/jot.2023.22.2.a11"},{"issue":"1","key":"35_CR57","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.is.2005.05.003","volume":"32","author":"M Rosemann","year":"2007","unstructured":"Rosemann, M., Van der Aalst, W.M.: A configurable reference modelling language. Inf. Syst. 32(1), 1\u201323 (2007)","journal-title":"Inf. Syst."},{"key":"35_CR58","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.) Business Process Management Workshops, pp. 163\u2013176. Springer, Heidelberg (2006)"},{"issue":"1","key":"35_CR59","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.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64\u201395 (2008)","journal-title":"Inf. Syst."},{"key":"35_CR60","doi-asserted-by":"publisher","unstructured":"Rumpe, B., Stachon, M., St\u00fcber, S., Voufo, V.: Semantic difference analysis with invariant tracing for class diagrams extended by OCL. In: WS on Model Driven Engineering, Verification and Validation (MoDeVVa), MODELS Companion 2024. ACM (2024). https:\/\/doi.org\/10.1145\/3652620.3687818","DOI":"10.1145\/3652620.3687818"},{"key":"35_CR61","doi-asserted-by":"publisher","unstructured":"Rumpe, B., Stachon, M., St\u00fcber, S., Voufo, V.: Tool-assisted conformance checking to reference process models. arXiv (2025). https:\/\/doi.org\/10.48550\/arXiv.2508.00738","DOI":"10.48550\/arXiv.2508.00738"},{"key":"35_CR62","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-030-76352-7_36","volume-title":"Service-Oriented Computing \u2013 ICSOC 2020 Workshops","author":"D Schuster","year":"2021","unstructured":"Schuster, D., Kolhof, G.J.: Scalable online conformance checking using incremental prefix-alignment computation. In: Hacid, H., et al. (eds.) ICSOC 2020. LNCS, vol. 12632, pp. 379\u2013394. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-76352-7_36"},{"issue":"2","key":"35_CR63","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1108\/14637150610657495","volume":"12","author":"MC Ungan","year":"2006","unstructured":"Ungan, M.C.: Standardization through process documentation. Bus. Process. Manag. J. 12(2), 135\u2013148 (2006). https:\/\/doi.org\/10.1108\/14637150610657495","journal-title":"Bus. Process. Manag. J."},{"key":"35_CR64","doi-asserted-by":"publisher","unstructured":"Weidlich, M., Polyvyanyy, A., Desai, N., Mendling, J., Weske, M.: Process compliance analysis based on behavioural profiles. Inf. Syst. 36(7), 1009\u20131025 (2011). https:\/\/doi.org\/10.1016\/j.is.2011.04.002. Special Issue: Advanced Information Systems Engineering (CAiSE 2010)","DOI":"10.1016\/j.is.2011.04.002"}],"container-title":["Lecture Notes in Computer Science","Mining a Scientist's Process"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-17618-9_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T11:07:36Z","timestamp":1774868856000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-17618-9_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032176172","9783032176189"],"references-count":64,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-17618-9_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"30 March 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that\u00a0are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}}]}}