Pr-1st-1.1-m03-Slajd04

Zbiór stanów globalnych (1)

Zbiór stanów globalnych $\mathrm{\Sigma }$ jest podzbiorem iloczynu kartezjańskiego ${{𝒮}}_1\times {{𝒮}}_2\times \dots \times {{𝒮}}_n$ zbiorów stanów lokalnych procesów składowych przetwarzania rozproszonego.

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

$\mathrm{\Sigma }(\tau )=⟨S_1(\tau ),S_2(\tau ),\dots ,S_n(\tau )⟩$

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