The PBPO graph transformation approach

Abstract : We propose a new algebraic approach to graph transformation, called the Pullback-Pushout (PBPO) approach, where we combine smoothly the classical modifications to a host graph specified by a first part of a rule, defined as a span of graph morphisms, with the cloning of structures specified by a second span. The motivation behind this new approach is to support cloning of structures in an elegant and efficient way. After a formal definition of the proposed approach, we demonstrate that PBPO rewriting is a conservative extension of agree and the Sesqui-Pushout approaches. Contrary to agree, we show that the proposed PBPO transformation can easily be extended to cope with attributed graphs. In general, totally attributed graphs are not closed under PBPO transformation. We propose sufficient conditions which guarantee that the attribution of transformed graphs is total. Furthermore, a PBPO transformation can affect all parts of a host graph including non local parts (i.e., parts which are outside the image of the left-hand side of a rule). We propose and discuss some conditions which ensure a form of locality of PBPO transformations.
Type de document :
Article dans une revue
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2019, 103, pp.213-231. 〈10.1016/j.jlamp.2018.12.003〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01984720
Contributeur : Dominique Duval <>
Soumis le : jeudi 17 janvier 2019 - 11:29:09
Dernière modification le : jeudi 7 février 2019 - 16:38:48

Identifiants

Collections

Citation

Andrea Corradini, Dominique Duval, Rachid Echahed, Frederic Prost, Leila Ribeiro. The PBPO graph transformation approach. Journal of Logical and Algebraic Methods in Programming, Elsevier, 2019, 103, pp.213-231. 〈10.1016/j.jlamp.2018.12.003〉. 〈hal-01984720〉

Partager

Métriques

Consultations de la notice

65