Neu bewilligt

Kommunikativ verknotet

/tui/ Wie koordiniert man Teams besonders effizient? Eine Möglichkeit ist die Ausstattung der Teammitglieder mit einem mobilen Handgerät. Dadurch baut sich ein sogenanntes Ad-hoc-Netzwerk auf. Mobile Ad-hoc-Netzwerke sind also mobile Knoten, die unabhängig von einer stabilen Infrastruktur untereinander kommunizieren. Das ganze Netzwerk ändert aber seine Topologie abhängig von der Verfügbarkeit oder der aktuellen Position der Knoten. Bisher gibt es kaum Ansätze zur formalen Modellierung und Analyse solcher mobiler Ad-hoc-Netzwerke, die für einen korrekten Ablauf der entsprechenden Prozesse dringend erforderlich wären. Die Deutsche Forschungsgemeinschaft bewilligte nun ein Forschungsprojekt am Institut für Softwaretechnik und Theoretische Informatik von Prof. Dr. Hartmut Ehrig, das sich mit der Entwicklung einer formalen Technik beschäftigt, die unter anderem die Modellierung von flexiblen Prozessen in mobilen Ad-hoc-Netzwerken ermöglicht.