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

1.2 Domänenspezifische Sprachen 9
Autofilter [RVWL03] ist eine Sprache zur Konfiguration von Kalmanfiltern für die Satellitensteuerung.
Neben der Erzeugung von Produktivcode kann auch ein Beweis
generiert werden, dass die gewählte Lösung optimal ist.
Ereignisgesteuerte Prozessketten [Sch02] dienen der Darstellung von Geschäftprozessen.
Diese können die Grundlage für die Implementierung von Informationssystemen
bilden oder zur Optimierung eingesetzt werden.
Graphviz [GV] ist eine DSL zur Beschreibung und Visualisierung von Graphen.
HTML [HTML] ist eine Sprache zur Strukturierung von Text und Grafik, die zusätzlich
eine Verlinkung erlaubt und vor allem im Internet verwendet wird.
Matlab Simulink [Sim] ist eine Sprache zur Beschreibung regelungstechnischer Algorithmen.
Neben der Simulation erlauben verschiedene Codegeneratoren die Erzeugung
von Produktionscode.
Feature-Bäume [CE00] erlauben die Modellierung der Variabilität innerhalb einer Softwareproduktlinie.
SQL [SQL96] ist eine Datenbanksprache, die sowohl die Definition von Datenbanken erlaubt
als auch die Abfrage und Manipulation von Daten ermöglicht.
Verilog [Ver01] ist eine Hardwarebeschreibungssprache zur Modellierung elektronischer
Systeme, die für die Implementierung, Verifikation und zum Testen eingesetzt werden
kann.
Die Definition einer DSL umfasst wie die Definition einer GPL die folgenden vier Elemente
[HR04]:
• Die konkrete Syntax einer Sprache definiert die Menge der zulässigen Sprachinstanzen,
die die Entwickler verwenden können.
• Die abstrakte Syntax einer Sprache beschreibt die strukturelle Essenz einer Sprache
[DKLM84, Wil97a]. Sie bildet damit die zentrale Datenstruktur, auf der weitere
Verarbeitungsschritte wie Codegenerierungen, Analysen und Transformationen aufbauen,
und wird im Zusammenhang mit DSLs auch Domänenmodell genannt.
• Die Kontextbedingungen sind prüfbare Bedingungen, die die Menge der zulässigen
Sprachinstanzen begrenzen. Sie ergänzen die abstrakte und konkrete Syntax um
Einschränkungen, die sich in diesen Formalismen nicht oder nur schwer formulieren
lassen. Die Kontextbedingungen sollen ausschließen, dass Sprachinstanzen als
wohldefiniert verstanden werden, für die die Semantik keine Bedeutung definiert.
• Die Semantik einer Sprache bezeichnet deren Bedeutung. Dabei können verschiedene
Techniken wie denotationale Semantik [SS71] und operationale Semantik [Plo81]
genutzt werden, die jeweils auf der abstrakten Syntax aufbauen, ohne direkt Bezug
auf die konkrete Syntax zu nehmen.
DSLs können durch verschiedene Techniken definiert werden, wobei zwischen grammatikbasierten
und modellbasierten Ansätzen unterschieden wird. Grammatikbasierte Ansätze
verwenden als Sprachdefinition meistens verschiedene Arten von Grammatiken für konkrete
und abstrakte Syntax. Daraus ergibt sich, dass die Instanzen eine Baumstruktur