Semantična pogoje ali omejitve, ki opisuje omejitve ali država. Na primer omejitev lahko omejitev obsega nekaterih podatkov vrednosti ali na nekaterih vedenja prijave ali se opis zahteva stanje sistema na določeno točko v času.