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