Παραθέστε ένα παράδειγμα φόρμουλας ελέγχου σε μια Περίπτωση Χρήσης.

Ο τύπος ελέγχου στο Use Case είναι μια συνθήκη που πρέπει να εκπληρωθεί για να περάσει επιτυχώς το βήμα ή ολόκληρο το σενάριο.

Παράδειγμα: στο Use Case "Ολοκλήρωση Παραγγελίας" ο τύπος ελέγχου μπορεί να είναι ως εξής:

Αν το συνολικό ποσό της παραγγελίας > 0 και ο αριθμός προϊόντων στο καλάθι > 0, τότε η μετάβαση στην πληρωμή επιτρέπεται.

Ή με λογική έκφραση:

(Συνολικό_ποσό_παραγγελίας > 0) ΚΑΙ (Αριθμός_προϊόντων > 0)

Αυτό βοηθά στην τυποποίηση των επιχειρηματικών κανόνων και στην αυτοματοποίηση της επικύρωσης στο στάδιο ανάλυσης απαιτήσεων.