Pr-1st-1.1-m02-Slajd56

Model predykatowy

W modelu predykatowym, dla każdego pasywnego procesu $P_i$ ze zbiorem warunkującym ${{𝒟}}_i$ określony jest predykat $activat{e}_i({𝒳})$, gdzie ${𝒳}\subseteq {{𝒟}}_i$. Jak łatwo zauważyć, stosownie definiując predykat $activat{e}_i({𝒳})$ 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 ${{𝒟}}_i={{𝒟}}_i^1\cup {{𝒟}}_i^2\cup \dots \cup {{𝒟}}_i^{qi}$, oraz liczb naturalnych $k_i^1,k_i^2,\dots ,k_i^{qi}$, i $r_i^1,r_i^2,\dots ,r_i^{qi}$. Wówczas, predykat można wyrazić następująco:

$activat{e}_i({𝒳})\equiv (\mathrm{\exists }u::1\le u\le q_i::|{{𝒟}}_i^u\cap {𝒳}|\ge 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$, ${{𝒟}}_i^1={{𝒟}}_i$ i dalej:

$activat{e}_i({𝒳})\equiv |{{𝒟}}_i\cap {𝒳}|\ge k_i^1$

Model OR-AND - przyjmując, że $\mathrm{\forall }u::1\le u\le q_i::k_i^u=|{{𝒟}}_i^u|$ i dalej:

$activat{e}_i({𝒳})\equiv (\mathrm{\exists }u::1\le u\le q::{{𝒟}}_i^u\subseteq {𝒳})$

Model OR - przyjmując, że $\mathrm{\forall }u::1\le u\le q_i::|{{𝒟}}_i^u|=1\wedge k_i^u=1\wedge {{𝒟}}_i={{𝒟}}_i^1\cup {{𝒟}}_i^2\cup \dots \cup {{𝒟}}_i^{qi}$ i dalej:

$activat{e}_i({𝒳})\equiv {{𝒟}}_i^u\cap {𝒳})\ne \mathrm{\varnothing }$

Model AND - przyjmując, że $q_i=1$, ${{𝒟}}_i^1={{𝒟}}_i$, $k_i^1=r_i^1=|{{𝒟}}_i^1|=|{{𝒟}}_i|$ i dalej:

$activat{e}_i({𝒳})\equiv {{𝒟}}_i\subseteq {𝒳}$

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