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 />
Klassen- und Objektdiagramme<br />
Verhaltensdiagramme<br />
Überblick über weitere UML-Diagramme<br />
Zust<strong>an</strong>d<br />
Ein Zust<strong>an</strong>d eines Zust<strong>an</strong>dsdiagramms wird durch ein Rechteck<br />
mit abgerundeten Ecken dargestellt.<br />
Startzust<strong>an</strong>d<br />
Der Startzust<strong>an</strong>d wird durch einen schwarzen ausgefüllten Kreis<br />
gekennzeichnet (ähnlich wie bei Aktivitätsdiagrammen).<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 />
Tr<strong>an</strong>sition (= Zust<strong>an</strong>dsüberg<strong>an</strong>g)<br />
0<br />
0<br />
Barbara König <strong>Modellierung</strong> 295<br />
Klassen- und Objektdiagramme<br />
Verhaltensdiagramme<br />
Überblick über weitere UML-Diagramme<br />
Eine Tr<strong>an</strong>sition ist ein Pfeil, <strong>der</strong> mit Ereignis [Bedingung]/Effekt<br />
beschriftet ist. (Bedingung und Effekt sind optional.)<br />
Ereignis: Signal o<strong>der</strong> Nachricht, die die entsprechende<br />
Tr<strong>an</strong>sition auslösen.<br />
0<br />
after(1 min)<br />
Bedingung: Überwachungsbedingung (auch Guard gen<strong>an</strong>nt).<br />
Effekt: Effekt, <strong>der</strong> durch die Tr<strong>an</strong>sition ausgelöst wird .<br />
Im obigen Beispiel (Minuten<strong>an</strong>zeige) gibt es nur Ereignisse<br />
(sogenn<strong>an</strong>te time events), die die Zeitsp<strong>an</strong>ne spezifizieren, nach<br />
<strong>der</strong> die Tr<strong>an</strong>sition ausgelöst wird. Es gibt aber auch <strong>an</strong><strong>der</strong>e<br />
Ereignisse, beispielsweise Methodenaufrufe.<br />
1<br />
Barbara König <strong>Modellierung</strong> 297<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 />
Endzust<strong>an</strong>d<br />
Endzustände werden wie das Aktivitätsende in<br />
Aktivitätsdiagrammen gekennzeichnet.<br />
A<br />
Klassen- und Objektdiagramme<br />
Verhaltensdiagramme<br />
Überblick über weitere UML-Diagramme<br />
Für den Fall, dass m<strong>an</strong> ein System modelliert, das nicht terminieren<br />
soll, gibt es keinen Endzust<strong>an</strong>d (wie in unserem Beispiel).<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> 296<br />
Klassen- und Objektdiagramme<br />
Verhaltensdiagramme<br />
Überblick über weitere UML-Diagramme<br />
Neben den Effekten, die durch Tr<strong>an</strong>sitionen ausgelöst werden,<br />
können in einem Zust<strong>an</strong>d weitere Aktionen bei Eintritt, Verweilen<br />
o<strong>der</strong> Verlassen ausgelöst werden.<br />
Sie haben den gleichen Aufbau wie die Beschriftung einer<br />
Tr<strong>an</strong>sition: Ereignis [Bedingung]/Effekt. Dabei k<strong>an</strong>n Ereignis unter<br />
<strong>an</strong><strong>der</strong>em folgendes sein:<br />
entry: <strong>der</strong> entsprechende Effekt wird bei Eintritt in den<br />
Zust<strong>an</strong>d ausgelöst.<br />
do: <strong>der</strong> Effekt ist eine Aktion, die nach Betreten des Zust<strong>an</strong>ds<br />
ausgeführt wird und die spätestens d<strong>an</strong>n endet, wenn <strong>der</strong><br />
Zust<strong>an</strong>d verlassen wird<br />
exit: <strong>der</strong> entsprechende Effekt wird bei Verlassen des Zust<strong>an</strong>ds<br />
ausgelöst.<br />
Barbara König <strong>Modellierung</strong> 298