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

移动自组织网络中灵活流程的形式化建模和分析

• 批准号: 31476443
• 负责人: Professor Dr. Hartmut Ehrig (†)
• 金额: --
• 依托单位: Fachgebiet Theoretische Informatik/ Formale Spezifikation
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2006
• 资助国家: 德国
• 起止时间: 2005-12-31 至 2011-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/31476443?language=en
• 关键词: Formale; Modellierung; und; Analyse; von

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.

移动的Ad-Hoc Netzwerke（MANSTO）最适合于移动节点，它不需要一个稳定的节点结构，它的网络拓扑可以根据节点的位置和节点的位置来确定。Leider gibt es bisher kaum Ansätze zur formalen Modellierung und Analyse solcher MANNSTLE，die für einen korrekten Ablauf der entsprechenden Prozesse dringend erforderlich sind.这些项目是一种形式化的开发技术，是对柔性加工过程建模的一种方法，也是对网络拓扑的检验和加工过程的变换的一种方法。Dies gelingt durch eeignete Integration von Graphtransformation，Netzen und Prozessen in höheren Netzklassen.该项目在结构、过程建模、分析、方法和工具设计方面都取得了令人满意的成果。通过对灾害管理的一项秋季研究，这些韦尔登将在罗马大学的“智慧”课程中得到验证。