VII-Von-der-Analyse-zum-Entwurf-Teil-3 (2 Folien pro Seite)
VII-Von-der-Analyse-zum-Entwurf-Teil-3 (2 Folien pro Seite)
VII-Von-der-Analyse-zum-Entwurf-Teil-3 (2 Folien pro Seite)
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Endliche Automaten 3(4)<br />
• Erklärung zu Folie 6<br />
• Q = new, Initial, WithClient, WithPeriod,<br />
WithCategory, Complete, Confirmed,<br />
destroyed<br />
• Σ = create, setClient, setPeriod, setCategory,<br />
confirm, fulfill, cancel<br />
• δ (new, create) = Initial …<br />
• q0 = new<br />
• F = destroyed<br />
SoftwEng (SS 07) <strong>Von</strong> <strong>der</strong> <strong>Analyse</strong> <strong>zum</strong> <strong>Entwurf</strong> – <strong>Teil</strong> 3 <strong>VII</strong>(3)-7<br />
Endliche Automaten 4(4)<br />
• Anmerkungen zur FSM:<br />
• die Rechtecke sind die Zustände <strong>der</strong> FSM<br />
• es gibt immer einen Anfangszustand und meist genau einen<br />
Endzustand<br />
• die Pfeile definieren die Übergangsfunktion von einem<br />
Zustand <strong>zum</strong> nächsten, sie werden Transitionen genannt<br />
und sind mit Signalen beschriftet<br />
• die Übergangsfunktion ist partiell, da man nicht mit jedem<br />
Signal (Ereignis) aus einem Zustand in einen an<strong>der</strong>en kommt<br />
• die FSM ist deterministisch, da für jedes Paar aus Zustand<br />
und Signal die Übergangsfunktion maximal einen möglichen<br />
neuen Zustand festlegt<br />
• die FSM ist "finite" = endlich, da sie nur eine endliche Menge<br />
von Zuständen besitzt<br />
SoftwEng (SS 07) <strong>Von</strong> <strong>der</strong> <strong>Analyse</strong> <strong>zum</strong> <strong>Entwurf</strong> – <strong>Teil</strong> 3 <strong>VII</strong>(3)-8<br />
4