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

problema redefinirii, uneori integrale, a codului mostenit, calitatile mostenirii si
încapsularii fiind astfel anulate.
Desi anomaliile de mostenire au beneficiat de o atentie deosebita în ultimii ani,
ele sunt înca vag definite si deseori interpretate gresit. Dintre cele mai importante
lucrari în care au fost propuse solutii de evitare si ameliorare ale anomaliilor de
mostenire amintim: [QUI97], [PAP96], [LEC96], [FER95], [AKS94], [MIT94],
[THO94], [MES93]. Rezultatele obtinute în aceste lucrari sunt contradictorii si
incomplete, deoarece ele se limiteaza la o abordare informala a anomaliilor, fiind în
principal analizate pe baza exemplelor particulare introduse în [MAT93]. Prin urmare
nu exista o metoda satisfacatoare de evaluare a diverselor propuneri (de limbaje,
mecanisme sau modele obiect) existente.
În cadrul urmatoarei sectiuni sunt prezentate doua dintre cele mai importante
clasificari ale anomaliilor de mostenire, realizate în [MAT93] si [ZEN97b], care au la
baza o analiza informala. Vom demonstra în finalul acestei sectiuni ca aceste
clasificari sunt incomplete, si vom propune o alta abordare care nu va lua în
considerare numai conflictele dintre concurenta si mostenire, ci si conflinctele dintre
concurenta si alte trei relatii importante între clase, cum sunt relatiile de asociere,
agregare si delegare. Aceste tipuri de conflicte au o legatura strânsa cu anomaliile de
mostenire, si de aceea am propus abordarea lor unitara. O astfel de abordare poate
determina o reconsiderare a conflictelor de acest tip dintr-o cu totul alta perspectiva, si
ar putea conduce la solutii de ameliorare a efectelor acestora. De asemenea, vom
propune o noua denumire pe care o consideram mult mai potrivita pentru a descrie
aceste tipuri de conflicte, si anume aceea de anomalie de reutilizare.
În cadrul sectiunii a treia am realizat o extensie a sistemului formal utilizat în
[CRN98] pentru clasificarea mecanismelor de mostenire în programarea orientata
obiect concurenta. Extensia se refera la descrierea anomaliilor de mostenire pentru
modelele obiect cu concurenta interna (ca urmare a respectarii principiului
expresibilitatii concurentei). De asemenea, sistemul formal introdus în [CRN98] a
permis modelarea mecanismului de mostenire pentru limbajele de programare
orientate-obiect concurente care respecta principiile izolarii si separarii codului de
interactiune între activitati concurente. Pe baza acestui model am demonstrat una
dintre concluziile desprinse în cadrul analizei mecanismelor de interactiune între
activitati concurente în cadrul capitolului doi, si anume ca respectarea celor doua
56