Adjon példát egy ellenőrző formulára egy Use Case-ben.

A Use Case ellenőrző formulája egy olyan feltétel, amelynek teljesülnie kell ahhoz, hogy a lépés vagy az egész forgatókönyv sikeresen végbemenjen.

Példa: a "Rendelés leadása" Use Case-ben az ellenőrző formulát így lehet megfogalmazni:

Ha a rendelés összege > 0 és a kosárban lévő termékek száma > 0, akkor az átutalásra való áttérés engedélyezett.

Vagy logikai kifejezésként:

(Rendelés_összeg > 0) ÉS (Termékek_száma > 0)

Ez segít formalizálni az üzleti szabályokat és automatizálni az érvényesítést a követelményanalízis szakaszában.