Einladung zur öffentlichen Disputation

von Dipl.Inf. Michael von Riegen

Donnerstag, 9. August 2012 um 13 Uhr s.t.
Informatikum, Vogt-Kölln-Straße 30, Raum F-534

"Ablaufkontrolle von Prozess-Choreographien"

Abstract:

Zur Unterstützung organisationsübergreifender Prozesse mit häufig heterogenen und autonomen Teilnehmern werden heute dienstorientierte Architekturen oft mit Hilfe von Choreographie-Modellen implementiert. Ein solches Modell beschreibt die Interaktionen zwischen Diensten aus Sicht eines idealen Beobachters und legt damit die Interaktionsmöglichkeiten jedes Choreographie-Teilnehmers fest. Halten sich alle Teilnehmer an das Modell, ist kein zentraler Koordinator zur Koordination einer Choreographie notwendig. Ohne einen zentralen Koordinator stellt sich aber die Frage, wie trotzdem sichergestellt werden kann, dass sich Teilnehmer auch zur Laufzeit wie spezifiziert verhalten und damit, ob Prozess-Integritätsbedingungen einer Choreographie zur Laufzeit eingehalten werden.

Die Arbeit stellt in diesem Kontext einen neuen Ansatz vor, um das beobachtbare Verhalten von Teilnehmern einer Choreographie effizient zu überwachen und basierend auf dem Ereigniskalkül Verletzungen von Integritätsbedingungen einer Choreographie zur Laufzeit zu verifizieren. Zusätzlich wird in dieser Arbeit ein Recovery-Ansatz auf Basis von Transaktionsprotokollen vorgestellt, welcher die Verifikationsergebnisse direkt in die Ablaufkontrolle von Transaktionen einbinden kann. Damit Transaktionskontrolle in Choreographie-Umgebungen genutzt werden kann, werden zusätzlich bisherige Ansätze der transaktionalen Kontrolle von Prozessen erweitert, so dass ein Koordinator aufgrund von Regeln autonom ohne den Transaktions-Initiator entscheiden kann, ob eine Transaktion erfolgreich beendet werden kann oder nicht.

 

Alle Mitglieder des Fachbereichs Informatik sind zu dieser öffentlichen Veranstaltung herzlich eingeladen.

Kontakt:

Prof. Dr. Matthias Riebisch
Vorsitzender des Promotionsprüfungsausschusses