Diplomarbeit

Web-Transformationen with OPTIMIX

Betreuer: Dr. Uwe Assmann

Institut für Programm- und Datenstrukturen Vincenz-Priessnitz-Str. 3, 76128 Karlsruhe

mailto:assmann@ipd.info.uni-karlsruhe.de

tel:0721/608 6088

http://i44www.info.uni-karlsruhe.de/~assmann

Thema:

Wie der Name schon sagt, ist das World Wide Web ein grosser Graph. Zusätzlich können auch HTML-Seiten als Graph aufgefaßt werden. Auf dieser Basis werden Anfragen und Transformationen auf Seiten sowie dem Web selbst als Graphersetzung deutbar. Es ist zu vermuten, daß Anfragen, die die Struktur von Seiten oder Teilen des Web zugrunde legen, mit EARS (edge addition rewrite systems) beschrieben werden können. EARS sind äquivalent zu einer Variante von Datalog. Transformationen können mit einer Erweiterung von EARS, XGRS (exhaustive graph rewrite systems), spezifiziert werden.

Der Vorteil von EARS/XGRS ist, dass ihre Terminierung sichergestellt werden kann und sie in vielen Fällen deterministisch sind. Am Lehrstuhl Goos existiert ein Werkzeug zu ihrer Bearbeitung (OPTIMIX).

Aufgabe der Diplomarbeit ist es, zu untersuchen, welche Probleme der Transformation von Seiten und Hyperlinks mit XGRS beschrieben werden können. Dazu ist eine Klassifikation der möglichen Transformationen in termini der Graphalgorithmen und -ersetzungssystemen erforderlich. Als Resultat soll das Werkzeug OPTIMIX dermassen erweitert werden, daß es Web-Teile automatisch konsistent transformieren kann.

Anwendung:

Als Anwendung sollte eine Suite von Graphersetzungssystemen konstruiert werden, die die Web-Seiten unseres Instituts manipulieren kann, so dass eine automatisierte Pflege möglich wird.

Voraussetzungen:

Vorkenntnisse im Übersetzerbau (Vorlesung, Praktikum, etc.) erwünscht.