Moving a Derivation Along a Derivation Preserves the Spine in Adhesive Categories
Autor: | Kreowski, Hans-Jörg, Lye, Aaron, Windhorst, Aljoscha |
---|---|
Rok vydání: | 2023 |
Předmět: | |
Druh dokumentu: | Working Paper |
Popis: | In this paper, we investigate the relationship between two elementary operations on derivations in adhesive high-level replacement systems that are well-known in the context of graph transformation: moving a derivation along a derivation based on parallel and sequential independence on one hand and restriction of a derivation with respect to a monomorphism into the start object on the other hand. Intuitively, a restriction clips off parts of the start object that are never matched by a rule application throughout the derivation on the other hand. As main result, it is shown that moving a derivation preserves its spine being the minimal restriction. Comment: Extended version of the paper published in the proceedings of the 16th International Conference on Graph Transformation; 30 pages |
Databáze: | arXiv |
Externí odkaz: |