Une sémantique condition ou restriction qui décrit une limitation ou un État. Par exemple, une contrainte pourrait être une limitation de la plage de certaines données des valeurs ou sur certains comportement de l'application, ou il pourrait s'agir d'une description d'un État requis du système à un moment donné dans le temps.