Sémantické podmínky nebo omezení, která popisuje omezení nebo státu. Například omezení může být omezení některých dat hodnot nebo na některých chování aplikace, nebo to může být popis požadovaného stavu systému na určitém místě v čase.