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

unde:
- o stare simpla este o stare care are o singura componenta ortogonala,
iar aceasta este vida.
- starea compusa (XOR – stare) are o singura componenta ortogonala,
nevida.
- starea ortogonala (AND-stare) are mai multe componente ortogonale
nevide.
Definitie 5. Definim hartile de stari scalabile de grad 1 ca fiind tuplul:
HSS 1 = (M, S, O, sR, SF, (stSucc, stInit, ortSucc), T; Sa, C),
- M este o multime finita de mesaje care pot fi receptionate de catre
obiectele clasei modelate de harta de stari,
- S este multimea finita a starilor,
- O este o multime finita de componente ortogonale,
- sR ? S este starea radacina a ierarhiei de stari,
- SF – multimea finita a starilor finale. Penru a pastra consistenta modelului
vom impune ca toate starile finale sa se afle în componente ortogonale ale
starii radacina sR, adica ? sf ? SF, stPred(ortPred(sf)) = sR. Vom elimina
astfel tranzitiile de terminare specificate în UML, fara însa a restrânge
puterea de modelare a hartilor de stari.
- functii de definire a ierarhiei de stari si componente ortogonale:
- stSucc : O ? ? (S? SF), unde stSucc(o) = {s1, s2, ... , sn} reprezinta
multimea substarilor componentei ortogonale o, cu restrictia ca ? o1,
o2 ? O vom avea stSucc(o1) ? stSucc(o2) = ? ;
- stInit : O\{o : stSucc(o)=? } ? S, stInit(o) = s0 ? stSucc(o), sub-
starea initiala a componentei ortogonale o (functia se aplica doar
pentru componentele ortogonale nevide);
- ortSucc : S ? ? (O) \ {? }, unde ortSucc(s) = {o1, o2, ... , om}
reprezinta multimea componentelor ortogonale ale starii s, cu
restrictia ca ? s1, s2 ? S vom avea ortSucc(s1) ? ortSucc(s2) = ? (o
stare are cel putin o componenta ortogonala);
- T ? ? (S\{sR}) ? M ? ? (S\{sR}) multime finita de tranzitii. O tranzitie
({s1’, ..., si’}, m, { s1’’, ..., sj’’}) ? T semnifica faptul ca, în cazul în care un
115