Transformation Systems with Incremental Negative Application Conditions - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Transformation Systems with Incremental Negative Application Conditions

Andrea Corradini
  • Fonction : Auteur
  • PersonId : 1003773
Reiko Heckel
  • Fonction : Auteur
  • PersonId : 1003778
Frank Hermann
  • Fonction : Auteur
  • PersonId : 1003779
Susann Gottmann
  • Fonction : Auteur
  • PersonId : 1003780
Nico Nachtigall
  • Fonction : Auteur
  • PersonId : 1003781

Résumé

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.
Fichier principal
Vignette du fichier
978-3-642-37635-1_8_Chapter.pdf (970.09 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01485982 , version 1 (09-03-2017)

Licence

Paternité

Identifiants

Citer

Andrea Corradini, Reiko Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall. Transformation Systems with Incremental Negative Application Conditions. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.127-142, ⟨10.1007/978-3-642-37635-1_8⟩. ⟨hal-01485982⟩
92 Consultations
54 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More