Augur—A Tool for the Analysis of Graph Transformation Systems


Barbara König and Vitali Kozioura. Augur—a tool for the analysis of graph transformation systems. EATCS Bulletin, 87:125–137, November 2005. Appeared in The Formal Specification Column.


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.

Suggested BibTeX entry:

    author = {Barbara K{\"o}nig and Vitali Kozioura},
    journal = {EATCS Bulletin},
    month = {November},
    note = {Appeared in The Formal Specification Column},
    pages = {125--137},
    title = {Augur---A Tool for the Analysis of Graph Transformation Systems},
    volume = {87},
    year = {2005}

GZipped PostScript (172 kB)PDF (256 kB)
© University of Duisburg-Essen, Theoretical Computer Science group