Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations
Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations
复制标题
具有全邻域操作的图转换系统的参数化验证
DOI：
10.1007/978-3-319-11439-2_6
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Jan Stückrath
中科院分区：
文献类型：
--
作者：
Giorgio Delzanno;Jan Stückrath
我们引入了一类新的图变换系统，其中重写规则可以由节点邻域上的普遍量化条件来保护。这些条件是通过特殊的图形模式定义的，这些图形模式也可以通过规则进行转换。对于图重写规则的新类，我们提供了一个符号化的过程，工作在向上封闭的配置集的最小表示。我们证明了重写规则的分类表示以及所涉及的顺序，并使用结构良好的过渡系统的结果的过程的正确性和有效性。我们将由此产生的程序的分析分布式用餐哲学家协议的任意网络结构。
We introduce a new class of graph transformation systems in which rewrite rules can be guarded by universally quantified conditions on the neighbourhood of nodes. These conditions are defined via special graph patterns which may be transformed by the rule as well. For the new class for graph rewrite rules, we provide a symbolic procedure working on minimal representations of upward closed sets of configurations. We prove correctness and effectiveness of the procedure by a categorical presentation of rewrite rules as well as the involved order, and using results for well-structured transition systems. We apply the resulting procedure to the analysis of the Distributed Dining Philosophers protocol on an arbitrary network structure.
登录
查看更多内容
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
具有图约束的基于目录的一致性协议的自动验证
影响因子：
0.8
作者：
P. Abdulla;G. Delzanno;Ahmed Rezine
通讯作者：
Ahmed Rezine
异步广播网络验证的可判定性和复杂性结果
DOI：
--
发表时间：
2013
期刊：
Language and Automata Theory and Applications
影响因子：
--
作者：
G. Delzanno;Riccardo Traverso
通讯作者：
Riccardo Traverso
具有多重链接结构的程序的单调抽象
DOI：
10.1142/s0129054113400078
发表时间：
2011
期刊：
Int. J. Found. Comput. Sci.
影响因子：
--
作者：
P. Abdulla;Jonathan Cederberg;Tomáš Vojnar
通讯作者：
Tomáš Vojnar
Ad Hoc网络的参数化验证
DOI：
--
发表时间：
2010
期刊：
International Conference on Concurrency Theory
影响因子：
--
作者：
G. Delzanno;Arnaud Sangnier;G. Zavattaro
通讯作者：
G. Zavattaro