Schriftliche Ausarbeitung - Alexander Willner | Masterarbeit

Auszug aus der D-GRDL für das InstantGrid-Projekt 8
wobei
ICsimplePropUnique(R, $P) ≡ {
∀x ∀α ∀β : (x ∈ R
∧ α ∈ x/$P/simpleProperty
∧ β ∈ x/$P/simpleProperty
∧ α/@ident = β/@ident)
=⇒ α = β }
sei, d. h. die eigentlichen Bedingungen sich durch Substitution des Parameter
$P durch resource ergeben. 5
Die möglichen Werte einer einfachen Eigenschaftsdefinition wird durch ihren
Typ eingeschränkt, d. h. wenn dieser Typ ein Basistyp ist, so gilt für eine Menge
von Ressourcenbeschreibungen R
wobei
ICsimplePropBtype(R,resource, ’int’, Integer)
∧ ICsimplePropBtype(R,resource, ’float’, Decimal)
∧ ICsimplePropBtype(R,resource, ’bool’, Boolean)
∧ ICsimplePropBtype(R,resource, ’string’, String)
∧ ICsimplePropBtype(R,resource, ’uri’, anyURI)
∧ ICsimplePropBtype(R,resource, ’date’, Date)
∧ ICsimplePropBtype(R,resource, ’time’, Time)
∧ ICsimplePropBtype(R,resource, ’dateTime’, DateTime) ,
ICsimplePropBtype(R, $P, $T, $S) ≡ {
∀x ∀α : (x ∈ R ∧ α ∈ x/$P/simpleProperty[@type = $T])
=⇒ α/text() ∈ $S }
sei. Das heißt, alle Werte einfacher Eigenschaftsbedinungen müssen dem definierten
Typ entsprechen. Die eigentlichen Bedingungen ergeben sich auch hier durch
Substitution des Parameters, wobei Integer, Decimal, String, anyURI, Date, Time
sowie DateTime die Mengen möglicher Werte (syntaktische Konstrukte) seien,
die durch die Produktionen der gleichnamigen Nichtterminale definiert sind.
Formale Semantik: Einfache Eigenschaftsdefintionen innerhalb von Ressourcenbeschreibungen
legen entsprechend benannte, typisierte und quantifizierte
Eigenschaften der Ressourcen fest. Da diese viel mit mit Feldern (engl. fields)
von Objekten gemein haben, verwenden wir die gleiche Schreibweise wie in objektorientierten
Programmiersprachen (z. B. Java):
∀x : x ∈ R =⇒ evalSimpleProperties(x) ,
wobei bei einer gegebenen Menge von Verbundtypen T und Erfüllung der Integritätsbedingungen
die einfachen Eigenschaftsdefinitionen der Struktur y für
5 Wir benutzen diese abkürzende Schreibweise, um im weiteren Verlauf der Sprachdefinition
eine explizite Auflistung von Bedingungen, die sich von den hier vorgestellten nur in wenigen
Bezeichern unterscheiden, zu vermeiden.