Ներկայացրեք Use Case-ում ստուգման ֆորմուլի օրինակ։

Use Case-ում ստուգման ֆորմուլան այն պայմանն է, որը պետք է կատարվի, որպեսզի քայլը կամ ամբողջ սցենարը հաջողությամբ անցնի:

Օրինակ՝ «Պատվերի ձևակերպում» Use Case-ում ստուգման ֆորմուլան կարող է լինել հետևյալը՝

Եթե պատվերի գումարը > 0 և զամբյուղում ապրանքների քանակը > 0, ապա անցումը վճարման համար թույլատրվում է:

Կամ՝ տրամաբանական արտահայտության տեսքով՝

(Պատվերի_գումար > 0) ԵՎ (Ապրանքների_քանակ > 0)

Այսպիսով՝ այն օգնում է բիզնեսի կանոնները ֆորմալացնել և ավտոմատացնել պահանջների վերլուծության փուլում վավերացման գործընթացը։