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

90 KAPITEL 5. DOMÄNEN-ARCHITEKTUR
Beziehungen ab. Andererseits stellt es Adaptionsstellen (passives API)
zur Verfügung, die das unterschiedliche Verhalten enthalten. Die Adaptionsstellen
Fi in Abbildung 5.1 stellen diese Ankopplungsstellen für die
variablen Teile der Dienste dar. Das Framework bietet für jeden Dienst i
eine Adaptionsstelle Fi an.
5.3.6 Zusammensetzung des Frameworks
Dieses Element baut aus den adaptierten und konstanten Einzelteilen des
Frameworks einen ausführbaren Quelltext zusammen. Dieser Prozess wird
durch folgende Angaben des Klienten gesteuert:
1. Menge der verwendeten Ntor-Typen NT
2. Menge der verwendeten Summengeber-Typen ST
3. Menge der benutzten Dienste D
4. Menge von Basisnamen, die für jeden elektrischen Anschluss (automatisch)
zu spezifizieren sind
Der Aufbauprozess benötigt für jeden benutzten Dienst die verlangten
Spezifikationen und Adaptionen. Der Klient liefert die für seinen Anwendungsfall
geeignete Spezifikation und Adaption.
Der Klient benutzt dann den zusammengebauten Quelltext, indem er
ihn übersetzt, in seinen Kontext bindet und als Netz-Objekt instantiiert.
Dieser Kontext kann das Default-Hauptprogramm oder sonst ein Quellprogramm
des Klienten sein.
5.4 Implementation
In diesem Unterkapitel wird aufgezeigt, wie die Adaption des Frameworks
und die einzelnen Elemente der DA implementiert sind. Als grundlegende
Randbedingungen sind dabei folgende beiden Punkte von zentraler Bedeutung:
1. Die symbolische Berechnung wird benötigt, damit der Klient Gleichungen
auf hohem Abstraktionsniveau definieren und in der Adaptionsphase
weiterverarbeiten kann. Maple V [31, 32] ist ein symbolisches
Rechensystem, das folgende Eigenschaften besitzt:
Diss.-ETH 12317 Diss.-ETH 12317 Diss.-ETH 12317 Diss.-E