invariant (инвариант)

Ограничение, которое должно соблюдаться постоянно (но меньшей мере, когда все операции завершены).

Семантика

Инвариант представляет собой логическое выражение, которое должно быть истинно всегда, когда нет активных операций. Это формальное утверждение, а не выполняемый оператор. В зависимости от конкретной формы выражения инвариант иногда может быть автоматически проверен заранее.
См. precondition; postcondition.

Структура

Инвариант прикрепляется к элементу модели в виде ограничения со стереотипом "invariant".

Нотация

Постусловие может указываться в примечании с ключевым словом "invariant". Примечание прикрепляется к классификатору, атрибуту или другому элементу модели.