Tehnici de implementare a concurentei în analiza si proiectarea ...
Tehnici de implementare a concurentei în analiza si proiectarea ...
Tehnici de implementare a concurentei în analiza si proiectarea ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
starilor intermediare. Ele nu reprezinta doar puncte <strong>si</strong>mple <strong>în</strong> calea atingerii starii<br />
finale, ci au un <strong>în</strong>teles propriu. Mai mult, <strong>în</strong>tr-un numar con<strong>si</strong><strong>de</strong>rabil <strong>de</strong> <strong>si</strong>steme<br />
reactive nu exista stare finala.<br />
Asa cum am aratat <strong>si</strong> <strong>în</strong> capitolul prece<strong>de</strong>nt <strong>în</strong> cadrul analizei anomaliilor <strong>de</strong><br />
mostenire, obiectele active se <strong>de</strong>osebesc <strong>de</strong> cele pa<strong>si</strong>ve prin faptul ca au un fir <strong>de</strong><br />
executie propriu. În plus, <strong>în</strong> orice moment <strong>de</strong> timp exista o submultime <strong>de</strong> meto<strong>de</strong><br />
acceptabile <strong>în</strong> functie <strong>de</strong> starea interna a obiectului. Acceptarea unei cereri <strong>de</strong> lansare<br />
<strong>în</strong> executie a unei operatii din aceasta submultime <strong>de</strong>termina modificarea sa.<br />
Comportamentul unui obiect activ a fost mo<strong>de</strong>lat formal prin intermediul unor<br />
secvente <strong>de</strong> mesaje (<strong>de</strong>finite prin invocari <strong>de</strong> operatii). Acceptarea unui mesaj este<br />
strâns legata <strong>de</strong> multimea mesajelor acceptate anterior. Bine<strong>în</strong>teles, acceptabilitatea<br />
unui mesaj este data <strong>în</strong> ultima instanta <strong>de</strong> starea obiectului activ la un moment dat,<br />
stare care a fost <strong>de</strong>finita <strong>în</strong> capitolul 2 ca fiind caracterizata <strong>de</strong> multimea valorilor<br />
proprietatilor.<br />
Prin urmare tratarea obiectelor active ca <strong>si</strong> <strong>si</strong>steme reactive reprezinta o<br />
abordare naturala. Pentru mo<strong>de</strong>larea comportamentului unui obiect activ pot fi<br />
utilizate formalismele studiate <strong>în</strong> literatura relativ la mo<strong>de</strong>larea <strong>si</strong>stemelor reactive. În<br />
ultimii zece ani a fost <strong>de</strong>zvoltata o multime con<strong>si</strong>stenta <strong>de</strong> meto<strong>de</strong> <strong>de</strong> <strong>analiza</strong> <strong>si</strong><br />
proiectare care au utilizat astfel <strong>de</strong> formalisme <strong>în</strong> special pentru mo<strong>de</strong>larea aplicatiilor<br />
orientate-obiect secventiale.<br />
Introducerea <strong>concurentei</strong> <strong>în</strong>sa implica o recon<strong>si</strong><strong>de</strong>rare a semanticii<br />
formalismelor vizuale, <strong>în</strong> special a celor utilizate pentru <strong>de</strong>scrierea comportamentului<br />
obiectelor. Mo<strong>de</strong>lele obiect concurente eficiente din punct <strong>de</strong> ve<strong>de</strong>re al respectarii<br />
principiilor prezentate <strong>în</strong> capitolul 2, presupun existenta la nivelul obiectelor active a<br />
unor mecanisme <strong>de</strong> gestionare a invocarilor <strong>de</strong> operatii, a unor cozi <strong>de</strong> asteptare <strong>si</strong>/sau<br />
a unor porturi <strong>de</strong> comunicare <strong>în</strong>tre obiectele active. Toate aceste caracteristici nu sunt<br />
surprinse <strong>în</strong> mo<strong>de</strong>lele meto<strong>de</strong>lor <strong>de</strong> <strong>analiza</strong> <strong>si</strong> proiectare ale aplicatiilor orientate-<br />
obiect existente.<br />
92