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

1.5 Der MontiCore-Ansatz 13
• Die Strukturierung von komplexen und erweiterbaren DSL-Werkzeugen und darin
realisierten Codegenerierungen, die über die Verwendung von Modelltransformationen
und einer Template-basierten Codeerzeugung hinausgehen, erfolgt individuell für
jede DSL und es wird keine allgemeingültige Lösung verwendet.
• Die aufeinander abgestimmte Weiterentwicklung von DSL-Definitionen, DSL-Modellen,
Laufzeitumgebungen und Generatoren ist in den existierenden Ansätzen nicht
systematisch möglich.
1.5 Der MontiCore-Ansatz
In dieser Arbeit wird das Paradigma der generativen DSL-Entwicklung entwickelt, das
heißt, für die DSLs werden jeweils Generatoren entwickelt, die zur agilen modellgetriebenen
Softwareentwicklung beitragen. Dabei besteht die Eingabe der Generatoren aus Sätzen,
die konform zur Grammatik der Sprache sind und im Folgenden einheitlich als Modelle
bezeichnet werden.
Wird aus den DSLs Produktionscode erzeugt, dann muss er nicht zwangsläufig eine
komplette in sich lauffähige Software sein. Vielmehr wird üblicherweise ein fixer Teil extrahiert,
der den für alle Modelle gleichen und damit vom Modell unabhängigen Code
enthält, und ein variabler Teil, der das Ziel der Generierung ist. Der fixe Teil der Software
kann eine Sammlung von Klassen (Laufzeitumgebung) sein, auf die sich der variable Teil
durch Unterklassenbildung oder Methodenaufruf bezieht. Alternativ kann der fixe Teil eine
komplette Software sein, die dann über den variablen Anteil nur noch parametrisiert wird.
Die Generatoren erzeugen aus diesen Modellen eine Menge an Artefakten wie zum Beispiel
Produktivcode. Die Abbildung 1.3 zeigt mögliche Nutzungsformen von DSLs.
Dynamische Analyse
Statische Analyse
Framework-Parametrisierung
Dokumentation
Automatisierte Tests
DSL Modelle
Rapid Prototyping
Produktionscode
Transformationen
Refactoring
Abbildung 1.3: Nutzungsformen von DSLs bei agiler modellgetriebener Entwicklung
MontiCore ist ein Framework, das für die agile modellgetriebene Softwareentwicklung
eingesetzt werden kann. Dafür werden die Teile einer Software identifiziert, für die sich
der Einsatz einer DSL mit einer Codegenerierung lohnt. Dabei ist insbesondere eine kompakte
Beschreibung eines Sachverhalts gegenüber einer umfangreichen Implementierung in
einer Programmiersprache wünschenswert. Es wird nicht die vollständige Erzeugung eines
Softwaresystems aus Modellen als Ziel definiert, sondern die Ergänzung des manuell implementierten
Quellcodes. Dieses gründet sich auf der Tatsache, dass es bestimmte Teile einer
Software gibt, die sich in einer Programmiersprache knapp und eindeutig implementieren
lassen, und somit keine DSL existiert, die hier eine Effektivitätssteigerung ermöglicht. Dieses
deckt sich mit der Empfehlung in [Wil03], eine 80%-Lösung in Zusammenhang mit
DSLs anzustreben.