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-2889
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
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