Text anzeigen (PDF) - bei DuEPublico

anzeigen. Außerdem wird ein neuer Zustand s + definiert. In diesem Zustand befindet sich der
Prozeß, solange die Diensterbringung durch die Maschine nicht abgeschlossen ist. Die ursprüngliche
Transition T wird durch die beiden Transitionen T1 und T2 ersetzt. T1 enthält alle Aktionen
von T bis zur request-Aktion. Diese Aktion wird ersetzt durch Output request und nextstate s + .
T2 enthält alle Aktionen aus T, die nach der request-Aktion durchgeführt wurden. In s + werden
alle Signale gesichert. Lediglich das Pseudo-Signal controlreturn kann konsumiert werden und
triggert den Rest der ursprünglichen Transition.
Dieses Schema kann rekursiv auf alle Teiltransitionen angewendet werden, bis die ursprüngliche
Transition vollständig ausgeführt worden ist.
A.9 Semantik des verzögerten Output
Die Angabe eines Wertes vom Typ duration im QSDL-Konstrukt output-delay führt zur zeitlichen
Entkopplung von Sende- und Empfangsereignissen beim Signalaustausch zwischen
(Q)SDL-Prozessen. Um die Auswirkungen formalisieren zu können, müssen erst einige vorbereitende
Notationen eingeführt werden.
Mit SIG = { s1, …, sk} wird die Menge aller in einem SDL-System definierten Signale und Timer-
Signale bezeichnet. Die Menge SIG ⊆ SIG enthält alle Signale und Timer-Signale im Gültigkeits-
Pi
bereich von Prozeß Pi. Die Menge Vj = { vj1, …, vjt} enthält alle lokalen Variablen des Prozesses Pj und mit dom( vc) wird
der Wertebereich der Variablen vc bezeichnet.
Der Zustand zP eines SDL-Prozesses, der auf asynchron kommunizierenden, erweiterten, endlichen
Automaten basiert kann als 3-Tupel = ( zH, zN, W)
beschrieben werden. Dabei ist:
zH ∈ { zH1, …, zHm} zN = 〈 zN1, …, zNr〉 znj ∈ dom() j
W = 〈 s1, …, sp〉 si ∈ SIGh Menge der Hauptzustände (SDL-States)
Wertetupel der lokalen Variablen
Nachrichten im Eingangspuffer
Ein SDL-Prozeß kann nun analog zu einem endlichen Automaten aufgefaßt werden als 5-Tupel
Pi = ( SIG , SIG , Z, δ, α)
wobei
Pi Pi
SIG Pi
SIG Pi
δ:
⊆ SIG
⊆ SIG
Z = { zp1, …, zph} Z × SIG → Z Pi
α: Z × SIG → SIG × ℑ
Pi Pi
z P
Menge der gültigen Signale
Menge der gültigen Signale
Menge der Zustände, die der Prozeß einnehmen
kann
Zustandsübergangsfunktion
Ausgabefunktion
Mit ℑ =
{ Z1, …, Zu} wird die Menge aller Mengen von Zuständen aller Prozesse eines Systemes
bezeichnet. Im Gegensatz zu erweiterten, endlichen Automaten hat die Ausgabefunktion bei
kommunizierenden Automaten einen Einfluß auf den Zusatnd der empfangenden Automaten, da
243