Semantik kondisi atau pembatasan yang menggambarkan pembatasan atau negara. Misalnya, kendala mungkin pembatasan pada beberapa data kisaran nilai-nilai atau beberapa perilaku aplikasi, atau bisa juga deskripsi keadaan diperlukan sistem pada titik tertentu dalam waktu.