Semantyczne warunków i ograniczeń, która opisuje ograniczenie lub Państwa. Na przykład ograniczenia mogą być ograniczenia zakresu niektórych danych wartości lub na pewne zachowanie aplikacji, lub może to być opis wymaganego stanu systemu w określonym punkcie w czasie.