Well-structured graph transformation systems
Well-structured graph transformation systems
复制标题
结构良好的图形转换系统
DOI：
10.1016/j.ic.2016.03.005
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
Jan Stückrath
中科院分区：
文献类型：
--
作者：
Barbara König;Jan Stückrath
图转换系统（GTSs）可以看作是结构良好的转换系统（WSTSs），通过结构良好，可以获得某些类别的GTSs的可判定性结果。我们提出了一个通用的框架，在准井阶（wqo）上参数化，其中几种类型的gts可以被视为（受限的）wsts。我们用三种阶来实例化这个框架：次阶、子图阶和诱导子图阶。此外，我们考虑了两个案例研究，其中我们应用该理论来分析领导者选举协议和使用我们的工具discover的简单访问权限管理系统。
Graph transformation systems (GTSs) can be seen as well-structured transition systems (WSTSs) and via well-structuredness it is possible to obtain decidability results for certain classes of GTSs. We present a generic framework, parameterized over the well-quasi-order (wqo), in which several types of GTSs can be seen as (restricted) WSTSs. We instantiate this framework with three orders: the minor ordering, the subgraph ordering and the induced subgraph ordering. Furthermore we consider two case studies where we apply the theory to analyze a leader election protocol and a simple access rights management system with our toolUncover.
登录
查看更多内容
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