Layered Architecture Consistency for MANETs: Introducing New Team Members
Julia Padberg, Enrico Biermann, Kathrin Hoffmann · 2009
Abstract: In this paper we extend our results (as given in [PHE+07]) concern-ing the layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (MANETs) using algebraic higher order nets. MANETs are networks of mobile de-vices that communicate with each other via wireless links without relying on an underlying infrastructure. Workflows in MANETs can be adequately modeled us-ing a layered architecture, where the overall workflow, the team members ’ activities and the mobility issues are separated into three different layers, namely the work-flow layer, the mobility layer and the team layer. In [PHE+07] a formal notion of layer consistency was suggested. Here we extend that approach to allow changes of the interfaces of the gluing of the workflow and the mobility layer.