Formal modeling and analysis of flexible processes in mobile ad-hoc networks

(duration 10/06 - 09/08)


Mobile Ad-hoc NETworks (MANETs) consist of mobile nodes which communicate with each other independently from a stable infrastructure, while the topology of the network constantly changes depending on the current position of the nodes and their availability. Unfortunately there are almost no approaches so far for the modeling and the analysis of those MANETs, which are urgently needed for a correct course of the relevant processes.

It is the aim of this project to develop a formal technique which on the one hand enables the modeling of flexible processes in MANETs and on the other hand supports changes of the network topology and the transformation of processes. This can be achieved by an appropriate integration of graph transformation, nets and processes in high level net classes. In this project a successful application on MANETs requires a specific advancement concerning structuring, process modeling, analysis, methodology and tool support. The achieved results will be validated by a case study in the area of emergency management, which has been already developed in cooperation with the Università di Roma „La Sapienza”.

These are the slides of a comprehensive talk introducing our project that has been given at The Universitšt Salzburg, Fachbereich Computerwissenschaften in November 2006.

An instructive overview poster on aims and methods of the forMAlNET project can be found here:
forMAlNET_Poster.pdf (8 MB) (640 KB)