Warning: Parameter 1 to Language::getMagic() expected to be a reference, value given in /usr/share/mediawiki/includes/StubObject.php on line 58
Person:Wagner – GRK-Wiki

Person:Wagner

Aus GRK-Wiki

Wechseln zu: Navigation, Suche

Christoph Wagner

Research Fellow of the Graduate School - METRIK (since 08/2008)


PhD thesis

Advisor: Prof. Dr. Wolfgang Reisig

Topic : Verifying Data Dependent Services (german: Verifikation datenverarbeitender Services)

Abstract: Verteilte Systeme können nach dem Paradigma des Service Oriented Computing (SOC) aufgebaut werden. Ein solches verteiltes System besteht aus mehreren Services, die über ihre jeweiligen Schnittstellen miteinander kommunizieren. Die Interaktion der Services miteinander kann auf korrekte Weise oder auf eine nicht korrekte Weise geschehen. Ob die Interaktion korrekt ist, hängt vom Verhalten jedes einzelnen Service ab. Das Verhalten eines Service hängt seinerseits zu einem wesentlichen Teil ab von den Daten, die in den Nachrichten enthalten sind, welche die Services untereinander austauschen. In der Arbeit soll das Verhalten der Services modelliert und verifiziert werden, ob die Services korrekt interagieren können. Durch die explizite Berücksichtigung von Daten im Modell eines Service wird der Zustandsraum des Service sehr groß oder sogar unendlich groß. Der Zustandsraum des Service ist dann mit rechnergestützten Methoden allein nur schwer oder gar nicht beherrschbar. Es existieren jedoch Regelmäßigkeiten in der Struktur des Zustandsraumes, die ausgenutzt werden können. In der Regel gibt es mehrere Datenwerte, welche das gleiche Verhalten des Services bewirken.
Ziel der Arbeit ist es, Datenstrukturen und Algorithmen zu entwickeln, mit denen man effizient entscheiden kann, ob Services korrekt miteinander interagieren können. Der in der Arbeit verfolgte Ansatz baut auf dem Konzept der sogenannten „Bedienungsanleitung“ auf. Die Bedienungsanleitung eines Service enthält Informationen darüber, wie ein Nutzer des Service korrekt mit diesem interagieren kann. Eine solche Bedienungsanleitung soll speziell für den Fall datenverarbeitender Services entwickelt werden.


Contact Details

Christoph Wagner
Humboldt-Universität zu Berlin
Department of Computer Science
Rudower Chaussee 25, Room 4.213
12489 Berlin, Germany

phone: (030) 2093 3036 email: cwagner (at) informatik.hu-berlin.de

Persönliche Werkzeuge
Sprache