Oberseminar Programmiersprachen: Vortrag XqDSL

Diplomarbeit: XQuery Dialog Specification Language, an XQuery-based Implementation of Form-Oriented Analysis

Stefan Lack

Die formularorientierte Analyse ist eine neue Methode zur Analyse von Geschäftsanwendungen. Im Mittelpunkt der Analyse stehen Formulare, mittels derer Server und Client kommunizieren. Anwendungen werden durch bipartite Zustandsautomaten modelliert: erlaubte Zustände sind entweder Server-Zustände oder Client-Seiten. Durch die Spezifikation von Transitionen wird festgelegt, unter welchen Umständen von einem Zustand zu einem anderen gewechselt werden kann. Für Transitionen und Serverzustände können Aktionen definiert werden, die Seiteneffekte auf einer Datenbank ausführen und schließlich eine Antwort erzeugen, die an den Client zurückgesendet wird.

In der Diplomarbeit wurde die auf XQuery basierte Sprache XqDSL (XQuery Dialog Specification Language) entworfen und implementiert, durch die Zustandsautomaten für formularbasierte System spezifiziert werden können. Aus einer XqDSL-Spezifikation können ausführungsfähige Programme generiert werden.

Keywords: Web-Anwendungen, Form-oriented analysis, xquery, expect

,Jun 21, 2006