Nächste Seite:
kombiniertes Fragment
Aufwärts:
Sequenzdiagramm
Vorherige Seite:
spezielle Nachrichten
 
Inhalt
Zustandsinvariante
Abbildung 77:
Zustandsinvariante
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