Transformation Systems with Incremental Negative Application Conditions

Abstract : In several application areas, Graph Transformation Systems (GTSs) are equipped with Negative Application Conditions (NACs) that specify “forbidden contexts”, in which the rules shall not be applied. The extension to NACs, however, introduces inhibiting effects among transformation steps that are not local in general, causing a severe problem for a concurrent semantics. In fact, the relation of sequential independence among derivation steps is not invariant under switching, as we illustrate with an example. We first show that this problem disappears if the NACs are restricted to be incremental. Next we present an algorithm that transforms a GTS with arbitrary NACs into one with incremental NACs only, able to simulate the original GTS. We also show that the two systems are actually equivalent, under certain assumptions on NACs.
Type de document :
Communication dans un congrès
Narciso Martí-Oliet; Miguel Palomino. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. Springer, Lecture Notes in Computer Science, LNCS-7841, pp.127-142, 2013, Recent Trends in Algebraic Development Techniques. 〈10.1007/978-3-642-37635-1_8〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01485982
Contributeur : Hal Ifip <>
Soumis le : jeudi 9 mars 2017 - 15:33:48
Dernière modification le : jeudi 9 mars 2017 - 15:36:07
Document(s) archivé(s) le : samedi 10 juin 2017 - 14:40:20

Fichier

978-3-642-37635-1_8_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Andrea Corradini, Reiko Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall. Transformation Systems with Incremental Negative Application Conditions. Narciso Martí-Oliet; Miguel Palomino. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. Springer, Lecture Notes in Computer Science, LNCS-7841, pp.127-142, 2013, Recent Trends in Algebraic Development Techniques. 〈10.1007/978-3-642-37635-1_8〉. 〈hal-01485982〉

Partager

Métriques

Consultations de la notice

72

Téléchargements de fichiers

27