18.04.2013 Views

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 ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Singura solutie care <strong>în</strong>truneste toate proprietatile <strong>de</strong> mai sus este sa<br />

con<strong>si</strong><strong>de</strong>ram ca timpul <strong>de</strong> reactie este egal cu 0. Aceasta este <strong>în</strong> esenta ipoteza <strong>de</strong><br />

<strong>si</strong>ncronizare <strong>de</strong>numita astfel <strong>de</strong> Gerard Berry <strong>în</strong> [BER92]. Bine<strong>în</strong>teles ca acest fapt<br />

nu este unul firesc din punct <strong>de</strong> ve<strong>de</strong>re al implementarii, <strong>de</strong>oarece orice calcul real<br />

nece<strong>si</strong>ta o anumita perioada <strong>de</strong> timp pentru a fi dus la bun sfâr<strong>si</strong>t, chiar daca aceasta<br />

perioada este extrem <strong>de</strong> scurta. Aceasta solutie <strong>în</strong>sa are <strong>si</strong> un alt <strong>în</strong>teles, <strong>si</strong> anume<br />

acela ca o reactie are loc <strong>în</strong>ainte <strong>de</strong> a fi receptionate urmatoarele semnale <strong>de</strong> intrare.<br />

Prin urmare o reactie nu este con<strong>si</strong><strong>de</strong>rata a fi "nelimitat" <strong>de</strong> rapida ci "suficient" <strong>de</strong><br />

rapida. Aceasta interpretare nu mai pare nerealista, <strong>de</strong>oarece <strong>în</strong> foarte multe cazuri<br />

frecventa evenimentelor externe este mica relativ la timpul <strong>de</strong> raspuns al <strong>si</strong>stemului.<br />

Mai mult, chiar <strong>si</strong> <strong>în</strong> cazul <strong>în</strong> care vor apare probleme <strong>de</strong> <strong>implementare</strong>, este foarte<br />

po<strong>si</strong>bil ca acestea sa nu influenteze rezultatele proiectantilor <strong>si</strong> a programatorilor <strong>în</strong><br />

primele faze ale <strong>de</strong>zvoltarii <strong>de</strong> aplicatii.<br />

4.3.3. Pseudostari<br />

Tot <strong>în</strong> [HAR87] a fost introdus conceptul <strong>de</strong> stare initiala (implicita) prin<br />

intermediul careia se este specificata substarea activa <strong>în</strong> momentul <strong>în</strong> care <strong>si</strong>stemul<br />

intra <strong>în</strong> starea sa parinte (figura 4.6). Reprezentarea grafica a starii initiale este data<br />

printr-un cerc plin. De asemenea, starea initiala poate fi prezenta <strong>si</strong> la nivelul<br />

diagramei <strong>de</strong> stari, caz <strong>în</strong> care se specifica starea <strong>în</strong> care va intra <strong>si</strong>stemul <strong>în</strong> momentul<br />

crearii sale.<br />

Figura 4.6. Specificarea (sub)starilor initiale (<strong>în</strong> configuratia <strong>de</strong> mai sus,<br />

intrarea <strong>si</strong>stemului <strong>în</strong> starea D va <strong>de</strong>termina implicit activarea substarii A)<br />

Starea initiala este numita <strong>si</strong> pseudostare (<strong>si</strong>stemul nu se va afla niciodata <strong>în</strong><br />

starea respectiva ci va efectua o tranzitie <strong>în</strong> plus pentru a intra <strong>în</strong>tr-o stare concreta).<br />

Alte pseudostari introduse <strong>în</strong> timp <strong>si</strong> utilizate <strong>în</strong> majoritatea variantelor <strong>de</strong> harti <strong>de</strong><br />

stari sunt starile <strong>de</strong> ie<strong>si</strong>re <strong>si</strong> starile istoric. Tranzitia <strong>în</strong>tr-o stare <strong>de</strong> ie<strong>si</strong>re semnifica<br />

<strong>în</strong>cheierea ciclului <strong>de</strong> viata al <strong>si</strong>stemului <strong>si</strong> (<strong>în</strong> unele abordari) distrugerea acestuia.<br />

99

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!