Systemmodell-basierte Definition objektbasierter ...

2.4 Beispiel einer Sprachdefinition 19
2.4.2 Abstrakte Syntax von CDSimp
In MontiCore wird die abstrakte Syntax immer automatisch aus der Grammatik in Form von
Java-Klassen abgeleitet, weshalb auch wir nicht von einer unabhängigen Beschreibung der abstrakten
Syntax als Datenmodell ausgehen wollen.
Eine MontiCore-Grammatik kann kanonisch mit Hilfe der folgenden Regeln auf eine einfache
mengentheoretische Beschreibung der abstrakten Syntax abgebildet werden, siehe dazu
auch [CGR08a] und [Kra10].
• Regeln werden auf Mengen abgebildet.
• Die rechte Seite einer Regel bildet ein Tupel, das die Struktur widerspiegelt.
Grammatik
Mengen
X = A B C
X = A × B × C
• Der optionale Name in Regeln wird ignoriert oder als Alias zur besseren Lesbarkeit eingeführt,
sofern der Name eindeutig ist.
Grammatik
Mengen
X = a:A b:B k:C
X = A × B × K und K = C
• Schnittstellenregeln und Alternativen werden auf die (disjunkte) Mengenvereinigung zurückgeführt.
Grammatik interface X; A implements X; B implements X;
oder
Grammatik X = A | B;
Mengen X = A ∪ B
• Optionale Elemente X? werden zu einer Menge, die ein spezifisches Element ɛ ∉ X enthält,
das das Nichtvorhandensein darstellt. X ɛ ist dabei die Kurzform für X ∪ {ɛ}.
• Wiederholungen durch einen Kleeneschen Stern und Listen der Form A (’,’ A)* werden
durch die entsprechende Potenzmenge oder Liste dargestellt. Ob eine Darstellung als
Menge oder Liste verwendet werden soll, hängt davon ab, ob Wiederholungen gleicher
Elemente beibehalten werden sollen und ist jeweils einzeln zu entscheiden.
Grammatik
Mengen
X = A* oder X = (A (’,’ A)*)?
X = ℘(A) oder X = List(A)
• Regeln mit dem Schlüsselwort external werden in der Grammatik nicht definiert und
bleiben auch in der Mengenrepräsentation unspezifiziert.