文章基本信息

标题：Layered Architecture Consistency for MANETs: Introducing New Team Members
本地全文：下载
作者：Julia Padberg ; Enrico Biermann ; Kathrin Hoffmann 等
期刊名称：Electronic Communications of the EASST
电子版ISSN：1863-2122
出版年度：2009
卷号：12
语种：English
出版社：European Association of Software Science and Technology (EASST)
摘要：In this paper we extend our results concerning the layered architecture for modeling workflows in Mobile Ad-Hoc networks (MANETs) using algebraic higher order nets. MANETs are networks of mobile devices that communicate with each other via wireless links without relying on an underlying infrastructure. 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. In fromer papers a formal notion of layer consistency was suggested, that we now extend to allow changes of the interfaces of the gluing of the workflow and the mobility layer.