direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks
Zitatschlüssel PHE+07
Autor Julia Padberg and Kathrin Hoffmann and Hartmut Ehrig and Tony Modica and Enrico Biermann and Claudia Ermel
Buchtitel Fundamental Approaches to Software Engineering
Seiten 383–397
Jahr 2007
ISBN 978-3-540-71288-6
Jahrgang 4422
Herausgeber Matthew B. Dwyer and Antónia Lopes
Verlag Springer
Serie LNCS
Zusammenfassung In this paper we present a layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (MANETs) using algebraic higher order nets (AHO nets). manets are networks of mobile devices that communicate with each other via wireless links without relying on an underlying infrastructure, e.g. in emergency scenarios, where an effective coordination is crucial among team members, each of them equipped with hand-held devices. Workflows in manets can be adequately modeled using a layered architecture, where the overall workflow, the team members� activities and the mobility issues are separated into three different layers, namely the workflow layer, the mobility layer and the team layer. Dividing the AHO net model into layers immediately rises the question of consistency. We suggest a formal notion of layer consistency requiring that the team layer is given by the mapping of the individual member�s activities to the gluing of the workflow and the mobility layer. The main results concern the maintenance of the layer consistency when changing the workflow layer, the mobility layer and the team layer independently.
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe