O condiție semantică sau restricție care descrie o limitare sau un stat. De exemplu, o restricţie ar putea fi o limitare pe unele date gama de valori sau pe unele comportamente cererii, sau ar putea fi o descriere a unui stat necesare sistemului la un anumit punct în timp.