next up previous contents
Nächste Seite: Signale und Ereignisse Aufwärts: Aktion Vorherige Seite: Aktion   Inhalt

Vor- und Nachbedingung

Wenn zu bestimmten Aktionen Vorbedingungen bezüglich einer Konfiguration (z.B. Variablenwert) vorliegen muss, so kann dass im Aktivitätsdiagramm durch einen mit dem Stereotyp local Precondition versehenem Notizzettel an der betreffenden Aktion angehäftet werden. Wenn nach einer Aktion eine bestimmte Konfiguration gilt, so kann diese mit einem Notizzettel mit dem Stereotyp localPostcondition versehen werden.



Johannes Waldmann 2004-04-28