Synthese von Kommunikationsstrukturen in verteilten ... - Stefan Ihmor
Synthese von Kommunikationsstrukturen in verteilten ... - Stefan Ihmor
Synthese von Kommunikationsstrukturen in verteilten ... - Stefan Ihmor
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
5.4 Berechnunge<strong>in</strong>esMergedProtocols<br />
PseudoCodefurdieGenerierunge<strong>in</strong>esMergedProtocol<br />
01 BBcurr=ersterBBdeserstenProtokoll<br />
02 WHILE(BBcurr!=null)DO<br />
03<br />
04<br />
FOR(i<strong>in</strong>succ(BBcurr))f<br />
05<br />
IF(succ(BBcurr)[i]passtzue<strong>in</strong>emBBabgeschlossen)f<br />
erzeugeTransitionzuBBpassend 06<br />
07<br />
aktualisiere(succ(BBcurr),pred(BBpassend))g<br />
08<br />
ELSEIF(succ(BBcurr)passtzue<strong>in</strong>emBBunbehandelt)f<br />
erzeugeTransitionzuBBpassend 09<br />
10<br />
aktualisiere(succ(BBcurr),pred(BBpassend))g<br />
11<br />
ELSEf<br />
erzeugeneuenBBneu 12 unbehandeltBBList.add(BBneu)<br />
13<br />
14 g//ENDFOR<br />
aktualisiere(succ(BBcurr),pred(BBneu)g<br />
15 markiereBBcurralsabgeschlossen<br />
16 BBcurr=unbehandeltBBList.getNext()<br />
17 g//ENDWHILE<br />
DerAlgorithmusverwendetdiefolgendenDenitionenundFunktionen:<br />
DiebeidenubergebenenProtokollewerdenmitP1undP2bezeichnet<br />
succ(BBx)lieferte<strong>in</strong>eListemitallennachfolgendenGrundblocken<strong>von</strong>x<br />
pred(BBx)lieferte<strong>in</strong>eListemitallenvorangehendenGrundblocken<strong>von</strong>x<br />
BBa2P1istpassendzuBBabgeschlossenbwennsucc(b)=succ(a)/b<br />
BBa2P1istpassendzuBBunbehandeltbwenngilt:<br />
succ(8BB:(pred(b)2P1))succ(a)<br />
{ 8(pred(b)2P2)2pred(a)<br />
InderTabelle5.1istderAblaufdesAlgorithmusundderAufbauderverschiedenen<br />
ListenbeimErstellendesMergedProtocolsaus um die gleichen Protokolle PA und PB wie <strong>in</strong> Abbildung PAundPB5.2. zusehen.Eshandeltsich<br />
Zustand der e<strong>in</strong>zelnen Listen jeweils nachdem der aktuelle Grundblock Die Tabelle abgearbeitet zeigt den<br />
undalsabgeschlossenmarkiertwurde.<br />
41