Pr-1st-1.1-m03-Slajd04

Zbiór stanów globalnych (1)

Zbiór stanów globalnych ${\boldsymbol {\Sigma }}$ jest podzbiorem iloczynu kartezjańskiego ${\mathcal {S}}_{1}\times {\mathcal {S}}_{2}\times \ldots \times {\mathcal {S}}_{n}$ zbiorów stanów lokalnych procesów składowych przetwarzania rozproszonego.

Stan globalny procesu rozproszonego ${\mathit {\Pi }}$ w chwili $\tau$ czasu globalnego (czasu postrzeganego przez teoretycznego zewnętrznego obserwatora), oznaczony przez ${\mathit {\Sigma }}(\tau )$, jest więc uporządkowanym zbiorem stanów lokalnych wszystkich procesów składowych w chwili $\tau$:

${\mathit {\Sigma }}(\tau )=\left\langle S_{1}(\tau ),S_{2}(\tau ),\ldots ,S_{n}(\tau )\right\rangle$

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