Invariante (OCL)

Eine Bedingung, die den gültigen Zustand eines Objekts oder einer Gruppe von Objekten definiert. Sie muss während der gesamten Lebensdauer (genauer: an den stabilen Zuständen vor und nach Methodenaufrufen) wahr sein.

• Syntax: context <Klasse> inv <Name>: <Bedingung>