Forschungsthemen
[GB] EBNF Import für EMFText
In der modellgetriebenen Softwareentwicklung sind Modelle und Metamodelle die zentralen Artefakte um qualitativ hochwertige Software zu generieren und durch gemeinsame Standards den Datenaustausch untereinander zu erleichtern. Textuelle Syntax und Editoren für EMF basierende Modelle können mit Hilfe von Werkzeugen wie EMFText definiert werden. Die Definition von Syntax erfolgt hierbei deklarativ auf Basis kontextfreier Grammatiken. Die Erweiterte Backus-Naur Form (EBNF) ist ein einfacher Formalismus zur Spezifikation der kontextfreien Syntax in Sprachstandards auf Basis kontextfreier Grammatiken. In EMFText müssen solche Grammatiken bisher manuell in ein Ecore Metamodell und eine EMFText Syntax Spezifikation (CS) umgesetzt werden. In dieser Arbeit soll daher ein automatischer Importer für EBNF Grammatiken nach in EMFText entwickelt werden. Dieser Importer erzeugt mittels einer Model-zu-Modell Transformation aus einer EBNF Grammatik ein EMF Metamodell und eine CS Spezifikation. Die generierten Artefakte sollen dabei der Qualität einer guten manuellen Implementierung möglichst nahe kommen. Hierfür soll auch eine Fallstudie mit der Grammatik des Werkzeugs Reo durchgeführt werden. Soweit möglich, soll die entwickelte Lösung problematische Grammatik Eigenschaften wie Linksrekursion, Mehrdeutigkeit von Expression Hierarchien und Token-Überlappungen automatisch behandeln bzw. Hinweise zur Problembehebung an den Nutzer geben.
Betreuer: Sven Karol