Uveďte príklad overovacej vzťahu v Use Case.

Vzorec kontroly v Use Case je podmienka, ktorá musí byť splnená, aby krok alebo celý scenár boli úspešné.

Príklad: v Use Case "Vytvorenie objednávky" môže byť vzorec kontroly takto:

Ak je súčet objednávky > 0 a počet položiek v košíku > 0, prechod na platbu je povolený.

Alebo vo forme logického výrazu:

(Súčet_objednávky > 0) A (Počet_položiek > 0)

Toto pomáha formalizovať obchodné pravidlá a automatizovať validáciu v fáze analýzy požiadaviek.