良结构图变换系统的通用框架
计算机科学中的逻辑
2014-06-19 v1
摘要
图变换系统 (GTSs) 可被视为良结构转换系统 (WSTSs)，从而为某些类别的 GTSs 获得可判定性结果。先前的工作表明，利用 minor 序作为良拟序可以获得良结构性。本文扩展了这一思想，构建了一个通用框架，使得多种类型的 GTSs 可被视为（受限的）WSTSs。我们将该框架实例化为子图序和导出子图序，并将其应用于分析一个简单的访问权限管理系统。
引用
@article{arxiv.1406.4782,
title = {A General Framework for Well-Structured Graph Transformation Systems},
author = {Barbara König and Jan Stückrath},
journal= {arXiv preprint arXiv:1406.4782},
year = {2014}
}
备注
Extended version (including proofs) of a paper accepted at CONCUR 2014