Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Transformation Systems with Incremental Negative Application Conditions
Corradini, Andrea; Heckel, Reiko; Hermann, Frank et al.
2013In Recent Trends in Algebraic Development Techniques
Peer reviewed
 

Files


Full Text
10.1007_978-3-642-37635-1_8(1).pdf
Publisher postprint (979.55 kB)
Request a copy

The final publication is available at link.springer.com


All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
graph transformation; negative application conditions; switch equivalence
Abstract :
[en] 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 beincremental. 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.
Disciplines :
Computer science
Author, co-author :
Corradini, Andrea
Heckel, Reiko
Hermann, Frank ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Gottmann, Susann ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Nachtigall, Nico ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Language :
English
Title :
Transformation Systems with Incremental Negative Application Conditions
Publication date :
2013
Event name :
Int. Workshop on Recent Trends in Algebraic Development Techniques
Event organizer :
UCM, Spain
Event place :
Salamanca, Spain
Event date :
from 07-06-2012 to 10-06-2012
Audience :
International
Main work title :
Recent Trends in Algebraic Development Techniques
Publisher :
Springer
ISBN/EAN :
978-3-642-37634-4
Collection name :
Lecture Notes in Computer Science Volume, Volume 7841
Pages :
127-142
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 17 July 2013

Statistics


Number of views
90 (17 by Unilu)
Number of downloads
1 (1 by Unilu)

Scopus citations®
 
3
Scopus citations®
without self-citations
0
OpenCitations
 
3

Bibliography


Similar publications



Contact ORBilu