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), Vol. 87 (2005), pp. 125 - 137
2005article/chapter in journal
Computer Science
Title:
Augur-A Tool for the Analysis of Graph Transformation Systems
Author:
König, BarbaraUDE
GND
1050396502
LSF ID
15982
ORCID
0000-0002-4193-2889ORCID iD
Other
connected with university
;
Kozioura, Vitali
Year of publication:
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