Семантическое условие или ограничение, описывающий ограничение или государства. Например, ограничение может быть ограничение на некоторых данных диапазона значений или на некоторых поведение приложения, или он может быть описание требующегося состояния системы на определенный момент времени.