Augur - A Tool for the Analysis of Graph Transformation Systems

Augur - A Tool for the Analysis of Graph Transformation Systems
复制标题

Augur - 图转换系统分析工具

DOI：
--
复制
发表时间：
2005
期刊：
Bull. EATCS
影响因子：
--
通讯作者：
V. Kozyura
V. Kozyura
中科院分区：
--
文献类型：
--
作者：
B. König;V. Kozyura

文献摘要

被引文献

相似文献

描述了用Augur工具对图变换指定的具有动态演化结构的系统进行验证。在对图形转换系统（GTSs）进行了简短的介绍之后，我们描述了该工具使用的验证技术，即通过Petri网逼近GTSs。代替直接在原始系统中验证性质，它们可以在近似的Petri网上进行验证。我们使用两个小案例研究来解释Augur工具的不同模块的工作原理，其中我们对可重构网络和移动流程进行建模。
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