Kluge, Roland ; Varró, Gergely ; Schürr, Andy
Hrsg.: Kolovos, Dimitris ; Wimmer, Manuel (2015)
A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation.
8th International Conference on Model Transformation (ICMT).
Konferenzveröffentlichung, Bibliographie
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: | Konferenzveröffentlichung |
---|---|
Erschienen: | 2015 |
Herausgeber: | Kolovos, Dimitris ; Wimmer, Manuel |
Autor(en): | Kluge, Roland ; Varró, Gergely ; Schürr, Andy |
Art des Eintrags: | Bibliographie |
Titel: | A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation |
Sprache: | Englisch |
Publikationsjahr: | 21 Juli 2015 |
Reihe: | Lecture Notes in Computer Science |
Band einer Reihe: | 9152 |
Veranstaltungstitel: | 8th International Conference on Model Transformation (ICMT) |
URL / URN: | 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. |
Freie Schlagworte: | topology control, graph constraints, static analysis |
Zusätzliche Informationen: | Publisher: Springer |
Fachbereich(e)/-gebiet(e): | 18 Fachbereich Elektrotechnik und Informationstechnik 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme Zentrale Einrichtungen DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1053: MAKI – Multi-Mechanismen-Adaption für das künftige Internet DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1053: MAKI – Multi-Mechanismen-Adaption für das künftige Internet > A: Konstruktionsmethodik > Teilprojekt A1: Modellierung DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche > SFB 1053: MAKI – Multi-Mechanismen-Adaption für das künftige Internet > A: Konstruktionsmethodik 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik DFG-Sonderforschungsbereiche (inkl. Transregio) > Sonderforschungsbereiche DFG-Sonderforschungsbereiche (inkl. Transregio) |
Hinterlegungsdatum: | 19 Mai 2015 07:10 |
Letzte Änderung: | 22 Apr 2016 10:40 |
PPN: | |
Projekte: | Multi-Mechanismen-Adaption für das künftige Internet (MAKI, SFB 1053), es_MAKI |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
Frage zum Eintrag |
Optionen (nur für Redakteure)
Redaktionelle Details anzeigen |