A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation
A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation
复制标题
一种通过图变换设计动态拓扑控制算法的方法
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Andy Schürr
中科院分区：
文献类型：
--
作者：
R. Kluge;Gergely Varró;Andy Schürr
This paper presents a constructive, model-driven methodology for designing dynamic topology control algorithms. The proposed methodology characterizes valid and high quality topologies with declarative graph constraints and formulates topology control algorithms as graph transformation systems. Afterwards, a well-known static analysis technique is used to enrich graph transformation rules with application conditions derived from the graph constraints to ensure that this improved approach always produces topologies that i are optimized wrt. to a domain-specific criterion, and ii additionally fulfill all the graph constraints.
