Một tình trạng ngữ nghĩa hoặc hạn chế mô tả một giới hạn hoặc tiểu bang. Ví dụ, là một hạn chế có thể là một giới hạn về phạm vi của một số dữ liệu của các giá trị hoặc trên một số hành vi của các ứng dụng, hoặc nó có thể là một mô tả của một nhà nước yêu cầu của hệ thống tại một thời điểm cụ thể trong thời gian.