A foydalanuvchi u ∈U yolg’iz foylalanuvchilarni ifodalaydi

Dinamik cheklovlar foydalanuvchilarni va rollarni ba'zi harakatlarni bajarishga to'sqinlik qilishi yoki ushbu ish bo'yicha avvalgi harakatlariga qarab, ish bo'yicha aniq harakatlarni bajarishni talab qilishi mumkin:

• 
  Vazifalarni dinamik ravishda ajratish harakatni amalga oshirgan foydalanuvchiga boshqa bir-birini istisno qiladigan harakatni bajarishiga to'sqinlik qilishi mumkin, masalan, agar u so'rovni bajargan bo'lsa, tasdiqlash. Masalan, T2 va T4 ni bir kishi bajara olmaydigan cheklovni aniqlash mumkin.
  

⊥ ← doer(u, T2, c), doer(u, T4, c)

• 
  Majburiyatlarning majburiyligi aksincha-biron bir harakatni amalga oshirgan foydalanuvchi kelajakda xuddi shu holat uchun boshqa tegishli harakatlarni bajarishi shart. Nale nisbati shundaki, birinchi harakatni amalga oshirish orqali foydalanuvchi tegishli harakatlarni bajarishda talab qilinadigan yoki foydali bo'lgan bilimlarga ega bo'ldi. Masalan, Agar T2 va T3 bir xil shaxs tomonidan bajarilishi kerak, bu cheklovni quyidagicha ifodalash mumkin:
  

⊥ ← doer(u, T2, c), doer(u 0 , T3, c), not u 0 = u

• 
  Imtiyozlar o’rtasidagi cheklovlar cheklovlarga turli xil holatlarga murojaat qilish imkonini beradi, masalan, biror kishi tomonidan necha marta bajarilganiga murojaat qilish. Agar bosh direktor uchta ijrochi xodimidan ikkitasini tayinlashi mumkin bo'lsa, lekin uchtasini ham emas, keyin biznes qoidasi turli holatlar bilan bog'liq cheklov sifatida modellashtirilishi kerak:
  

⊥ ← can-play(u, CEO), doer(u, appoint-exec-off, c1),
doer(u, appoint-exec-off, c2), doer(u, appoint-exec-off, c3),
not c1 = c2, not c1 = c3, not c2 = c3.

• 
  Vazifalarni o'zaro taqsimlash holatlar bo'yicha ittifoqlarni oldini olishi mumkin, masalan, Agar Amanda Alining sayohat uchun to'lovini ma'qullagan bo'lsa, Ali Amandaning iltimosini ma'qullay olmaydi.