Ablaufvorhersage für verteilte Programme mit Hilfe von Graphtransformationen

Inhaltsverzeichnis

• 1 Einleitung
• 2 Parallelisierung von Programmen
  • 2.1 Aktuelle Vorgehensweise
  • 2.2 Neuer Ansatz
• 3 Modellierung von parallelen Programmen
  • 3.1 Kommunikationsgraphen
  • 3.2 Ablaufmodellierung mit UML
  • 3.3 Petrinetze
  • 3.4 Taskgraphen
• 4 Graphtransformationen
  • 4.1 Graphen formal betrachtet
  • 4.2 Graphtransformationen
  • 4.3 AGG – Ein Programm zur Simulation von Graphtransformationen
    • 4.3.1 Regeln
    • 4.3.2 Grammatik
    • 4.3.3 Analysemöglichkeiten
• 5 Erweiterte Taskgraphen
  • 5.1 Darstellung der gemessenen Abläufe
  • 5.2 Darstellung der Kommunikation und Kooperation
  • 5.3 Darstellung der Vorhersage
  • 5.4 Bewertung.
• 6 Modellierung des automatischen Aufbaus der Vorhersage
  • 6.1 Erkennung des Ablaufes
    • 6.1.1 Umsetzung mit Hilfe von AGG
    • 6.1.2 Graphregeln zur Erkennung des Ablaufes
  • 6.2 Integration einer einfachen Vorhersage
    • 6.2.1 Möglichkeiten zur Integration
    • 6.2.2 Umsetzung mit Hilfe von AGG
  • 6.3 Analyse der Modellierung des Aufbaus der Vorhersage
    • 6.3.1 Experimentelle Analyse

Zielsetzung und Themenschwerpunkte

Diese Diplomarbeit beschäftigt sich mit der Vorhersage des Ablaufs verteilter Programme mithilfe von Graphtransformationen. Das Ziel ist es, eine Methode zu entwickeln, die es ermöglicht, den Ablauf eines Programms vorherzusagen, bevor es tatsächlich ausgeführt wird.

• Parallelisierung von Programmen
• Modellierung von parallelen Programmen
• Graphtransformationen
• Erweiterte Taskgraphen
• Automatischer Aufbau der Vorhersage

Zusammenfassung der Kapitel

Die Arbeit beginnt mit einer Einführung in die Thematik der Parallelisierung von Programmen und stellt die aktuelle Vorgehensweise sowie einen neuen Ansatz vor. Im Anschluss werden verschiedene Modelle zur Modellierung von parallelen Programmen, wie Kommunikationsgraphen, UML, Petrinetze und Taskgraphen, vorgestellt.

Kapitel 4 widmet sich den Graphtransformationen. Es werden die formalen Grundlagen von Graphen und Graphtransformationen erläutert sowie das Programm AGG zur Simulation von Graphtransformationen vorgestellt. In Kapitel 5 werden erweiterte Taskgraphen zur Darstellung der gemessenen Abläufe, der Kommunikation und Kooperation sowie zur Darstellung der Vorhersage eingeführt. Abschließend wird die Bewertung dieser Modellierung diskutiert.

Kapitel 6 befasst sich mit der Modellierung des automatischen Aufbaus der Vorhersage. Die Erkennung des Ablaufes mittels AGG und die Integration einer einfachen Vorhersage werden beschrieben. Die Analyse der Modellierung des Aufbaus der Vorhersage durch experimentelle Analyse rundet die Arbeit ab.

Schlüsselwörter

Parallelisierung, verteilte Programme, Graphtransformationen, Taskgraphen, Vorhersage, Ablaufmodellierung, AGG, Kommunikation, Kooperation, experimentelle Analyse.