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

26 Kapitel 2 – Entwurf und Einsatz von DSLs in der Softwareentwicklung
Konstrukte zur Verfügung gestellt werden können, die die Formulierung von kompakten
Testfällen ermöglichen.
Ein Beispiel für eine solche DSL ist die Testing and Test Control Notation Version 3
(TTCN-3) [GHR + 03]. TTCN-3 ist eine standardisierte Sprache zur Erstellung von Testfällen,
wobei spezifische Programmkonstrukte wie parametrisierbare Vergleichsoperatoren,
Timer und nebenläufige Ausführung nativ zur Verfügung gestellt werden. Als eine mögliche
Alternative wird in [Rum04a] eine Form der Testfallmodellierung mit UML-Objekt- und
Sequenzdiagrammen beschrieben.
Eine weitere Möglichkeit zur Validierung der Software stellt die Spezifikation von Invarianten
dar. Diese können mit Hilfe von DSLs wie Alloy [Jac02] oder OCL [OMG06b]
spezifiziert werden. Model checking [CGP00] ist eine Technik, die bestimmte (temporallogische)
Invarianten einer Spezifikation gegenüber einem Modell überprüft oder gezielt
deren Invalidierung zeigen kann. Die verschiedenen Systeme verwenden jeweils eine bestimmte,
meistens automatenbasierte DSL zur Beschreibung des Modells und eine weitere,
oft logikbasierte DSL für die Spezifikation.
2.2.5 DSLs zur Softwareauslieferung
Die Auslieferung verteilter Anwendungen umfasst mehr als nur ein reines Installationsprogramm.
Dabei sind häufig der Einsatz von Deploymentdeskriptoren und die Verwaltung
der Serverzugänge notwendig.
In der aktuellen Entwicklungsumgebung von Microsoft (Visual Studio 2008) ist eine an
UML-Verteilungdiagramme angelehnte DSL integriert, die es erlaubt, Softwarekomponenten
auf physikalische Ressourcen zu verteilen. Bei einer Modifikation der Software kann so
der Auslieferungsprozess automatisiert ausgeführt werden.
2.2.6 DSLs zur Softwarewartung
Mit zunehmender Komplexität und wirtschaftlicher Bedeutung existierender Anwendungen
werden komplette Neuentwicklungen von Software seltener und die Evolution bestehender
Anwendungen auf Basis veränderter Anforderungen häufiger. Zusätzlich ist die reine Wartung,
also die Konservierung der Funktionalität bei Austausch der verwendeten Technologie
oftmals aufgrund veralteter Hardware oder verwendeter Software-Plattformen, eine
wichtige Disziplin innerhalb der Softwaretechnik.
In [KR05, KR06a] wird die Evolution von Software-Architekturen auf der Basis einer
expliziten Software-Architekturbeschreibung in Form einer kompakten DSL formuliert.
Der Einsatz von DSL-Technologien in der Implementierung vereinfacht oftmals auch die
Evolution, weil somit Domänenwissen und technische Realisierung in DSL-Modellen und
Generatoren getrennt voneinander entwickelt werden. In diesem Fall kann das explizit verfügbare
Domänenwissen in Form der DSL-Modelle wieder verwendet und der Generator
an die neuen Gegebenheiten angepasst werden. Ein aufwändiges Reverse-Engineering der
impliziten Geschäftslogik in Softwaresystemen kann dann entfallen.
2.2.7 Übergreifender Einsatz
Die einzelnen bisher dargestellten Aktivitäten treten bei jedem Softwareentwicklungsprozess
auf. Das heißt jedoch nicht zwangsläufig, dass die Aktivitäten nicht eng miteinander
verzahnt sein können oder sogar zu einem Entwicklungsschritt zusammengefasst werden.
Die modellbasierte Entwicklung auf der Basis von DSLs ermöglicht dieses Vorgehen im Sinne
einer ausführbaren Spezifikation. Dabei wird eine DSL verwendet, die aus der Domäne