[en] Graph Transformation Systems (GTSs) are an integrated formal speci cation
framework for modelling and analysing structural and behavioural aspects of
systems. The evolution of a system is modelled by the application of rules to the
graphs representing its states and, since typically such rules have local e ects,
GTSs are particularly suitable for modelling concurrent and distributed systems
where several rules can be applied in parallel. Thus, it is no surprise that a large
body of literature is dedicated to the study of the concurrent semantics of graph
transformation systems.
Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2012-460
Author, co-author :
Corradini, Andrea; Dipartimento di Informatica, Università di Pisa, Italy
Heckel, Reiko; University of Leicester, UK
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 :
On the Concurrent Semantics of Transformation Systems with Negative Application Conditions
Publication date :
2012
Publisher :
Universidad Complutense de Madrid Departamento de Sistemas Informáticos y Computación, Madrid, Spain