König, Barbara; Kozioura, Vitali:
Augur-A Tool for the Analysis of Graph Transformation Systems
2005
In: Bulletin of the European Association for Theoretical Computer Science (EATCS Bulletin), Band 87 (2005), S. 125 - 137
Artikel/Aufsatz in Zeitschrift / Fach: Informatik
Titel:
Augur-A Tool for the Analysis of Graph Transformation Systems
Autor(in):
König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Kozioura, Vitali
Erscheinungsjahr:
2005
Erschienen in:
Bulletin of the European Association for Theoretical Computer Science (EATCS Bulletin), Band 87 (2005), S. 125 - 137
ISSN:
Link URL:
Link URL:

Abstract:

We describe the tool Augur for the verification of systems with dynamically evolving structure specified by graph transformation. After giving a short introduction to graph transformation systems (GTSs), we describe the verification techniques used by the tool, namely the approximation of GTSs by Petri nets. Instead of verifying properties directly in the original system, they can be checked on the approximating Petri net. We explain the workings of the different modules of the Augur tool using two small case studies where we model reconfigurable networks and mobile processes. Appeared in The Formal Specification Column