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

atunci o sigura substare a sa poate fi activa la un moment dat. În cazul concurentei
vor fi active toate subregiunile starii compuse.
În diagramele de stari din UML exista trei modalitati prin care o sub-stare
devine activa în cazul unei tranzitii într-o stare compusa: implicit, explicit si prin
intermediul pseudostarii istoric. În figura 4.10 sunt reprezentate grafic toate aceste
cazuri, cu remarca suplimentara ca în cazul în care sub-starile sunt la rândul lor stari
compuse, activarea se va face analog recursiv. Indiferent de modalitatea în care se
realizeaza tranzitia în cadrul unei stari compuse se va executa secventa de actiuni
entry() specificata pentru aceasta stare. Un caz deosebit este cel în care starea
compusa contine mai multe componente concurente (ortogonale). În acest caz se va
utiliza o tranzitie complexa cu ajutorul pseudostarii fork, si fiecare regiune
(componenta) concurenta în care va intra o astfel de tranzitie va activa o substare a sa
dupa modelul starilor compuse prezentat anterior. Pentru regiunile în care nu intra
nici o tranzitie se va activa starea implicita (care este destinatie a unei tranzitii
initiale).
Se defineste tranzitia de terminare ca fiind o tranzitie a carei sursa este o stare
simpla sau stare compusa si care este neetichetata. O astfel de tranzitie este activata
atunci când starea sursa a atins o stare finala. De asemenea, se defineste termenul de
tranzitie de nivel înalt ca fiind acea tranzitie a carei sursa este o stare compusa.
neetichetate:
Sun mai multe cazuri distincte în care putem avea într-un model tranzitii
- tranzitii din stari initiale care nu apartin starii compuse de la nivelul unu
(optional poate apare ca eticheta o expresie booleana),
- tranzitii de terminare,
- tranzitii spre stari finale aflate în cadrul starii compuse de nivel unu care
sugereaza simpla distrugere a obiectului prin apelul destructorului
(optional – pot apare ca etichete nume de evenimente care determina
distrugerea obiectului),
- tranzitii care ies din pseudostarile istoric si fork si care intra în
pseudostarea join.
Iesirea din cadrul unei stari compuse este tratata foarte pe scurt în
documentatia UML, neinsistându-se prea mult cu explicatii pe marginea tranzitiilor de
terminare.
107