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

posibilitatea testarii corectitudinii modelelor prin intermediul simularii
comportamentului la executie. De asemenea, ambele simulari se bazeaza pe
interpretarea structurii obiectelor si traducerea acestora în diagramele de stari din
model.
Simularea comportamentului se realizeaza însa la nivelul instrumentului de
modelare. O astfel de abordare reduce capacitatea de simulare “reala”, introducându-
se o serie de intârzieri datorate comunicarii între mediu si aplicatia concurenta
executata. Diferentele între modul de realizare a simularii în cadrul acestor
instrumente si abordarea ActivCASE sunt de aceeasi natura cu diferentele dintre
interpretare si compilare/executie a codului sursa.
Instrumentul Covers suporta modelarea comportamentului obiectelor active
doar prin intermediului masinilor cu stari finite, fara a introduce conceptele hartilor de
stari descrise în [HAR87]. Prin urmare modelarea unor comportamente complexe
este extrem de dificila sau chiar imposibila.
Pe de alta parte instrumentul Rhapsody ofera suport pentru majoritatea
tipurilor de modele descrise în specificatiile UML. Si aici însa, obiectele active cu un
comportament complex sunt mai dificil de modelat, iar urmarirea executiei acestora
prin intermediul simularii este greoaie, neexistând posibilitatea modificarii nivelului
de observare a dinamicii. Mai mult, codul generat se bazeaza pe un model obiect
complex, criptic, dificil de înteles si modificat.
Generarea de cod realizata în cadrul instrumentului ActiveCASE nu a avut în
vedere un model obiect complex. Acest model obiect se bazeaza pe utilizarea de
mecanisme din categoria celor orientate pe activitati. Diagrama de stari si semantica
atribuita acesteia permite însa generarea de cod în oricare dintre modelele obiect
specificate în literatura si luate în considerare în capitolul doi.
Spre deosebire de cele doua produse amintite, instrumentul ActiveCASE
introduce o serie de elemente noi, atât la nivelul editarii de diagrame cât si la nivelul
conceptelor introduse, cum sunt:
- editor de diagrame de stari performant, interactiv, senzitiv la context,
- scalabilitate,
- independenta simularii de mediul de analiza si proiectare,
- generare de cod configurabila,
149