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

matematica a conflictelor între concepte si a neajunsurilor care caracterizeaza aceste
limbaje a condus definirea unei extensii a formalismului hartilor de stari [HAR87]
utilizat în modelarea comportamentului sistemelor reactive, extensie numita harta de
stari scalabila. Caracterul executabil al hartilor de stari scalabile definite a permis
implementarea unui instrument de automatizare a dezvoltarii si simulare a aplicatiilor
orientate-obiect concurente.
Principalele contributii originale continute în teza si lucrarile în care acestea au
fost promovate sunt:
1. definirea unui set consistent de principii de proiectare a limbajelor de
programare orientate-obiect concurente care au la baza respectarea
integritatii conceptelor ce caracterizeaza fiecare dintre cele doua
metodologii de programare în parte (orientata-obiect si concurenta) -
[SUC97b];
2. sintetizarea caracteristicilor modelelor obiect implementate în peste o suta
de limbaje de programare imperative orientate-obiect concurente
dezvoltate pâna în prezent. Tratarea tuturor acestor modele obiect într-o
maniera unitara prin realizarea de extensii ale limbajului de programare
C++ cu mecanisme speciale de declarare de proprietati sau operatii si/sau
prin definirea de noi instructiuni - [SUC98b];
3. definirea conceptului de anomalie de reutilizare care extinde notiunea de
anomalie de mostenire, si care trateaza într-un mod unitar conflictele care
apar între concurenta si conceptele programarii orientate-obiect -
[SUC97a], [SUC98b];
4. extinderea unui sistem de formalizare a anomaliilor de mostenire pentru
modelarea respectarii principiului separarii codului de interactiune
concurenta determinat la punctul 1 si demonstrarea reducerii efectului
anomaliilor de mostenire pentru acest caz- [SUC98a];
5. definirea hartilor de stari scalabile ca extensie a formalismului vizual al
hartilor de stari definit în [HAR87]. Acest tip de harti de stari conduce la
simplificarea modelarii dinamice a obiectelor active cu comportament
complex, prin reducerea complexitatii în faza de modelare [SUC99];
6. definirea unei semantici care sa atribuie hartilor de stari scalabile un
caracter executabil, si care sa permita modelarea de obiecte active
9