Tehnici de implementare a concurentei în analiza si proiectarea ...
Tehnici de implementare a concurentei în analiza si proiectarea ...
Tehnici de implementare a concurentei în analiza si proiectarea ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Figura 5.1. Metamo<strong>de</strong>lul diagramelor <strong>de</strong> stari <strong>în</strong> UML<br />
Clasa ce mo<strong>de</strong>leaza starile compuse este <strong>de</strong>scen<strong>de</strong>nta a clasei State <strong>si</strong> contine<br />
una sau mai multe substari (una sau mai multe instante ale clasei StateVertex).<br />
Aceasta clasa are doua proprietati foarte importante, care precizeaza daca starea<br />
compusa este concurenta (isConcurrent) <strong>si</strong> daca ea este o substare a unei stari<br />
concurente (isRegion).<br />
Clasa SimpleState a fost introdusa doar din ratiuni <strong>de</strong> “<strong>si</strong>metrie” cu<br />
Compo<strong>si</strong>teState, ea neavând nici o alta trasatura <strong>în</strong> plus fata <strong>de</strong> clasa State. Instantele<br />
acestei clase reprezinta stari care nu contin substari.<br />
O stare este asociata cu doua secvente <strong>de</strong> actiuni care vor fi executate la<br />
intrarea (entry) respectiv la ie<strong>si</strong>rea (exit) din starea respectiva prin intermediul unei<br />
tranzitii. Aceste actiuni sunt atomice <strong>si</strong> ele nu sunt executate <strong>în</strong> cazul <strong>în</strong> care are loc o<br />
auto-tranzitie. De asemenea o stare are asociata o lista <strong>de</strong> evenimente care sunt<br />
amânate.<br />
133