Abstract
Extension and restriction of derivations are long-known operations in the framework of graph transformation. In this paper, we continue the study of extension and restriction on the higher level of the adhesive categories. A construction of extensions is provided by means of extension spans, and several properties of extensions are shown relating them, in particular, to restrictions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Ehrig, H., Pfender, M., Schneider, H.-J.: Graph grammars: an algebraic approach. In: IEEE Conference on Automata and Switching Theory, Iowa City, pp. 167–180 (1973)
Ehrig, H., Kreowski, H.-J.: Categorical approach to graphic systems and graph grammars. In: Marchesini, G., Mitter, S.K. (eds.) Mathematical Systems Theory, pp. 323–351. Springer, Heidelberg (1976). https://doi.org/10.1007/978-3-642-48895-5_23
Ehrig, H., Kreowski, H.-J.: Pushout-properties: an analysis of gluing constructions for graphs. Math. Nachr. 91, 135–149 (1979)
Ehrig, H.: Embedding theorems in the algebraic theory of graph grammars. In: Karpiński, M. (ed.) FCT 1977. LNCS, vol. 56, pp. 245–255. Springer, Heidelberg (1977). https://doi.org/10.1007/3-540-08442-8_91
Kreowski, H.-J.: Manipulationen von Graphmanipulationen. Ph.D. thesis, Technische Universität Berlin (1978)
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
Ehrig, H., Ermel, C., Golas, U., Hermann, F.: Graph and Model Transformation - 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
Kreowski, H.-J., Lye, A., Windhorst, A.: Moving a derivation along a derivation preserves the spine in adhesive high-level replacement systems (2024, submitted)
Hutchinson, J.E.: Fractals and self similarity. Indiana Univ. Math. J. 30(5), 713–747 (1981)
Drewes, F., Kreowski, H.-J.: Picture generation by collage grammars. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) Handbook Of Graph Grammars And Computing By Graph Transformation, vol. 2, chap. 11, pp. 397–457. World Scientific (1999)
Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories - The Joy of Cats. Dover Publications, Mineola (2009)
Lack, S., Sobociński, P.: Adhesive categories. In: Walukiewicz, I. (ed.) FoSSaCS 2004. LNCS, vol. 2987, pp. 273–288. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-24727-2_20
Plump, D.: Computing by graph rewriting. Habilitation thesis, University of Bremen (1999)
Kreowski, H.-J., Kuske, S., Lye, A., Windhorst, A.: Moving a derivation along a derivation preserves the spine. In: Fernández, M., Poskitt, C.M. (eds.) ICGT 2023. LNCS, vol. 13961, pp. 64–80. Springer, Cham (2023). https://doi.org/10.1007/978-3-031-36709-0_4
Acknowledgement
We are grateful to the anonymous reviewers for their valuable comments that led to various improvements.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Kreowski, HJ., Lye, A., Windhorst, A. (2024). Extension and Restriction of Derivations in Adhesive Categories. In: Harmer, R., Kosiol, J. (eds) Graph Transformation. ICGT 2024. Lecture Notes in Computer Science, vol 14774 . Springer, Cham. https://doi.org/10.1007/978-3-031-64285-2_4
Download citation
DOI: https://doi.org/10.1007/978-3-031-64285-2_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-64284-5
Online ISBN: 978-3-031-64285-2
eBook Packages: Computer ScienceComputer Science (R0)