Title | ||
---|---|---|
A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation |
Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1007/978-3-319-21155-8_15 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
Topology control,Graph constraints,Static analysis | Mathematical optimization,Topology control,Computer science,Static analysis,Algorithm,Network topology,Graph rewriting,Graph bandwidth,Clique-width,Graph (abstract data type),Moral graph | Conference |
Volume | ISSN | Citations |
9152 | 0302-9743 | 3 |
PageRank | References | Authors |
0.37 | 11 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Roland Kluge | 1 | 23 | 5.06 |
Gergely Varró | 2 | 403 | 36.67 |
Andy Schürr | 3 | 2195 | 230.25 |