Uma condição de semântica ou restrição que descreve um Estado ou limitação. Por exemplo, uma restrição pode ser uma limitação no intervalo de alguns dados de valores ou por algum comportamento do aplicativo, ou poderia ser uma descrição de um estado obrigatório do sistema em um determinado ponto no tempo.