2.4 Kommunizierende endliche Automaten
69
Abb. 2.25 Ein endlicher
Automat
k
E
j/z
D
i/y
C
B
A
g/w
f/v
h/x
Abb. 2.26 zeigt die zugehörige graphische SDL-Darstellung. Offensichtlich ist die
Darstellung äquivalent zum Zustandsdiagramm in Abb. 2.25.
Process P1
A
g
w
B
C
x
h
B
C
i
y
D
E
z
j
D
E
f
v
A
k
A
Abb. 2.26 SDL-Darstellung von Abb. 2.25
∇
Als Erweiterung gegenüber klassischen endlichen Automaten können SDLProzesse Operationen auf Daten ausführen. Variablen können lokal für einen Prozess
deklariert werden. Ihr Typ kann entweder vordefiniert werden oder er wird durch
die SDL-Operation festgelegt. SDL unterstützt abstrakte Datentypen (ADTs). Die
Syntax der Deklarationen und Operationen ist anderen Programmiersprachen sehr
ähnlich. Abb. 2.27 zeigt Beispiele für Deklarationen, Zuweisungen und Entscheidungen in SDL.
Abb. 2.27 Deklarationen,
Zuweisungen und Entscheidungen in SDL
Date String;
Counter Integer;
DCL
Counter := Counter + 3;
Counter
ELSE
(11:30)
(1:10)