71
Tizim ahvoli holat tushunchasi yordamida modellashtiriladi. Tizim holati makoni
uni tashkil etuvchi ob’ektlar, sub’ektlar va xuquqlar to‘plamlarining dekart
ko‘paytmasi sifatida shakllantiriladi -
. Bu makonda tizimning joriy
holati uchlik orqali aniqlanadi. Bu uchlikka sub’ektlar to‘plami, ob’ektlar to‘plami
va sub’ektlarning ob’ektlardan foydalanish xuquqlarini tavsiflovchi foydalanish
matritsasi kiradi -
. Matritsa qatorlari sub’ektlarga, ustunlari esa
ob’ektlarga mos keladi. Ob’ektlar to‘plami o‘z ichiga sub’ektlar to‘plamini
olganligi sababli matritsa to‘g‘ri to‘rtburchak ko‘rinishida bo‘ladi. Matritsaning
ixtiyoriy yacheykasi
sub’ekt “ ”ning ob’ekt “ ”dan, foydalanish
xuquqlari to‘plami
ga tegishli foydalanish xuquqlari naboriga(to‘plamiga) ega.
Tizimning vaqt bo‘yicha ahvoli turli holatlar orasidagi o‘tishlar yordamida
modellashtiriladi. O‘tish matritsa
ga quyidagi ko‘rinishlardagi komandalar
yordamida o‘zgartirish kiritish yo‘li bilan amalga oshiriladi: