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

concurenta a fost propusa o extensie a limbajului C++ si a fost prezentat un exemplu
de implementare a unei cozi cu numar finit de elemente.
Neajunsurile determinate în mod unitar la nivelul modelelor de obiecte
concurente au stat la baza definirii notiunii de anomalie de reutilizare. S-a aratat ca
anomaliile de reutilizare reprezinta un concept care surprinde atât anomaliile de
mostenire cât si conflictele care apar între mecanismele de specificare a concurentei si
relatiile de asociere, agregare si delegare între obiecte. Anomaliile de reutilizare sunt
modelate prin extinderea unui sistem formal utilizat în clasificarea mecanismelor de
mostenire în programarea orientata-obiect concurenta.
Tratarea formala a anomaliilor de reutilizare a permis determinarea unui model
de obiecte concurente general care sta la baza definirii unui formalism vizual de
modelare. Acest formalism reprezinta o extensie a hartilor de stari definite pentru
modelarea comportamentului sistemelor reactive. Formalismul vizual propus este un
formalism executabil si el a fost numit harta de stari scalabila.
În finalul tezei este descrisa implementarea unui instrument de modelare a
aplicatiilor orientate-obiect concurente. Acest instrument, numit ActiveCASE,
valideaza executabilitatea hartilor de stari scalabile si realizeaza generarea automata
de cod sursa în limbajul C++, utilizând o ierarhie de clase concurente proprie. De
asemenea instrumentul permite simularea si depanarea grafica a executiei aplicatiilor
orientate-obiect concurente.
6.2. Perspective
6.2.1. Anomalii de reutilizare
Problema eliminarii anomaliilor de reutilizare din limbajele de programare
orientate-obiect concurente ramâne în continuare deschisa. Notiunile de tip introduse
în modelele obiect dezvoltate pâna în prezent nu rezolva aceasta problema. Solutiile
de ameliorare a efectelor acestor anomalii propuse în teza vizeaza izolarea si
separarea codului contrângerilor de sincronizare de codul de implementare a
functionalitatii, precum si generarea automata de cod sursa.
O alta posibila abordare de ameliorare a anomaliilor de reutilizare este aceea
de introducere a unui mecanism de sub-tipizare care nu conserva comportamentul.
152