Layered Architecture Consistency for MANETs: Introducing New Team Members

2009/11/21 by Julia Padberg, Padberg, Julia, Enrico Biermann +3
Computer Science · #Distributed systems and fault tolerance #Petri Nets in System Modeling #Service-Oriented Architecture and Web Services

paper · doi:10.14279/tuj.eceasst.12.269.265

openalex publication_date 2009/11/21 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/01

Abstract

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.

Related

• Layered Architecture Consistency for MANETs: Introducing New Team Members
• Modeling and Efficient Verification of Wireless Ad hoc Networks
• A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV
• Using Resources as Synchronizers to Manage Mobile Process Adaptation
• Formal Methods for Mobile Ad Hoc Networks: A Survey