TU Darmstadt / ULB / TUbiblio

A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation

Kluge, Roland and Varró, Gergely and Schürr, Andy Kolovos, Dimitris and Wimmer, Manuel (eds.) (2015):
A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation.
In: Lecture Notes in Computer Science, 9152, In: 8th International Conference on Model Transformation (ICMT), pp. 199-213, [Online-Edition: http://dx.doi.org/10.1007/978-3-319-21155-8_15],
[Conference or Workshop Item]

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.

Item Type: Conference or Workshop Item
Erschienen: 2015
Editors: Kolovos, Dimitris and Wimmer, Manuel
Creators: Kluge, Roland and Varró, Gergely and Schürr, Andy
Title: A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation
Language: English
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.

Series Name: Lecture Notes in Computer Science
Volume: 9152
Uncontrolled Keywords: topology control, graph constraints, static analysis
Divisions: 18 Department of Electrical Engineering and Information Technology
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems
Zentrale Einrichtungen
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres > CRC 1053: MAKI – Multi-Mechanisms Adaptation for the Future Internet
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres > CRC 1053: MAKI – Multi-Mechanisms Adaptation for the Future Internet > A: Construction Methodology > Subproject A1: Modelling
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres > CRC 1053: MAKI – Multi-Mechanisms Adaptation for the Future Internet > A: Construction Methodology
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres
DFG-Collaborative Research Centres (incl. Transregio)
Event Title: 8th International Conference on Model Transformation (ICMT)
Date Deposited: 19 May 2015 07:10
Official URL: http://dx.doi.org/10.1007/978-3-319-21155-8_15
Additional Information:

Publisher: Springer

Projects: Multi-Mechanismen-Adaption für das künftige Internet (MAKI, SFB 1053), es_MAKI
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item