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