Una condizione semantico o restrizione che descrive una limitazione o dello stato. , Ad esempio, un vincolo potrebbe essere una limitazione sulla gamma di alcuni dati di valori o su qualche comportamento dell'applicazione, o potrebbe essere una descrizione di uno stato necessario del sistema in un determinato punto nel tempo.