(1) O constrângere care trebuie să fie adevărat la finalizarea unei operaţiuni.
(2) O descriere textuală definind o constrângere asupra sistemului atunci când un caz de utilizare a reziliat.