direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Formal Modeling and Analysis of flexible Processes in Mobile Ad-Hoc Networks
Zitatschlüssel PEH07
Autor Padberg, J. and Ehrig, H. and Hoffmann, K.
Seiten 128–132
Jahr 2007
ISBN ISSN 0252-9742
Journal BEATCS
Jahrgang 91
Zusammenfassung 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. In our project "forMAlNET" we aim at modeling flexible processes that are the changing workflows at the nodes of a MANET. It is the goal 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, Petri 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.
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe