TU Darmstadt / ULB / TUbiblio

A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation

Kluge, Roland ; Varró, Gergely ; Schürr, Andy
Kolovos, Dimitris ; Wimmer, Manuel (eds.) :

A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation.
[Online-Edition: http://dx.doi.org/10.1007/978-3-319-21155-8_15]
In: 8th International Conference on Model Transformation (ICMT). In: Lecture Notes in Computer Science , 9152 .
[Konferenz- oder Workshop-Beitrag], (2015)

Offizielle URL: http://dx.doi.org/10.1007/978-3-319-21155-8_15

Kurzbeschreibung (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.

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2015
Herausgeber: Kolovos, Dimitris ; Wimmer, Manuel
Autor(en): Kluge, Roland ; Varró, Gergely ; Schürr, Andy
Titel: A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation
Sprache: Englisch
Kurzbeschreibung (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.

Reihe: Lecture Notes in Computer Science
Band: 9152
Freie Schlagworte: topology control, graph constraints, static analysis
Fachbereich(e)/-gebiet(e): Fachbereich Elektrotechnik und Informationstechnik
Fachbereich Elektrotechnik und Informationstechnik > Echtzeitsysteme
Zentrale Einrichtungen
Zentrale Einrichtungen > Sonderforschungsbereich 1053: MAKI - Multi-Mechanismen-Adaption für das künftige Internet
Zentrale Einrichtungen > Sonderforschungsbereich 1053: MAKI - Multi-Mechanismen-Adaption für das künftige Internet > A : Konstruktionsmethodik > Teilprojekt A01 : Modellierung
Zentrale Einrichtungen > Sonderforschungsbereich 1053: MAKI - Multi-Mechanismen-Adaption für das künftige Internet > A : Konstruktionsmethodik
Veranstaltungstitel: 8th International Conference on Model Transformation (ICMT)
Hinterlegungsdatum: 19 Mai 2015 07:10
Offizielle URL: http://dx.doi.org/10.1007/978-3-319-21155-8_15
Zusätzliche Informationen:

Publisher: Springer

Projekte: Multi-Mechanismen-Adaption für das künftige Internet (MAKI, SFB 1053), es_MAKI
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen