Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!

Einschränkung:
OCL ist eine formale Sprache zur Definition von Einschränkungen auf einem oder mehreren Teilen eines UML-Models.

Klasseninvariante:
Eine Bedingung, die (fast) immer von allen Instanzen einer Klasse
erfüllt werden muss.

Vorbedingung:
Eine Bedingung, die erfüllt sein muss, bevor eine Operation ausgeführt werden kann.

Nachbedingung:
Eine Bedingung, die nach dem Ausführen einer Operation erfüllt sein muss.