Datenflußanalyse
Datenflußanalyse
Datenflußanalyse
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
if-then-else-Konstrukt<br />
Zuerst wird der Block ausgeführt, der die Bedingung auswertet,<br />
danach einer der beiden anderen Blöcke.<br />
<br />
<br />
<br />
B1a<br />
B1 B2 B3a<br />
<br />
Transferfunktion:<br />
<br />
if-then-else<br />
<br />
<br />
<br />
<br />
<br />
F B1a = (F B2 ◦ F B1) ∨ (F B3a ◦ F B1)<br />
Datenflußgleichungen:<br />
in[B1] = in[B1a]<br />
in[B2] = F B1(in[B1])<br />
in[B3a] = F B1(in[B1])<br />
22