Modellierung - an der Universität Duisburg-Essen
Modellierung - an der Universität Duisburg-Essen
Modellierung - an der Universität Duisburg-Essen
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Einführung in die <strong>Modellierung</strong><br />
Petrinetze<br />
Unified Modeling L<strong>an</strong>guage (UML)<br />
Zust<strong>an</strong>dsdiagramme<br />
Beschreibung <strong>der</strong> Eintrittsmöglichkeiten:<br />
Klassen- und Objektdiagramme<br />
Verhaltensdiagramme<br />
Überblick über weitere UML-Diagramme<br />
St<strong>an</strong>dard-Eintritt: dabei wird <strong>der</strong> Startzust<strong>an</strong>d des<br />
zusammengesetzten Zust<strong>an</strong>ds <strong>an</strong>gesprungen.<br />
(Forsetzung bei B, was schließlich zu einer Fortsetzung bei D<br />
führt)<br />
Expliziter Eintritt: es wird bei dem explizit <strong>an</strong>gegebenen<br />
Folgezust<strong>an</strong>d fortgesetzt.<br />
(Fortsetzung bei C.)<br />
Einführung in die <strong>Modellierung</strong><br />
Petrinetze<br />
Unified Modeling L<strong>an</strong>guage (UML)<br />
Zust<strong>an</strong>dsdiagramme<br />
Barbara König <strong>Modellierung</strong> 307<br />
Klassen- und Objektdiagramme<br />
Verhaltensdiagramme<br />
Überblick über weitere UML-Diagramme<br />
Beschreibung <strong>der</strong> Eintrittsmöglichkeiten (Fortsetzung):<br />
Eintritt über die flache Historie: Wurde <strong>der</strong> zusammengesetzte<br />
Zust<strong>an</strong>d bereits früher besucht, so wird <strong>der</strong> letzte vor dem<br />
Verlassen des Zust<strong>an</strong>ds aktive Unterzust<strong>an</strong>d <strong>der</strong> obersten<br />
Ebene betreten.<br />
(Falls also <strong>der</strong> zusammengesetzte Zust<strong>an</strong>d das letzte Mal von<br />
E aus verlassen wurde, so wird jetzt bei B fortgesetzt, was<br />
letztendlich zu einer Fortsetzung bei D führt.)<br />
Außerdem: Eintritt über einen Eintrittspunkt (wird hier nicht<br />
beh<strong>an</strong>delt).<br />
Barbara König <strong>Modellierung</strong> 309<br />
Einführung in die <strong>Modellierung</strong><br />
Petrinetze<br />
Unified Modeling L<strong>an</strong>guage (UML)<br />
Zust<strong>an</strong>dsdiagramme<br />
Klassen- und Objektdiagramme<br />
Verhaltensdiagramme<br />
Überblick über weitere UML-Diagramme<br />
Beschreibung <strong>der</strong> Eintrittsmöglichkeiten (Fortsetzung):<br />
Eintritt über die tiefe Historie: Wurde <strong>der</strong> zusammengesetzte<br />
Zust<strong>an</strong>d bereits früher besucht, so wird <strong>der</strong> letzte vor dem<br />
Verlassen des Zust<strong>an</strong>ds aktive Unterzust<strong>an</strong>d <strong>der</strong><br />
tiefstmöglichen Ebene betreten.<br />
(Falls also <strong>der</strong> zusammengesetzte Zust<strong>an</strong>d das letzte Mal von<br />
E aus verlassen wurde, so wird jetzt wie<strong>der</strong> bei E fortgesetzt.)<br />
Falls m<strong>an</strong> noch niemals zuvor diesen zusammengesetzten<br />
Zust<strong>an</strong>d betreten hat, so wird <strong>der</strong> Zust<strong>an</strong>d betreten, <strong>der</strong> mit<br />
<strong>der</strong> K<strong>an</strong>te gekennzeichnet ist, die aus dem H ∗ -Knoten ausgeht.<br />
Einführung in die <strong>Modellierung</strong><br />
Petrinetze<br />
Unified Modeling L<strong>an</strong>guage (UML)<br />
Zust<strong>an</strong>dsdiagramme<br />
Barbara König <strong>Modellierung</strong> 308<br />
Klassen- und Objektdiagramme<br />
Verhaltensdiagramme<br />
Überblick über weitere UML-Diagramme<br />
Wenn ein Zust<strong>an</strong>d in mehrere Regionen unterteilt ist, so ergeben<br />
sich bei den Eintrittsmöglichkeiten einige Beson<strong>der</strong>heiten.<br />
Eintrittsmöglichkeiten bei Regionen (graphisch)<br />
St<strong>an</strong>dard-<br />
Eintritt<br />
A B<br />
C D<br />
Expliziter<br />
Eintritt<br />
Eintritt<br />
über Gabelung<br />
Barbara König <strong>Modellierung</strong> 310