{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T04:45:59Z","timestamp":1782535559710,"version":"3.54.5"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032297297","type":"print"},{"value":"9783032297303","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-29730-3_5","type":"book-chapter","created":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T04:06:53Z","timestamp":1782533213000},"page":"88-108","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Conflict Essences for\u00a0Transformation Rules with\u00a0Nested Application Conditions"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-9077-9817","authenticated-orcid":false,"given":"Alexander","family":"Lauer","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4733-2777","authenticated-orcid":false,"given":"Jens","family":"Kosiol","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6937-5167","authenticated-orcid":false,"given":"Leen","family":"Lambers","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3975-5238","authenticated-orcid":false,"given":"Gabriele","family":"Taentzer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,6,28]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-642-16145-2_9","volume-title":"Model Driven Engineering Languages and Systems","author":"T Arendt","year":"2010","unstructured":"Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place EMF model transformations. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010. LNCS, vol. 6394, pp. 121\u2013135. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16145-2_9"},{"key":"5_CR2","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":"5_CR3","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":"5_CR4","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":"5_CR5","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":"5_CR6","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. Fund. Informaticae 118(1\u20132), 35\u201363 (2012). https:\/\/doi.org\/10.3233\/FI-2012-705","DOI":"10.3233\/FI-2012-705"},{"key":"5_CR7","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"},{"key":"5_CR8","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M Fowler","year":"2018","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley Professional, Boston (2018)"},{"key":"5_CR9","doi-asserted-by":"publisher","unstructured":"Fritsche, L., Lauer, A., Kratz, M., Sch\u00fcrr, A., Taentzer, G.: Using weakest application conditions to rank graph transformations for graph repair. Log. Methods Comput. Sci. 22(1) (2026). https:\/\/doi.org\/10.46298\/LMCS-22(1:10)2026","DOI":"10.46298\/LMCS-22(1:10)2026"},{"issue":"2","key":"5_CR10","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":"5_CR11","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":"5_CR12","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."},{"issue":"3","key":"5_CR13","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. Inf. Appl. 39(3), 511\u2013545 (2005). https:\/\/doi.org\/10.1051\/ITA:2005028","journal-title":"RAIRO Theor. Inf. Appl."},{"key":"5_CR14","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":"5_CR15","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":"5_CR16","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":"5_CR17","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":"5_CR18","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"},{"key":"5_CR19","unstructured":"Lauer, A., Kosiol, J., Lambers, L., Taentzer, G.: Conflict essences for transformation rules with nested application conditions \u2013 long version (2026). https:\/\/arxiv.org\/abs\/2605.04947"},{"issue":"4","key":"5_CR20","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":"5_CR21","doi-asserted-by":"publisher","unstructured":"Lauer, A., Kosiol, J., Taentzer, G.: Granular conflict analysis for transformation rules with application conditions. In: Endrullis, J., Tichy, M. (eds.) Graph Transformation \u2013 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, 11\u201312 June 2025, Proceedings. Lecture Notes in Computer Science, vol. 15720, pp. 63\u201390. Springer, Heidelberg (2025). https:\/\/doi.org\/10.1007\/978-3-031-94706-3_4","DOI":"10.1007\/978-3-031-94706-3_4"},{"key":"5_CR22","unstructured":"Pennemann, K.: Development of correct graph transformation systems. Ph.D. thesis, University of Oldenburg, Germany (2009). https:\/\/nbn-resolving.org\/urn:nbn:de:gbv:715-oops-9483"},{"key":"5_CR23","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":"5_CR24","doi-asserted-by":"publisher","unstructured":"Rensink, A., Corradini, A.: On categories of nested conditions. In: Jansen, N., et al. (eds.) Principles of Verification: Cycling the Probabilistic Landscape \u2013 Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I. Lecture Notes in Computer Science, vol. 15260, pp. 393\u2013418. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-75783-9_16","DOI":"10.1007\/978-3-031-75783-9_16"}],"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-032-29730-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T04:06:54Z","timestamp":1782533214000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-29730-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032297297","9783032297303"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-29730-3_5","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":"28 June 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 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":"Rennes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 July 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 July 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icgt2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/icgt-2026","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}