Fortgeschrittenen-Praktikum Verifikation von Webseiten

Sommersemester 2002
Lehrstuhl für Programmiersprachen und Übersetzerkonstruktion
Hauptstudium

Nr.ArtTermineRaumVeranstalter
P4nach VereinbarungCAP-4, Raum 709F. Huch

Zielgruppe

Studierende im Hauptstudium beider Informatik-Studiengänge (Dipl.-Inf. und Dipl.-Ing.) sowie Studierende mit Nebenfach Informatik

Voraussetzungen

Grundstudium

Inhalt

Beim Surfen im Internet trifft man häufig auf nicht mehr existente Links, Sackgassen, aus denen man nicht mehr zu übergeordneten Seiten zurück kommt und rekursive Framestrukturen, welche zur Verschachtelung z.B. von Menues führen. Diese Probleme könnten durch eine automatische Generierung der HTML-Dokumente bzw. Linkstrukturen verhindert werden, was jedoch (insbesondere bei komplexen Linkstrukturen mit vielen HTML-Dokumenten) problematisch ist.

Eine Alternative wäre ein System, welches Eigenschaften der Struktur von bestehenden HTML-Dokumenten verifiziert und ggf. fehlerhafte Links, Linkfolgen oder HTML-Dokumente ausgibt, so daß diese angepaßt werden können. In diesem Praktikum soll ein solches Verifikationssystem entwickelt werden.

Das Verifikationssystem soll nicht auf einzelne, festgelegte Eigenschaften beschränkt sein. Stattdessen werden wir zur Spezifikation der Eigenschaften bezüglich der Linkstruktur von HTML-Dokumenten die Baumlogik CTL verwenden. So können beliebige Eigenschaften als CTL Formel spezifiziert und dann mittels Model Checking für existierende Linkstrukturen/HTML-Dokumente automatisch überprüft werden.

Vorkenntnisse in den Bereichen Compilerbau (Parsen von HTML-Dokumenten), Model Checking (Verifizieren der Eigenschaften) und Internetdesign sind hilfreich, können aber auch während des Praktikums noch problemlos erlernt werden. Die Implementierungssprache werden wir abhängig von den Kenntnissen der Praktikumsteilnehmer wählen. Das Praktikum wird in Gruppenarbeitet durchgeführt werden. Der gesamte Entwicklungsprozeß (vom Systemdesign bis zur Implementierung) soll von der Gruppe durchgeführt werden. Einzelne Komponenten sollen in kleineren Gruppen entwickelt und anschließend zum Gesamtsystem hinzugefügt werden.

Anmeldung

Per EMail bei Frank Huch oder bei der Vorbesprechung am 15. April 2002, 14.00 Uhr, CAP-4, Raum 709.

Folgeveranstaltungen

Das Praktikum wird im nachfolgenden Wintersemester evtl. weitergeführt und ist eine gute Voraussetzung für Studien- und Diplomarbeiten am Lehrstuhl für Programmiersprachen und Übersetzerkonstruktion.

Frank Huch, CAP-4, Raum 704