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

100
H
a) b) c)
Figura 4.7. Pseudostari de intrare (a), de iesire (b) si istoric (c)
Pseudostarea istoric se poate afla pozitionata doar ca si substare a unei stari
compuse si o tranzitie spre acea stare semnifica intrarea sistemului în ultima substare
activa a starii compuse respective. Notatiile utilizate pentru simbolizarea acestor
pseudostari sunt date în figura 4.7.
4.4. Utilizarea hartilor de stari în modelarea obiectelor active
Desi, asa cum am aratat, diagramele de tranzitie a starilor au fost proiectate
initial pentru modelarea comportamentului sistemelor reactive, ele au fost foarte
natural incluse în cadrul metodelor de modelare vizuala orientate-obiect.
Acceptarea generala a diagramelor de stari pentru modelarea dinamica a
obiectelor din cadrul unei aplicatii s-a datorat în principal urmatoarelor aspecte:
?? diagramele de stari permit descrierea lizibila a comportamentului la un
nivel ridicat de abstractizare,
?? permit efectuarea de verificari la nivel semantic,
?? codul generat din diagramele de stari asigura pastrarea consistentei
obiectelor în timpul executiei sistemului; extinderea diagramelor de stari
cu adnotari formale duce la cresterea semnificativa a procentului de cod
generat pentru aplicatia modelata;
?? permit realizarea de simulari grafice a functionarii sistemului si
încurajeaza prototipizarea,
?? în ceea ce priveste aspectele legate de concurenta, permit o decriere
intuitiva si precisa a sincronizarii mesajelor dintre obiecte.
În cele ce urmeaza sunt prezentate sintetic patru dintre cele mai importante
extensii sau variante ale hartilor de stari utilizate în modelarea obiectelor active:
Objectcharts, OSA, Objchart si diagramele de tranzitie a starilor din UML. Deoarece
UML (v. Anexa B) reprezinta limbajul de modelare care s-a impus ca standard în
analiza si proiectarea orientata-obiect a aplicatiilor, se va insista mai mult asupra sa.
Analiza critica ce însoteste aceasta descriere se constituie într-un argument pentru