TU Darmstadt / ULB / TUbiblio

A systematic approach to constructing families of incremental topology control algorithms using graph transformation

Kluge, Roland ; Stein, Michael ; Varró, Gergely ; Schürr, Andy ; Hollick, Matthias ; Mühlhäuser, Max
eds.: Tichy, Matthias ; Bodden, Eric ; Kuhrmann, Marco ; Wagner, Stefan ; Steghöfer, Jan-Philipp (2018)
A systematic approach to constructing families of incremental topology control algorithms using graph transformation.
24. Tagung Software Engineering (SE) des Fachbereichs Softwaretechnik der Gesellschaft für Informatik. Ulm, Germany (05.03.2018-09.03.2018)
Conference or Workshop Item, Bibliographie

Abstract

In this talk, we present results on integrating support for variability modeling into a correct-by-construction development methodology for topology control algorithms, as appeared online in the Software & Systems Modeling journal in 2017. A topology control algorithm reduces the size of the visible neighborhood of a node in a wireless communication network. At the same time, it must fulfill important consistency properties to ensure a high quality of service. In previous work, we proposed a constructive, model-driven methodology for designing individual topology control algorithms based on declarative graph constraints and graph transformation rules; the resulting algorithms are guaranteed to preserve the specified properties. Even though many topology control algorithms share substantial (structural) parts, few works leverage these commonalities at design time. In this work, we generalize our proposed construction methodology by modeling variability points to support the construction of families of algorithms. We show the applicability of our approach by reengineering six existing topology control algorithms and developing e-kTC, a novel energy-efficient variant of the topology control algorithm kTC. Finally, we evaluate a subset of the algorithms using a novel integration of a wireless network simulator and a graph transformation tool.

Item Type: Conference or Workshop Item
Erschienen: 2018
Editors: Tichy, Matthias ; Bodden, Eric ; Kuhrmann, Marco ; Wagner, Stefan ; Steghöfer, Jan-Philipp
Creators: Kluge, Roland ; Stein, Michael ; Varró, Gergely ; Schürr, Andy ; Hollick, Matthias ; Mühlhäuser, Max
Type of entry: Bibliographie
Title: A systematic approach to constructing families of incremental topology control algorithms using graph transformation
Language: English
Date: 2018
Publisher: Gesellschaft für Informatik e.V.
Book Title: Software Engineering und Software Management 2018
Series: Lecture Notes in Informatics
Series Volume: 279
Event Title: 24. Tagung Software Engineering (SE) des Fachbereichs Softwaretechnik der Gesellschaft für Informatik
Event Location: Ulm, Germany
Event Dates: 05.03.2018-09.03.2018
URL / URN: https://dl.gi.de/handle/20.500.12116/21183
Abstract:

In this talk, we present results on integrating support for variability modeling into a correct-by-construction development methodology for topology control algorithms, as appeared online in the Software & Systems Modeling journal in 2017. A topology control algorithm reduces the size of the visible neighborhood of a node in a wireless communication network. At the same time, it must fulfill important consistency properties to ensure a high quality of service. In previous work, we proposed a constructive, model-driven methodology for designing individual topology control algorithms based on declarative graph constraints and graph transformation rules; the resulting algorithms are guaranteed to preserve the specified properties. Even though many topology control algorithms share substantial (structural) parts, few works leverage these commonalities at design time. In this work, we generalize our proposed construction methodology by modeling variability points to support the construction of families of algorithms. We show the applicability of our approach by reengineering six existing topology control algorithms and developing e-kTC, a novel energy-efficient variant of the topology control algorithm kTC. Finally, we evaluate a subset of the algorithms using a novel integration of a wireless network simulator and a graph transformation tool.

Divisions: 18 Department of Electrical Engineering and Information Technology
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering
20 Department of Computer Science
20 Department of Computer Science > Sichere Mobile Netze
20 Department of Computer Science > Telecooperation
DFG-Collaborative Research Centres (incl. Transregio)
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres
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
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 > C: Communication Mechanisms
DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres > CRC 1053: MAKI – Multi-Mechanisms Adaptation for the Future Internet > C: Communication Mechanisms > Subproject C1: Network-centred perspective
Date Deposited: 06 Mar 2018 18:31
Last Modified: 10 Jun 2021 06:11
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details