Subsumptions of SPO Rules
Résumé
In [2] a Global Coherent Transformation is defined, that applies simultaneously algebraic rewriting rules to an input object. The expressiveness of this transformation is enhanced by enabling the use of subsumption morphisms between rules, as in Global Transformations [8]. However, it is not committed to a particular approach to algebraic rewriting, and is therefore formalized in a general representation of such approaches, called a Rewriting Environment. It was shown that suitable environments exist for the Double Pushout, the Sesqui-Pushout and the Pullback-Pushout approaches. In the present paper an environment is exhibited for the Single-Pushout (SPO) approach in categories of presheaves, and it is shown that it enjoys the same property linking subsumptions between SPO rules and subsumptions between direct SPO transformations.
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|