2007 | OriginalPaper | Buchkapitel
Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks
verfasst von : Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel
Erschienen in: Fundamental Approaches to Software Engineering
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In this paper we present a layered architecture for modeling workflows in
M
obile
A
d-Hoc
NET
works (
manet
s) using algebraic higher order nets (
aho
nets).
manet
s 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
manet
s 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.