{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T15:14:47Z","timestamp":1773501287720,"version":"3.50.1"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031947056","type":"print"},{"value":"9783031947063","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-94706-3_4","type":"book-chapter","created":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T08:57:21Z","timestamp":1749805041000},"page":"63-90","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Granular Conflict Analysis for\u00a0Transformation Rules with\u00a0Application Conditions"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-9077-9817","authenticated-orcid":false,"given":"Alexander","family":"Lauer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4733-2777","authenticated-orcid":false,"given":"Jens","family":"Kosiol","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3975-5238","authenticated-orcid":false,"given":"Gabriele","family":"Taentzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,6,13]]},"reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-319-92991-0_7","volume-title":"Graph Transformation","author":"GG Azzi","year":"2018","unstructured":"Azzi, G.G., Corradini, A., Ribeiro, L.: On the essence and initiality of conflicts. In: Lambers, L., Weber, J. (eds.) ICGT 2018. LNCS, vol. 10887, pp. 99\u2013117. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-92991-0_7"},{"key":"4_CR2","doi-asserted-by":"publisher","unstructured":"Azzi, G.G., Corradini, A., Ribeiro, L.: On the essence and initiality of conflicts in $$\\cal{M}$$-adhesive transformation systems. J. Log. Algebraic Methods Program. 109 (2019). https:\/\/doi.org\/10.1016\/J.JLAMP.2019.100482","DOI":"10.1016\/J.JLAMP.2019.100482"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-319-61470-0_8","volume-title":"Graph Transformation","author":"K Born","year":"2017","unstructured":"Born, K., Lambers, L., Str\u00fcber, D., Taentzer, G.: Granularity of conflicts and dependencies in graph transformation systems. In: de Lara, J., Plump, D. (eds.) ICGT 2017. LNCS, vol. 10373, pp. 125\u2013141. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61470-0_8"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/J.TCS.2021.06.010","volume":"884","author":"G Campbell","year":"2021","unstructured":"Campbell, G., Plump, D.: Confluence up to garbage in graph transformation. Theor. Comput. Sci. 884, 1\u201322 (2021). https:\/\/doi.org\/10.1016\/J.TCS.2021.06.010","journal-title":"Theor. Comput. Sci."},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-75396-6_1","volume-title":"Graph Transformation, Specifications, and Nets","author":"A Corradini","year":"2018","unstructured":"Corradini, A., et al.: On the essence of parallel independence for the double-pushout and sesqui-pushout approaches. In: Heckel, R., Taentzer, G. (eds.) Graph Transformation, Specifications, and Nets. LNCS, vol. 10800, pp. 1\u201318. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-75396-6_1"},{"key":"4_CR6","doi-asserted-by":"publisher","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/3-540-31188-2","DOI":"10.1007\/3-540-31188-2"},{"key":"4_CR7","doi-asserted-by":"publisher","unstructured":"Ehrig, H., Ermel, C., Golas, U., Hermann, F.: Graph and Model Transformation \u2013 General Framework and Applications. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-47980-3","DOI":"10.1007\/978-3-662-47980-3"},{"key":"4_CR8","doi-asserted-by":"publisher","unstructured":"Ehrig, H., Golas, U., Habel, A., Lambers, L., Orejas, F.: $$\\cal{M}$$-adhesive transformation systems with nested application conditions. Part 2: embedding, critical pairs and local confluence. Fundam. Inform. 118(1\u20132), 35\u201363 (2012). https:\/\/doi.org\/10.3233\/FI-2012-705","DOI":"10.3233\/FI-2012-705"},{"key":"4_CR9","doi-asserted-by":"publisher","unstructured":"Ehrig, H., Golas, U., Habel, A., Lambers, L., Orejas, F.: $$\\cal{M}$$-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. Math. Struct. Comput. Sci. 24(4) (2014). https:\/\/doi.org\/10.1017\/S0960129512000357","DOI":"10.1017\/S0960129512000357"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/978-3-642-15928-2_22","volume-title":"Graph Transformations","author":"H Ehrig","year":"2010","unstructured":"Ehrig, H., Habel, A., Lambers, L., Orejas, F., Golas, U.: Local confluence for rules with nested application conditions. In: Ehrig, H., Rensink, A., Rozenberg, G., Sch\u00fcrr, A. (eds.) ICGT 2010. LNCS, vol. 6372, pp. 330\u2013345. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15928-2_22"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-540-30203-2_12","volume-title":"Graph Transformations","author":"H Ehrig","year":"2004","unstructured":"Ehrig, H., Habel, A., Padberg, J., Prange, U.: Adhesive high-level replacement categories and systems. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 144\u2013160. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30203-2_12"},{"issue":"2","key":"4_CR12","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S0960129508007202","volume":"19","author":"A Habel","year":"2009","unstructured":"Habel, A., Pennemann, K.: Correctness of high-level transformation systems relative to nested conditions. Math. Struct. Comput. Sci. 19(2), 245\u2013296 (2009). https:\/\/doi.org\/10.1017\/S0960129508007202","journal-title":"Math. Struct. Comput. Sci."},{"key":"4_CR13","doi-asserted-by":"publisher","unstructured":"Heckel, R., Taentzer, G.: Graph Transformation for Software Engineers - With Applications to Model-Based Development and Domain-Specific Language Engineering. Springer, Heidelberg (2020). https:\/\/doi.org\/10.1007\/978-3-030-43916-3","DOI":"10.1007\/978-3-030-43916-3"},{"issue":"4","key":"4_CR14","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1007\/S10270-022-01078-X","volume":"22","author":"S John","year":"2023","unstructured":"John, S., Kosiol, J., Lambers, L., Taentzer, G.: A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties. Softw. Syst. Model. 22(4), 1281\u20131318 (2023). https:\/\/doi.org\/10.1007\/S10270-022-01078-X","journal-title":"Softw. Syst. Model."},{"key":"4_CR15","doi-asserted-by":"publisher","unstructured":"Knuth, D.E., Bendix, P.B.: Simple word problems in universal algebras. In: Leech, J. (ed.) Computational Problems in Abstract Algebra, pp. 263\u2013297. Pergamon (1970). https:\/\/doi.org\/10.1016\/B978-0-08-012975-4.50028-X","DOI":"10.1016\/B978-0-08-012975-4.50028-X"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"102729","DOI":"10.1016\/J.SCICO.2021.102729","volume":"214","author":"J Kosiol","year":"2022","unstructured":"Kosiol, J., Str\u00fcber, D., Taentzer, G., Zschaler, S.: Sustaining and improving graduated graph consistency: a static analysis of graph transformations. Sci. Comput. Program. 214, 102729 (2022). https:\/\/doi.org\/10.1016\/J.SCICO.2021.102729","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"4_CR17","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1051\/ITA:2005028","volume":"39","author":"S Lack","year":"2005","unstructured":"Lack, S., Sobocinski, P.: Adhesive and quasiadhesive categories. RAIRO Theor. Inform. Appl. 39(3), 511\u2013545 (2005). https:\/\/doi.org\/10.1051\/ITA:2005028","journal-title":"RAIRO Theor. Inform. Appl."},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/J.JLAMP.2018.11.004","volume":"103","author":"L Lambers","year":"2019","unstructured":"Lambers, L., Born, K., Kosiol, J., Str\u00fcber, D., Taentzer, G.: Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach. J. Log. Algebraic Methods Program. 103, 105\u2013129 (2019). https:\/\/doi.org\/10.1016\/J.JLAMP.2018.11.004","journal-title":"J. Log. Algebraic Methods Program."},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-319-75396-6_6","volume-title":"Graph Transformation, Specifications, and Nets","author":"L Lambers","year":"2018","unstructured":"Lambers, L., Born, K., Orejas, F., Str\u00fcber, D., Taentzer, G.: Initial conflicts and dependencies: critical pairs revisited. In: Heckel, R., Taentzer, G. (eds.) Graph Transformation, Specifications, and Nets. LNCS, vol. 10800, pp. 105\u2013123. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-75396-6_6"},{"key":"4_CR20","doi-asserted-by":"publisher","unstructured":"Lambers, L., Ehrig, H., Orejas, F.: Efficient conflict detection in graph transformation systems by essential critical pairs. In: Bruni, R., Varr\u00f3, D. (eds.) Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria, 1\u20132 April 2006. Electronic Notes in Theoretical Computer Science, vol.\u00a0211, pp. 17\u201326. Elsevier (2006). https:\/\/doi.org\/10.1016\/J.ENTCS.2008.04.026","DOI":"10.1016\/J.ENTCS.2008.04.026"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-030-23611-3_5","volume-title":"Graph Transformation","author":"L Lambers","year":"2019","unstructured":"Lambers, L., Kosiol, J., Str\u00fcber, D., Taentzer, G.: Exploring conflict reasons for graph transformation systems. In: Guerra, E., Orejas, F. (eds.) ICGT 2019. LNCS, vol. 11629, pp. 75\u201392. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-23611-3_5"},{"key":"4_CR22","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1016\/J.TCS.2021.07.023","volume":"884","author":"L Lambers","year":"2021","unstructured":"Lambers, L., Orejas, F.: Transformation rules with nested application conditions: critical pairs, initial conflicts & minimality. Theor. Comput. Sci. 884, 44\u201367 (2021). https:\/\/doi.org\/10.1016\/J.TCS.2021.07.023","journal-title":"Theor. Comput. Sci."},{"key":"4_CR23","doi-asserted-by":"publisher","unstructured":"Lambers, L., Str\u00fcber, D., Taentzer, G., Born, K., Huebert, J.: Multi-granular conflict and dependency analysis in software engineering based on graph transformation. In: Chaudron, M., Crnkovic, I., Chechik, M., Harman, M. (eds.) Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, 27 May\u201303 June 2018, pp. 716\u2013727. ACM (2018). https:\/\/doi.org\/10.1145\/3180155.3180258","DOI":"10.1145\/3180155.3180258"},{"issue":"4","key":"4_CR24","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1007\/S11334-024-00587-W","volume":"20","author":"A Lauer","year":"2024","unstructured":"Lauer, A., Kosiol, J., Taentzer, G.: Empowering model repair: a rule-based approach to graph repair without side effects - extended version. Innov. Syst. Softw. Eng. 20(4), 597\u2013618 (2024). https:\/\/doi.org\/10.1007\/S11334-024-00587-W","journal-title":"Innov. Syst. Softw. Eng."},{"key":"4_CR25","doi-asserted-by":"publisher","unstructured":"Plump, D.: Hypergraph rewriting: critical pairs and undecidability of confluence. In: Sleep, M.R., Plasmeijer, M.J., van Eekelen, M.C.J.D. (eds.) Term Graph Rewriting: Theory and Practice, pp. 201\u2013213. John Wiley and Sons Ltd. (1993). https:\/\/doi.org\/10.5555\/167817.167851","DOI":"10.5555\/167817.167851"},{"key":"4_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/978-3-540-30203-2_23","volume-title":"Graph Transformations","author":"A Rensink","year":"2004","unstructured":"Rensink, A.: Representing first-order logic using graphs. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 319\u2013335. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30203-2_23"},{"key":"4_CR27","doi-asserted-by":"publisher","unstructured":"Sandmann, C., Habel, A.: Rule-based graph repair. In: Echahed, R., Plump, D. (eds.) Proceedings Tenth International Workshop on Graph Computation Models, GCM@STAF 2019, Eindhoven, The Netherlands, 17th July 2019. EPTCS, vol.\u00a0309, pp. 87\u2013104 (2019). https:\/\/doi.org\/10.4204\/EPTCS.309.5","DOI":"10.4204\/EPTCS.309.5"}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-94706-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T08:57:22Z","timestamp":1749805042000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-94706-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031947056","9783031947063"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-94706-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"13 June 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"ICGT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Graph Transformation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Koblenz","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":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 June 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 June 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icgt2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/icgt-2025","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}