סמנטית תנאי או הגבלה המתאר של הגבלה או המדינה. לדוגמה, אילוץ ייתכן מגבלה על הטווח של נתונים מסוימים של ערכים או התנהגות מסוימים של היישום, או יהיה תיאור של מצב דרוש של המערכת בנקודה מסוימת בזמן.