Formale Modellierung und Analyse von flexiblen Prozessen in mobilen Ad-hoc Netzwerken

• Applicants: Professor Dr. Hartmut Ehrig (†); Professorin Dr.-Ing. Julia Padberg
• Subject Area: Software Engineering and Programming Languages
• Term: from 2006 to 2012
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 31476443

Mobile Ad-Hoc Netzwerke (MANETs) bestehen aus mobilen Knoten, die unabhängig von einer stabilen Infrastruktur untereinander kommunizieren, wobei sich die Netzwerk-Topologie abhängig von der aktuellen Position der Knoten und deren Verfügbarkeit ständig verändert. Leider gibt es bisher kaum Ansätze zur formalen Modellierung und Analyse solcher MANETs, die für einen korrekten Ablauf der entsprechenden Prozesse dringend erforderlich sind. Ziel dieses Projekts ist die Entwicklung einer formalen Technik, die einerseits die Modellierung von flexiblen Prozessen in MANETs ermöglicht und andererseits die Veränderung der Netzwerk-Topologie und die Transformation von Prozessen unterstützt. Dies gelingt durch eine geeignete Integration von Graphtransformation, Netzen und Prozessen in höheren Netzklassen. Die erfolgreiche Anwendung auf MANETs in diesem Projekt erfordert eine gezielte Weiterentwicklung im Hinblick auf Strukturierung, Prozessmodellierung, Analyse, Methodik und Werkzeugunterstützung. Die erzielten Ergebnisse werden durch eine Fallstudie im Bereich des Katastrophenmanagements validiert, die bereits zusammen mit der Università di Roma ¿La Sapienza entwickelt wird.

• DFG Programme: Research Grants
• Participating Person: Dr. Claudia Ermel