Informatisches Kolloquium Sommersemester 2009

Montag, 29. Juni 2009
um 17 Uhr c.t.
Vogt-Kölln-Straße 30
Konrad-Zuse-Hörsaal
Gebäude B

Ansätze zu einer ontologiebasierten formalen Verifikationsmethode für Pervasive Computing Umgebungen

Dr. Hedda R. Schmidtke
U-VR Lab, Dept. of Information and Communications
Gwangju Institute of Science and Technology (GIST)
Gwangju , Südkorea

Pervasive Computing Systeme operieren innerhalb und auf der Basis eines Modells der Umgebung, in welcher sie arbeiten. In dieser Hinsicht unterscheiden sie sich von verteilten oder mobilen Computersystemen und benötigen neue Verifikationsmethoden. Gegenwärtig gibt es eine Reihe von Methoden und Werkzeugen, mit denen die Eigenschaften verteilter und mobiler nebenläufiger Systeme einerseits und ontologiebasierter Kontextmodelle andererseits verifiziert werden können. Als Werkzeuge zur Verifikation existierender Pervasive Computing Systeme sind beide allerdings nicht optimal, da erstere nur die Modellierung stark eingeschränkter Kontextmodelle unterstützen und letztere nicht erlauben, den dynamischen Aspekt von Computersystemen zu modellieren. Im Vortrag wird ein Ansatz vorgestellt, nach dem existierende Pervasive Computing Systeme als verteilte nebenläufige Systeme, die auf dem Hintergrund eines mereotopologischen Kontextmodells operieren, beschrieben werden können.

Kontakt

Prof. Dr. Christopher Habel

Telefon 2417