{"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":1782535559000,"version":"3.54.5"},"publisher-location":"Cham","reference-count":18,"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_3","type":"book-chapter","created":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T04:05:55Z","timestamp":1782533155000},"page":"46-67","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Higher-Order Graph Transformation Utilizing Diagram Categories"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-1316-6312","authenticated-orcid":false,"given":"Lars","family":"Friederichs","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2987-8661","authenticated-orcid":false,"given":"Aaron","family":"Lye","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,6,28]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","unstructured":"Ehrig, H., Pfender, M., Schneider, H.J.: Graph-grammars: an algebraic approach. In: 14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973, Proceedings. IEEE Computer Society, pp. 167\u2013180 (1973). https:\/\/doi.org\/10.1109\/SWAT.1973.11","DOI":"10.1109\/SWAT.1973.11"},{"key":"3_CR2","unstructured":"Ehrig, H., et\u00a0al.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. An EATCS Series. Springer (2006)"},{"key":"3_CR3","doi-asserted-by":"publisher","unstructured":"Ehrig, H., et\u00a0al.: Graph and Model Transformation - General Framework and Applications. Monographs in Theoretical Computer Science. An EATCS Series. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-662-47980-3","DOI":"10.1007\/978-3-662-47980-3"},{"key":"3_CR4","doi-asserted-by":"publisher","unstructured":"Ehrig, H., Kreowski, H.-J.: Parallelism of manipulations in multidimensional information structures. In: Proc. Mathematical Foundations of Computer Science. LNCS, vol. 45, pp. 284\u2013293 (1976). https:\/\/doi.org\/10.1007\/3-540-07854-1_188","DOI":"10.1007\/3-540-07854-1_188"},{"key":"3_CR5","unstructured":"Kreowski, H.-J.: Manipulationen von Graphmanipulationen. Ph.D. thesis. Technische Universit\u00e4t Berlin (1978)"},{"key":"3_CR6","doi-asserted-by":"publisher","unstructured":"Ehrig, H., Padberg, J., Ribeiro, L.: Algebraic high-level nets: petri nets revisited. In: Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers. Ed. by Hartmut Ehrig. LNCS, pp. 188\u2013206. Springer (1992). https:\/\/doi.org\/10.1007\/3-540-57867-6_11","DOI":"10.1007\/3-540-57867-6_11"},{"key":"3_CR7","doi-asserted-by":"publisher","unstructured":"Hoffmann, B.: Graph transformation with variables. In: Kreowski, H.-J., et\u00a0al. (eds.) Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, pp. 101\u2013115. Springer, Heidelberg (2005). ISBN: 978-3-540-31847-7. https:\/\/doi.org\/10.1007\/978-3-540-31847-7_6","DOI":"10.1007\/978-3-540-31847-7_6"},{"key":"3_CR8","doi-asserted-by":"publisher","unstructured":"Drewes, F., Hoffmann, B., Plump, D.: Hierarchical graph transformation. J. Comput. Syst. Sci. 64(2), 249\u2013283 (2002). ISSN: 0022-0000. https:\/\/doi.org\/10.1006\/jcss.2001.1790","DOI":"10.1006\/jcss.2001.1790"},{"key":"3_CR9","doi-asserted-by":"publisher","unstructured":"G\u00f6ttler, H.: Deriving productions from productions with an application to picasso\u2019s \u0152uvre. In: Handbook of Graph Grammars and Computing by Graph Transformation, pp. 459\u2013484 (1999). https:\/\/doi.org\/10.1142\/9789812815149_0012","DOI":"10.1142\/9789812815149_0012"},{"key":"3_CR10","doi-asserted-by":"publisher","unstructured":"Parisi-Presicce, F.: On Modifying High Level Replacement Systems\u201d. Partially supported by the European Community under TMR GETGRATS and Esprit WG APPLIGRAPH. In: Electronic Notes in Theoretical Computer Science 44.4 (2001). UNIGRA 2001, Uniform Approaches to Graphical Process Specification Techniques (a Satellite Event of ETAPS 2001), pp. 16\u201327. ISSN: 1571-0661. https:\/\/doi.org\/10.1016\/S1571-0661(04)80940-X. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S157106610480940X","DOI":"10.1016\/S1571-0661(04)80940-X"},{"key":"3_CR11","unstructured":"Machado, R.: Higher-order graph rewriting systems. Ph.D. thesis. Universidade Federal do Rio Grande do Sul \u2013 Instituto de Inform\u00e1tica (2012)"},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/J.TCS.2015.01.034","volume":"594","author":"R Machado","year":"2015","unstructured":"Machado, R., Ribeiro, L., Heckel, R.: Rule-based transformation of graph rewriting rules: towards higher-order graph grammars. Theor. Comput. Sci. 594, 1\u201323 (2015). https:\/\/doi.org\/10.1016\/J.TCS.2015.01.034","journal-title":"Theor. Comput. Sci."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Corradini, A., et\u00a0al.: The category of typed graph grammars and its adjunction with categories of derivations. In: Cuny, J., et\u00a0al. (eds.) Proceedings Fifth Intl. Workshop on Graph Grammars and Their Application to Comp. Sci. LNCS, vol. 1073, pp. 56\u201374. Springer (1996)","DOI":"10.1007\/3-540-61228-9_79"},{"key":"3_CR14","doi-asserted-by":"publisher","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) Graph-Theoretic Concepts in Computer Science, 20th International Workshop, WG \u201994, Herrsching, Germany, June 16-18, 1994, Proceedings. LNCS, vol. 903, pp. 151\u2013163. Springer (1994). https:\/\/doi.org\/10.1007\/3-540-59071-4_45","DOI":"10.1007\/3-540-59071-4_45"},{"key":"3_CR15","doi-asserted-by":"publisher","unstructured":"Eilenberg, S., MacLane, S.: General theory of natural equivalences. Trans. Am. Math. Soc. 58, 231\u2013294 (1945). ISSN: 1088-6850. https:\/\/doi.org\/10.1090\/s0002-9947-1945-0013131-6. http:\/\/dx.doi.org\/10.1090\/S0002-9947-1945-0013131-6","DOI":"10.1090\/s0002-9947-1945-0013131-6"},{"key":"3_CR16","unstructured":"Peschke, G., Tholen, W.: Diagrams, Fibrations, and the Decomposition of Colimits (2020). eprint: arXiv:2006.10890"},{"key":"3_CR17","doi-asserted-by":"publisher","unstructured":"Kreowski, H.-J., Lye, A.: Parallel rule application with doubling avoidance. In: Endrullis, J., Tichy, M. (eds.) Graph Transformation - 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings, vol. 15720, pp. 44\u201362. LNCS. Springer (2025). https:\/\/doi.org\/10.1007\/978-3-031-94706-3_3","DOI":"10.1007\/978-3-031-94706-3_3"},{"key":"3_CR18","doi-asserted-by":"publisher","unstructured":"Friederichs, L., Lye, A.: Graph-transformational threat modeling. In: Endrullis, J., Tichy, M. (eds.) Graph Transformation - 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings, vol. 15720, pp. 205\u2013217. Springer (2025). https:\/\/doi.org\/10.1007\/978-3-031-94706-3_10","DOI":"10.1007\/978-3-031-94706-3_10"}],"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_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T04:05:56Z","timestamp":1782533156000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-29730-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032297297","9783032297303"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-29730-3_3","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"}}]}}