Entwurf und (quantitative) Analyse Komponenten-basierter Systeme

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

In diesem Projekt sollen aufbauend auf einem Modell für Komponenten-basierte Systeme, dem Modell der Interaktionssysteme, theoretische Aspekte, Eigenschaften, Algorithmen und quantitative Erweiterungen Komponenten-basierter Systeme untersucht werden. Wir haben bereits gezeigt, dass es NP-hart ist zu entscheiden, ob ein Interaktionssystem lokal/global verklemmungsfrei ist, bzw. eine Menge von Komponenten lebendig ist und haben Kriterien vorgestellt, die Verklemmungsfreiheit bzw. Lebendigkeit garantieren und in polynomialer Zeit getestet werden können. Darauf aufbauend sollen folgende Fragen untersucht werden: 1. Komplexität (1.1 Zusammenhang zu 1-safe Petrinetzen und den dort bekannten Komplexitätsaussagen, 1.2 Entwicklung eines effizienten hybriden Algorithmus zur Etablierung der Verklemmungsfreiheit von Interaktionssystemen, 2. Kriterien (2.1 Entwicklung von Kriterien zum Nachweis von Robustheit von Interaktionssystemen bei Ausfall von Diensten, 2.2 Aufstellen von Kriterien, unter denen sich Lebendigkeit von Komponenten vererbt, 2.3 Einführung von Protokollen), 3. Probabilistische Erweiterung von Interaktionssystemen. Der Algorithmus aus 1.2 sowie die Algorithmen, die sich aus unseren Untersuchungen zu 2. und bereits vorhandenen Ergebnissen zum Fortschritt und zur Lebendigkeit ergeben, sollen in dem Werkzeug PRIS (Properties of Interaction Systems) implementiert werden.