Pr-1st-1.1-m02-Slajd53

Model OR-AND – przykład

Rozważmy przykładowy warunek uaktywnienia procesu $P_i$, sformułowany następująco: proces $P_i$ zostanie uaktywniony po otrzymaniu wiadomości jednocześnie od procesu $P_1$ i $P_2$, lub jednocześnie od procesów $P_3$, $P_4$ i $P_5$ lub jednocześnie od procesów $P_6$ i $P_7$

W tym wypadku możemy zatem przyjąć, że:

${{𝒟}}_i^1=\{P_1,P_2\}$

${{𝒟}}_i^2=\{P_3,P_4,P_5\}$

${{𝒟}}_i^3=\{P_6,P_7\}$

Model OR-AND jest ogólniejszy od podstawowego modelu k spośród r. Model ten redukuje się do modelu k spośród r, gdy podzbiory ${{𝒟}}_i$ odpowiadają wszystkim możliwym podzbiorom o liczności $k$ zbioru warunkującego Parser nie mógł rozpoznać (błąd składni): {\displaystyle \mathcal{D}_i<math> o liczności <math>r} . Przykładowo, jeżeli ${{𝒟}}_i=\{P_1,P_2,P_3\}$ i $P_i$ formułuje warunek 2 spośród 3, czyli 2 spośród $\{P_1,P_2,P_3\}$, to ${{𝒟}}_i$ można wyrazić jako Parser nie mógł rozpoznać (błąd składni): {\displaystyle \{P_1,P_2} \cup \{P_2,P_3\}\cup\{P_1,P_3\}} , a więc jako sumę wszystkich dwuelementowych podzbiorów zbioru ${{𝒟}}_i$.

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