Schriftliche Ausarbeitung - Alexander Willner | Masterarbeit

Auszug aus der D-GRDL für das InstantGrid-Projekt 10
Es gilt dann
evalSimpleProperties(h) :=
harlekin.cpucount = 2
∧ type(harlekin.cpucount) = int
∧ unit(harlekin.cpucount) = pcs
∧ . . .
Bemerkungen:
∧ harlekin.monitor
= http://localhost:8080/monitoring/services/query?wsdl
∧ type(harlekin.monitor) = uri
∧ unit(harlekin.monitor) = wsdl .
Temporale Aspekte wie zeitliche Änderungen von Eigenschaftswerten in der
Semantik, die auf Prädikatenlogik beruht, nicht berücksichtigt werden. D. h. es
gelten immer die Formeln und damit insbesondere die Eigenschaftswerte zum
Zeitpunkt der Betrachtung. Eine Aussage über Gültigkeitszeiten oder -zeiträume
ist nur indirekt mit Hilfe einer weiteren Eigenschaft möglich. Die Änderung von
Eigenschaftswerten und der sich daraus ergebenden Konsequenzen liegen bei der
Verantwortung des Benutzers.
3.4 Ressourcen-Aggregation
Dem Umstand, dass eine Ressource andere Ressourcen aggregieren kann, wird
in der D-GRDL mit dem optionalen Konstrukt
Provides −> ’’
ObjRef+
’’
Rechnung getragen, das im einfachsten Fall aus einer nichtleeren Folge von
Ressourcen-Referenzen, sprich Verweisen auf Ressourcenbezeichner, besteht:
ObjRef −> ’’
3.4.1 Einfache Aggregation
Unter (einfacher) Aggregation verstehen wir dabei ein (unmittelbares) ” zur Verfügung
stellen“ weiterer Ressourcen. 6 D. h. anders als bei der Klassenzugehörigkeit
ist eine aggregierte Ressource nicht Element der aggregierenden Ressource,
sondern steht lediglich in Relation zu ihr, was wir im folgenden noch formal
präzisieren.
Integritätsbedingung: Damit diese Relation wohldefiniert muss jede aggregierte
Ressource auch beschrieben sein. Mit anderen Worten: auf einer Menge
gegebener Ressourcenbeschreibungen R muss
ICprovidesExists(R,resourceRef)
6 Dies wird auch durch den Elementnamen ” provides“ hervorgehoben.