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

点击翻译按钮获取中文摘要

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.