The Pullback-Pushout Approach to Algebraic Graph Transformation - CAPP Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

The Pullback-Pushout Approach to Algebraic Graph Transformation

Résumé

Some recent algebraic approaches to graph transformation include a pullback construction involving the match, that allows one to specify the cloning of items of the host graph. We pursue further this trend by proposing the Pullback-Pushout (pb-po) Approach, where we combine smoothly the classical modifications to a host graph specified by a rule (a span of graph morphisms) with the cloning of structures specified by another rule. The approach is shown to be a conservative extension of agree (and thus of the sqpo approach), and we show that it can be extended with standard techniques to attributed graphs. We discuss conditions to ensure a form of locality of transformations, and conditions to ensure that the attribution of transformed graphs is total.

Dates et versions

hal-01984745 , version 1 (17-01-2019)

Identifiants

Citer

Andrea Corradini, Dominique Duval, Rachid Echahed, Frederic Prost, Leila Ribeiro. The Pullback-Pushout Approach to Algebraic Graph Transformation. ICGT 2017, Jul 2017, Marburg, Germany. pp.3-19, ⟨10.1007/978-3-319-61470-0_1⟩. ⟨hal-01984745⟩
206 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More