next up previous contents
Nächste Seite: kombiniertes Fragment Aufwärts: Sequenzdiagramm Vorherige Seite: spezielle Nachrichten   Inhalt

Zustandsinvariante

Abbildung 77: Zustandsinvariante
Image /home/waldmann/edu/ss04/se/gebhardt/UML2/./include/pic/zustandsinvariante.jpg

Die Zustandsinvariante wird unmittelbar vor dem nächsten Ereignis ausgewertet. Diese Bedingung muss zur laufzeit gelten gelten, ansonsten wurde die Interaktion fehlerhaft implementiert.

Johannes Waldmann 2004-04-28