Tehnici de implementare a concurentei în analiza si proiectarea ...

obiect se afla în starile sursa s1’, ..., si’ ? S\{sR} (fiecare dintre acestea
aflate în componentele ortogonale distincte ale unei stari) si receptioneaza
mesajul m atunci, dupa tratarea mesajului m obiectul se va afla în starile
destinatie s1’’, ..., sj’’ ? S\{sR} (la rândul lor apartinând unui numar j de
componente ortogonale distincte ale unei stari). Starea radacina nu poate
fi nici sursa nici destinatie a unei tranzitii, iar multimea starilor sursa si
multimea starilor destinatie nu contin stari care sa se includa.
- Sa ? S? SF - multimea starilor active ale hartii de stari la un moment dat,
care are proprietatea ca ? sa ? Sa, ortSucc(sa) = ? .
- C ? M*– secventa finita de mesaje care modeleaza coada de mesaje a unui
obiect activ.
HSS 1
Sticla = (M, S, O, sR, SF, (stSucc, stInit, ortSucc ), T; C)
M = { Umple, Goleste, Sparge, Capacitate}
S = { Sticla, Normal, Goala, Plina}
O = { o1, o2, o3, o4 }
s R = Sticla
S F = { F }
116
starea initiala
pentru o1
starea initiala
pentru o2
o2
o1
o3 o4
stSucc : { o1, o2, o3, o4 } ? ? ({ Sticla, Normal, Goala, Plina, F}),
stSucc(o1) = {Normal, F}, stSucc(o2) = {Goala, Plina},
stSucc(o 3) = ? , stSucc (o 4) =? ;
stInit : { o1, o2 } ? { Sticla, Normal, Goala, Plina},
stInit(o1) = Normal, stInit(o2) = Goala,
ortSucc : { Sticla, Normal, Goala, Plina } ? ? ({ o1, o2, o3, o4 }) \ {? },
ortSucc (Sticla) = {o1 }, ortSucc (Normal) = {o2 },
ortSucc (Goala) = {o3 }, ortSucc (Plina) = {o4 },
T = {({Goala}, Umple , {Plina}), ({Plina}, Goleste, {Goala}),
({Normal}, Sparge, {F}) }
Figura 4.13. Reprezentarea grafica a hartilor de stari HSS 1
Pe baza functiilor stSucc si ortSucc putem defini alte doua functii care
determina parintii directi ai unei stari sau componente ortogonale.