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

3.3. Formalizarea anomaliilor de mostenire
În [CRN98] a fost propus un sistem formal de clasificare a mecanismelor de
mostenire în programarea orientata-obiect concurenta. Acest sistem formal reprezinta
o varianta a semanticilor denotationale pentru mostenire introduse de Cook si
Palsberg în [COO89] si porneste de la modelarea unei ierarhii de mostenire
incrementale. Modul în care este modelata mostenirea în acest sistem formal permite
tratarea oricarei abordari particulare de proiectare a unui limbaj de programare
orientat-obiect concurent.
În ierarhia de clase din figura 3.1. superclasa Coada este complet reutilizata de
subclasele sale Coada2, HCoada si BCoada, deoarece nici una dintre operatiile ei nu
este redefinita în aceste subclase. Prin urmare volumul de cod reutilizat este maxim.
O astfel de ierarhie de mostenire, în care nici o subclasa nu redefineste operatii ale
claselor parinte poarta numele de ierarhie de mostenire incrementala.
Mostenirea induce si alta relatie între clase: relatia de subtipizare. Am definit
tipul ca fiind o multime de instante care au aceeasi interfata (sau comportament extern
observabil). Vom spune ca o clasa implementeaza un tip daca fiecare instanta a clasei
apartine tipului respectiv.
O clasa B derivata dintr-o clasa A va avea în componenta sa cel putin
proprietatile si operatiile clasei A. Deci, o instanta a clasei B poate fi utilizata în orice
context în care poate fi utilizata o instanta a clasei A, adica interfata unei instante a
clasei B va include operatiile ce compun interfata oricarei instante a clasei A. Aceasta
relatie de incluziune între interfetele a doua obiecte poarta numele de relatie de
subtipizare (în particular, instantele clasei B reprezinta subtipuri ale instantelor clasei
A). Relatia de subtipizare este o relatie între comportamentele externe ale instantelor,
si ea nu depinde de structura interna a unei clase cum este cazul relatiei de mostenire.
Notând cu ? un tip implementat de clasa A si cu ? un tip implementat de clasa
B vom nota prin ? ? ? faptul ca tipul ? este subtip al lui ?. Prin urmare o instanta
care apartine unui tip ? apartine de asemenea tipului ?, iar o clasa care implementeaza
tipul ? implementeaza de asemenea si tipul ?.
Definitia urmatoare si cele doua afirmatii care o preced introduc o legatura
între relatia de subtipizare si ierarhia de mostenire incrementala.
Definitie 1. Un lant de tipuri reprezinta o secventa finita de tipuri ? 1 ? ... ? ? n.
67