Diss.-ETH 12317 Diss.-ETH 12317 Diss.-ETH 12317 Diss.-E Eine ...

5.4. IMPLEMENTATION 93
konsequente Namensgebung der Variablen für die Spezifikationsdaten ist
hilfreich.
Die Prozeduren werden in Bibliotheken gesammelt. Die Namen der
Bibliotheken sind innerhalb der DA festgelegt. Der Klient gibt jedem
Baustein-Typen einen eindeutige Namen T name. Daraus werden die Namen
der Prozeduren gemäss der Vorschrift
De f + Tname → De f T name (5.1)
gebildet. Damit lässt sich der Zugriff auf die Spezifikationsdaten des Bausteins
über seinen Typnamen aufbauen:
with(Ntor); #Zugriff auf Bibliothek
Prozedur := ‘Def‘.‘Tname‘;
Prozedur(...);
Ferner wird durch die Namens-Vorschrift der Namenskonflikt zwischen
Prozeduren vermindert.
Methode der Klasse “Netz”
Jeder Dienst i kann grundsätzlich eine Variabilität aufweisen, die nicht
von den Bausteinen abhängt. Diese Variabilität wird Methoden der Klasse
“Netz” zugeordnet, und kann in j Spezifikationen SNetzij definiert werden.
Es hat sich als praktisch erwiesen, grössere Spezifikationsmengen in
j kleinere, logisch zusammengehörige Spezifikationen zu packen, um die
Lesbarkeit und Handhabung zu verbessern. Jedes Spezifikationselement
SNetzij wird durch eine Prozedur realisiert. Im Rumpf dieser Prozeduren
aktualisiert der Klient die zugehörigen Spezifikationsdaten VNetzij
5.4.2 Spezifikationsdaten
Die Spezifikationsdaten V werden mit Hilfe einer Menge von globalen Variablen
von den Spezifikations- zu den Adaptionselementen übertragen. V
ist eine heterogene Menge verschiedener Variablen-Typen, wie beispielsweise
Vektoren oder Tabellen. Die Implementation über Variable ermöglicht
die Datenübertragung zwischen beliebigen Spezifikationen und Adaptionen.
Die Menge dieser Variablen ist innerhalb eines Anwendungsfalls grundsätzlich
unter der Kontrolle des Klienten. Der Klient entscheidet, ob er
von Spezifikationen und Adaptionen eines ähnlichen Falles ausgehen will
Diss.-ETH 12317 Diss.-ETH 12317 Diss.-ETH 12317 Diss.-E