Schriftliche Ausarbeitung - Alexander Willner | Masterarbeit

Auszug aus der D-GRDL für das InstantGrid-Projekt 4
Beispiel: Als Beispiel seien im folgenden die Produktionen einer Grammatik
mit Startsymbol Id angegeben, die die Bezeichner einer Programmiersprache
in üblicher Form beschreibt, nämlich als nichtleere Folgen von Buchstaben und
Ziffern, die mit einem Buchstaben beginnen:
Id −> Letter ( Letter | Digit )∗
Letter −> ’a ’ | . . . | ’z ’ | ’A’ | . . . | ’Z’
Digit −> ’0 ’ | ’1 ’ | . . . | ’9 ’
Da sich unmittelbar aus den Produktionen die Nichtterminale und Terminale
der Grammatik ergeben, werden wir im Folgenden auf eine explizite Angabe
dieser Mengen und des Quadrupels G = (N, T, P, S) verzichten.
2.2 XML und XML-Schema sowie XPath
Die D-GRDL ist eine Teilmenge der eXtended Markup Language (XML) 1 , die
einem XML-Schema 2 genügt, wobei wir der Einfachheit halber im Folgenden
die Sprache mit Hilfe einer kontextfreien Grammatik formulieren, jedoch auch
ein entsprechendes XML-Schema angeben, dass u. a. zur Evaluierung oder zu
korrekten Konstruktion von D-GRDL-Konstrukten eingesetzt werden kann.
Um die Semantik der D-GRDL z.B. mittels einzuhaltender Bedingungen zu
formulieren, nutzen wir die Sprache XPath 3 , mit der man auf Teilkonstrukte
einer XML-Sprachkonstrukts referenzieren kann.
Eine Beschreibung dieser Formalismen ist nicht Gegenstand dieses Dokuments.
Detaillierte Definitionen und Spezifikationen dieser Formalismen finden sich in
der einschlägigen und vielfältig verfügbaren Literatur.
3 Beschreibungssprache
3.1 Bezeichner
Bezeichner in D-GRDL-Beschreibungen sind Uniform Resource Identifier
(URI), die im Allgemeinen durch Element-Attribute wiedergegeben werden. Als
URI dürfen beliebige zulässige Bezeichner anyURI verwendet werden, wobei
gängige aber auch eigene Konventionen zu deren Strukturierung umsetzbar sind.
Diese Konventionen sind nicht Bestandteil der D-GRDL und somit durch die
Nutzer der Sprache festzulegen. 4
URI −> ’ uri =”’ anyURI ’” ’
1 siehe http://de.wikipedia.org/wiki/XML zur Übersicht mit weiterführenden Verweisen,
u. a. zu den offiziellen Dokumenten des W3C.
2 siehe http://de.wikipedia.org/wiki/XML_Schema zur Übersicht mit weiterführenden
Verweisen, u. a. zu den offiziellen Dokumenten des W3C.
3 siehe http://de.wikipedia.org/wiki/XPath zur Übersicht mit weiterführenden Verweisen,
u. a. zu den offiziellen Dokumenten des W3C.
4 siehe http://de.wikipedia.org/wiki/Uniform_Resource_Identifier zur Übersicht über
den Aufbau und die Struktur von URIs.