Pr-1st-1.1-m02-Slajd56

Model predykatowy

W modelu predykatowym, dla każdego pasywnego procesu $P_{i}$ ze zbiorem warunkującym ${\mathcal {D}}_{i}$ określony jest predykat $activate_{i}({\mathcal {X}})$, gdzie ${\mathcal {X}}\subseteq {\mathcal {D}}_{i}$. Jak łatwo zauważyć, stosownie definiując predykat $activate_{i}({\mathcal {X}})$ można oczywiście uzyskać wszystkie wcześniej omówione modele żądań.

Rozważmy na początek dysjunkcyjny model k spośród r, w którym żądania procesu $P_{i}$ są zdefiniowane w kategoriach podzbiorów ${\mathcal {D}}_{i}={\mathcal {D}}_{i}^{1}\cup {\mathcal {D}}_{i}^{2}\cup \ldots \cup {\mathcal {D}}_{i}^{qi}$, oraz liczb naturalnych $k_{i}^{1},k_{i}^{2},\ldots ,k_{i}^{qi}$, i $r_{i}^{1},r_{i}^{2},\ldots ,r_{i}^{qi}$. Wówczas, predykat można wyrazić następująco:

$activate_{i}({\mathcal {X}})\equiv (\exists u::1\leq u\leq q_{i}::|{\mathcal {D}}_{i}^{u}\cap {\mathcal {X}}|\geq k_{i}^{u})$

Definicje predykatu dla innych modeli można wyprowadzić z powyższego sformułowania w sposób następujący:

Model podstawowy k spośród r - przyjmując, że $q_{i}=1$, ${\mathcal {D}}_{i}^{1}={\mathcal {D}}_{i}$ i dalej:

$activate_{i}({\mathcal {X}})\equiv |{\mathcal {D}}_{i}\cap {\mathcal {X}}|\geq k_{i}^{1}$

Model OR-AND - przyjmując, że $\forall u::1\leq u\leq q_{i}::k_{i}^{u}=|{\mathcal {D}}_{i}^{u}|$ i dalej:

$activate_{i}({\mathcal {X}})\equiv (\exists u::1\leq u\leq q::{\mathcal {D}}_{i}^{u}\subseteq {\mathcal {X}})$

Model OR - przyjmując, że $\forall u::1\leq u\leq q_{i}::|{\mathcal {D}}_{i}^{u}|=1\land k_{i}^{u}=1\land {\mathcal {D}}_{i}={\mathcal {D}}_{i}^{1}\cup {\mathcal {D}}_{i}^{2}\cup \ldots \cup {\mathcal {D}}_{i}^{qi}$ i dalej:

$activate_{i}({\mathcal {X}})\equiv {\mathcal {D}}_{i}^{u}\cap {\mathcal {X}})\neq \emptyset$

Model AND - przyjmując, że $q_{i}=1$, ${\mathcal {D}}_{i}^{1}={\mathcal {D}}_{i}$, $k_{i}^{1}=r_{i}^{1}=|{\mathcal {D}}_{i}^{1}|=|{\mathcal {D}}_{i}|$ i dalej:

$activate_{i}({\mathcal {X}})\equiv {\mathcal {D}}_{i}\subseteq {\mathcal {X}}$

<< Poprzedni slajd | Spis treści | Następny slajd >>