A General Framework for Well-Structured Graph Transformation Systems
A General Framework for Well-Structured Graph Transformation Systems
复制标题
结构良好的图转换系统的通用框架
DOI：
10.1007/978-3-662-44584-6_32
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Jan Stückrath
中科院分区：
文献类型：
--
作者：
Barbara König;Jan Stückrath
图变换系统(GTS)可以被看作是结构良好的转换系统(WTS)，从而获得某些类型的GTS的可判定性结果。在以前的工作中，已经证明了利用次序作为良拟序可以获得良构性。在本文中，我们对这一思想进行了扩展，得到了一个通用的框架，在该框架中，几种类型的GTS可以被视为(受限的)WTS。我们使用子图排序和导出子图排序来实例化该框架，并将其应用于一个简单的访问权限管理系统。
Graph transformation systems (GTSs) can be seen as well-structured transition systems (WSTSs), thus obtaining decidability results for certain classes of GTSs. In earlier work it was shown that well-structuredness can be obtained using the minor ordering as a well-quasi-order. In this paper we extend this idea to obtain a general framework in which several types of GTSs can be seen as (restricted) WSTSs. We instantiate this framework with the subgraph ordering and the induced subgraph ordering and apply it to analyse a simple access rights management system.
登录
查看更多内容
Electronic Communications of the EASST Volume 39 ( 2011 ) 图计算模型 第三届国际图计算模型研讨会 ( GCM 2010 ) 超图范畴推出补集的构建
DOI：
--
发表时间：
2011
期刊：
影响因子：
--
作者：
M. Heumüller;Salil Joshi;B. König;Jan Stückrath
通讯作者：
Jan Stückrath
Ad Hoc网络的参数化验证
DOI：
--
发表时间：
2010
期刊：
International Conference on Concurrency Theory
影响因子：
--
作者：
G. Delzanno;Arnaud Sangnier;G. Zavattaro
通讯作者：
G. Zavattaro
2012-01：将图小定理应用于图变换系统的验证
DOI：
--
发表时间：
2012
期刊：
影响因子：
--
作者：
Salil Joshi;B. König
通讯作者：
B. König
具有负应用条件的结构良好的图转换系统
DOI：
--
发表时间：
2012
期刊：
International Conference on Graph Transformation
影响因子：
--
作者：
B. König;Jan Stückrath
通讯作者：
Jan Stückrath
论图转换系统中可达性和覆盖性的可判定性现状
DOI：
--
发表时间：
2012
期刊：
International Conference on Rewriting Techniques and Applications
影响因子：
--
作者：
N. Bertrand;G. Delzanno;B. König;Arnaud Sangnier;Jan Stückrath
通讯作者：
Jan Stückrath