Eine Methode zur formalen Modellierung von ...

34 Formale Grundlagen und Schemata
Verteilte Systeme
Entsprechend zu den Basiskomponenten besteht die Beschreibung eines Netzes aus zwei
Teilen. Der Kopf der Spezikation enthalt die Beschreibung der Schnittstelle des verteilten
Systems. Im Rumpf wird die Vernetzungsstruktur des Systems angegeben, dessen Verhalten
sich aus dem Verhalten der einzelnen Komponenten ableiten lat. Eine Beschreibung der
Netzstruktur besteht aus einer Menge von Gleichungen der Form
Ausgabekanale = Komponente Eingabekanale
Somit werden verschiedene Verbindungsstrukturen auf einheitliche Art und Weise dargestellt.
Die in der Schnittstellenbeschreibung angegebenen Kanale bilden die Verbindung des
Systems zu seiner Umgebung. In den Gleichungen der oben genannten Form treten auch
systeminterne Kanalverbindungen auf, die die Verbindungen der Komponenten untereinander
festlegen. Fur verteilte Systeme, die als mobile, dynamische Systeme speziziert
werden, wird die initiale Vernetzung des Systems angegeben.
Das in Abbildung 2.7.1 gezeigte Beispielsystem wird durch folgende Andl-Spezikation
beschrieben. Das Verhalten des Systems Netz ergibt sich durch Komposition der Basiskomponenten
A, B und C, deren Verhalten durch Funktionsgleichungen festgelegt wird.
agent Netz
input channels
output channels
is network
InA1 : S InA1 InA2 : S InA2 InB : S InB
OutC : S OutC
AtoB = A InA1InA2 CtoA
BtoC OutB = B InB
CtoB OutC = C AtoC BtoC
end Netz
Abbildung 2.8.2: Andl-Spezikation des verteilten Systems Netz