Andke näide kontrollivormulast kasutusjuhtumis.

Use Case kontrollformel on tingimus, mis peab olema täidetud, et samm või kogu stsenaarium oleks edukas.

Näide: kasutusjuhtumi "Tellimuse vormistamine" kontrollformel võib välja näha selline:

Kui tellimuse summa > 0 ja ostukorvi toodete arv > 0, siis on maksmisele üleminek lubatud.

Või loogilise avaldise vormis:

(Tellimuse_summa > 0) JA (Toodete_arv > 0)

See aitab formaliseerida ärireegleid ja automatiseerida valideerimist nõuete analüüsi etapis.