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

O masina de stari este compusa din tranzitii si stari. Starile continute de o
masina de stari formeaza un graf ale carui arce sunt tranzitiile între aceste stari. O
masina de stari modeleaza comportamentul unui anumit element din model. Acest
element reprezinta contextul masinii de stari. Pentru o masina de stari exista o
singura stare (compusa sau nu), numita Top care are ca si parinte direct masina de
stari. Toate celelalte stari continute de masina de stari reprezinta de fapt extensia
starii compuse Top.
Clasa abstracta StateVertex reprezinta clasa de baza pentru toate tipurile de
stari definite în UML, relatiile outgoing si incoming specificând faptul ca o stare poate
fi sursa si destinatia unui numar nedefinit de tranzitii.
Clasa SubmachineState reprezinta o masina de stari încuibarita (sub-masina de
stari). Asa cum se precizeaza si în documentatia UML o submasina de stari este
echivalenta din punct de vedere semantic cu o stare compusa precizându-se ca ea a
fost introdusa cu scopul de a usura în primul rând reutilizabilitatea. Din pacate nu se
precizeaza si modul în care s-ar putea realiza efectiv reutilizarea unei submasini de
stari si nici nu sunt impuse anumite constrângeri care sa granteze independenta
submasinilor.
5.2.2. Modelarea hartilor de stari scalabile în ActiveCASE
Asa cum am aratat, hartile de stari scalabile se bazeaza diagramele de tranzitie
a starii descrise în UML. ActiveCASE implementeaza aceste harti de stari, oferind
posibilitatea modelarii comportamentului obiectelor active. Modulul care
implementeaza hartile de stari scalabile reprezinta deocamdata un modul distinct,
neintegrat într-un context mai larg care sa permita realizarea tuturor modelelor
specificate în documentatia UML. Cu toate acestea, acest modul ofera suport pentru
patru dintre cele mai importante etape ale ciclului de viata a unei aplicatii, si anume:
analiza, implementare, testare si depanare.
Asa cum am amintit în introducere, modulul de modelare a obiectelor active
urmeaza sa fie integrat în cadrul instrumentului Rocase, dezvoltat la Laboratorul de
Cercetare în Informatica al Universitatii "Babes-Bolyai" din Cluj-Napoca. Rocase
reprezinta un instrument de analiza si proiectare a aplicatiilor orientate obiect, care
sprijina UML ca si limbaj de modelare si care ofera suport pentru toate etapele din
ciclul de viata al unei aplicatii premergatoare implementarii (modelare statica,
134