Research Topics
[GB] Modulare Spezifikation von Sprachsemantik mit LanGems
Das LanGems Sprachkompositionssystem (http://www.langems.org) realisiert einen Ansatz zur Entwicklung domänenspezifischer Sprachen mit dem Schwerpunkt auf Faktoren wie Wartbarkeit, Wiederverwendbarkeit, Anpassbarkeit und Erweiterbarkeit. Das Werkzeug LanGems Modeller implementiert dazu eine Methodik zur Modularisierung von Sprachspezifikationen hinsichtlich einzelner Sprachfeatures. Aus einzelnen Sprachfeatures bzw. Teilsprachen (LanGeme genannt) können anschließend mit Hilfe von Kompositionsprogrammen neue Sprachen komponiert werden. Diese Komposition erhält die abstrakte Syntax der einzelnen Sprachmodule und ermöglicht somit die Weiterverwendung existierender Sprachwerkzeuge (Parser, Printer, Interpreter, etc.).
Auf diese Weise lässt sich auch die Semantik der Teilsprachen komponieren. Allerdings erfolgt die Beschreibung der Semantik bisher rein operational mittels Java-Methoden, welche auf dem Typinterface der abstrakten Syntax implementiert sind und es fehlt an Unterstützung für formale Ansätze zur Spezifikation von Sprachsemantik.
Ziel dieser Arbeit ist es zu untersuchen, welche Anforderungen allgemein an komponierbare Semantikspezifikationen gestellt werden müssen, um sie in LanGems zu integrieren. Dazu ist:
Betreuer: Christian Wende