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

În alte modele realizate pâna în prezent o clasa putea sau nu sa aiba asociata o
diagrama de stari care sa-i modeleze comportamentul. Consideram ca este util sa
impunem ca o clasa sa aiba întotdeauna sa aiba atasata o stare. În cazul unei clase
oarecare al carui comportament dinamic nu este semnificativ, atunci aceasta stare va
fi una simpla (nu va contine nici o substare). Invariantul acestei stari va defini
conditia de consistenta a obiectelor clasei respective. În cazul unei clase cu un
comportament complex, starea atasata va contine practic diagrama de stari a clasei. În
momentul în care va fi creata o instanta a unei clase, obiectul sau va intra în starea
asociata acesteia, stare care se va comporta ca o stare compusa obisnuita activând una
dintre starile initiale ale acesteia.
Aceasta abordare uniforma este mult mai naturala si mai comoda din punct de
vedere al unui proiectant de aplicatii. Practic notiunea de diagrama de stari a disparut,
comportamentul claselor fiind descris prin intermediul unei ierarhii de stari între care
exista diverse tranzitii.
138
invariantul
starii State4
este inclus în
conditia tranzitiei
Figura 5.4. Exemplu de clonare a tranzitiilor
În scopul reducerii complexitatii meta-modelului static, în figura 5.2. am
prezentat toate clasele fara structura (proprietati si operatii). Este important de
precizat faptul ca în cadrul claselor FSMTransition si FSMAbstractState a fost
introdus un atribut de tip întreg, numit InternalID care are rolul de a atribui atât
tranzitiilor cât si starilor un identificator unic la nivelul hartii de stari din care fac