König, Barbara; Kozioura, Vitali:
Augur-A Tool for the Analysis of Graph Transformation Systems
In: Bulletin of the European Association for Theoretical Computer Science (EATCS Bulletin), Band 87 (2005), S. 125 - 137
2005Artikel/Aufsatz in Zeitschrift
Informatik
Titel:
Augur-A Tool for the Analysis of Graph Transformation Systems
Autor*in:
König, BarbaraUDE
GND
1050396502
LSF ID
15982
ORCID
0000-0002-4193-2889ORCID iD
Sonstiges
der Hochschule zugeordnete*r Autor*in
;
Kozioura, Vitali
Erscheinungsjahr:
2005

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