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.
Sequenzdiagramme<br />
Einführung in die <strong>Modellierung</strong><br />
Petrinetze<br />
Unified Modeling L<strong>an</strong>guage (UML)<br />
Klassen- und Objektdiagramme<br />
Verhaltensdiagramme<br />
Überblick über weitere UML-Diagramme<br />
Nachrichten, die von einem Oper<strong>an</strong>den in einen <strong>an</strong><strong>der</strong>en laufen,<br />
sind nicht zugelassen.<br />
Sequenzdiagramme<br />
par<br />
X1<br />
Einführung in die <strong>Modellierung</strong><br />
Petrinetze<br />
Unified Modeling L<strong>an</strong>guage (UML)<br />
:X :Y<br />
Y1<br />
Barbara König <strong>Modellierung</strong> 359<br />
Klassen- und Objektdiagramme<br />
Verhaltensdiagramme<br />
Überblick über weitere UML-Diagramme<br />
Weitere Bemerkungen: um die Ereignis-Ordnung innerhalb eines<br />
par-Operators zu bestimmen . . .<br />
verwendet m<strong>an</strong> die partiellen Ordnungen <strong>der</strong> einzelnen<br />
Oper<strong>an</strong>den (≤1, ≤2)<br />
und vereinigt diese. Die Vereinigung ≤1 ∪ ≤2 ist ebenfalls<br />
eine partielle Ordnung und beschreibt alle möglichen<br />
Reihenfolgen von Ereignissen.<br />
Jede Ereignisreihenfolge, bei <strong>der</strong> ein Ereignis X immer vor einem<br />
Ereignis Y auftritt, falls X