MontiCore: Agile Entwicklung von domänenspezifischen Sprachen ...

1.5 Der MontiCore-Ansatz 15
Dagegen hat eine integrierte Sprachdefinition für abstrakte und konkrete Syntax die folgenden
Vorteile:
• Die abstrakte und die konkrete Syntax sind automatisch konsistent.
• Semantisch ähnliche Elemente einer Sprache sollten sich auch für den Nutzer ähnlich
darstellen, damit von der Eingabe leichter auf die Bedeutung eines Programms zu
schließen ist (vgl. auch [Hoa73, Wir74]). Eine gemeinsame Spezifikation erzwingt
dieses per Konstruktion.
• Die Sprachdefinition kann effektiv als eine zentrale Dokumentation innerhalb einer
agilen evolutionären Entwicklung dienen, so dass externe Dokumentation zweitrangig
ist.
• Es existiert automatisch eine konkrete Syntax, was die Verwendung der Sprache durch
Nutzer und das Testen darauf basierender Werkzeuge durch Entwickler erleichtert,
da diese nicht, wie bei Metamodellierung oft üblich, eine generische Repräsentation
verwenden müssen.
Die modellgetriebenen Ansätze zur Definition von Modellierungssprachen wie [BSM + 03,
OMG06a] konzentrieren sich vor allem auf die abstrakte Syntax. Die konkrete Syntax
wird, wenn sie überhaupt definiert wird, mittels einer zweiten Modellart definiert (vgl.
z.B. [JBK06, MFF + 06]). Dieses ignoriert die Tatsache, dass Modelle auch direkt von den
Entwicklern der DSL zum Testen der Generatoren erstellt werden müssen und daher eine
komfortable konkrete Syntax die Qualitätssicherung erleichtert.
Innerhalb einer DSL-basierten Entwicklung kann es vorkommen, dass dieselben Entwickler
in unterschiedlichen Rollen einerseits Modelle erstellen und andererseits auch die
Codegeneratoren auf Basis der abstrakten Syntax entwickeln. Eine starke Kopplung der
abstrakten und der konkreten Syntax erleichtert hierbei das Verständnis der Sprache, weil
die Eingaben direkt mit den Elementen der abstrakten Syntax korrespondieren und keine
komplexe Abbildung zwischen beiden Artefakten möglich ist. Zusätzlich wird ein Wechsel
zwischen den Rollen vereinfacht, weil mit einem Rollenwechsel trotzdem die für die Rolle
relevante Struktur der Sprache ähnlich bleibt.
Die existierenden Ansätze betrachten die Definition einer DSL meistens als eine atomare
Einheit. Für eine ingenieurmäßige Sprachentwicklung [KLV05], die sich als Ziel setzt,
systematisch neue DSLs zu entwickeln, sind jedoch Modularitätsmechanismen wichtig. Nur
so kann die systematische Wiederverwendung von Sprachen erreicht werden. In dieser Arbeit
werden Konzepte zur Modularisierung der Sprachdefinition erarbeitet. Weitergehend
wird beschrieben, wie darauf aufbauende Artefakte wie Kontextbedingungen, Traversierung
von Datenstrukturen und Codegenerierungen modular entwickelt werden können. Nur so
lassen sich systematisch Bibliotheken etablieren, die Sprachfragmente und Generierungen
enthalten, die es langfristig erlauben, durch Wiederverwendung den Aufwand für die Entwicklung
generativer Werkzeuge zu reduzieren. Ein Beispiel hierfür sind GPL-Fragmente,
die häufig als eine Aktionssprache in Modellen zur Formulierung ausführbarer Anteile genutzt
werden. Um eine Konsistenzprüfung für solche heterogenen Modelle zu realisieren,
ist zumindest eine Repräsentation der GPL als Modell notwendig. Zur Amortisierung des
Entwicklungsaufwands werden daher im Folgenden Möglichkeiten dargestellt, Sprachfragmente
in mehreren Modellarten nutzen zu können.
Der MontiCore-Generator wird bei der Erstellung von Generatoren selbst eingesetzt,
um aus der DSL-Definition Komponenten zur Sprachverarbeitung automatisch zu erzeugen.
Dabei ist es insbesondere möglich, auf Bibliotheken zurückzugreifen, die bereits entwickelte