A Systematic Approach to Constructing Incremental Topology Control Algorithms Using Graph Transformation

by   Roland Kluge, et al.

Communication networks form the backbone of our society. Topology control algorithms optimize the topology of such communication networks. Due to the importance of communication networks, a topology control algorithm should guarantee certain required consistency properties (e.g., connectivity of the topology), while achieving desired optimization properties (e.g., a bounded number of neighbors). Real-world topologies are dynamic (e.g., because nodes join, leave, or move within the network), which requires topology control algorithms to operate in an incremental way, i.e., based on the recently introduced modifications of a topology. Visual programming and specification languages are a proven means for specifying the structure as well as consistency and optimization properties of topologies. In this paper, we present a novel methodology, based on a visual graph transformation and graph constraint language, for developing incremental topology control algorithms that are guaranteed to fulfill a set of specified consistency and optimization constraints. More specifically, we model the possible modifications of a topology control algorithm and the environment using graph transformation rules, and we describe consistency and optimization properties using graph constraints. On this basis, we apply and extend a well-known constructive approach to derive refined graph transformation rules that preserve these graph constraints. We apply our methodology to re-engineer an established topology control algorithm, kTC, and evaluate it in a network simulation study to show the practical applicability of our approach


page 1

page 2

page 3

page 4


A Systematic Approach to Constructing Families of Incremental Topology Control Algorithms Using Graph Transformation

In the communication systems domain, constructing and maintaining networ...

Sparse Hamming Graph: A Customizable Network-on-Chip Topology

Chips with hundreds to thousands of cores require scalable networks-on-c...

Robust and Efficient Swarm Communication Topologies for Hostile Environments

Swarm Intelligence-based optimization techniques combine systematic expl...

A Complete Set of Connectivity-aware Local Topology Manipulation Operations for Robot Swarms

The topology of a robotic swarm affects the convergence speed of consens...

Dynamic communication topologies for distributed heuristics in energy system optimization algorithms

The communication topology is an essential aspect in designing distribut...

A Consistency Constraint-Based Approach to Coupled State Constraints in Distributed Model Predictive Control

In this paper, we present a distributed model predictive control (DMPC) ...

A Methodology to Select Topology Generators for WANET Simulations (Extended Version)

Many academic and industrial research works on WANETs rely on simulation...

Please sign up or login with your details

Forgot password? Click here to reset