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

({Plina}, ) ? ? ?
? 1
({F},? ).
125
({Goala},) ? ? ?
? 1
HSS 2
Sticla = (M, S, O, P, E, sR, SF, (stSucc, stInit, ortSucc,), inv, T; eval, par, C)
M = { Umple, Goleste, Sparge, Capacitate, AdaugaEticheta, ScoateEticheta}
S = { Sticla, Normal, Goala, Plina, FaraEticheta, CuEticheta}
O = { o1, o2, o3, o4, o5, o6, o7 }
P = {capacitate, continut, eticheta}
E = {e1=(0? continut ? continut ? capacitate), e2=(continut < capacitate),
e3 = (continut = capacitate), e4 = (continut + 5 < capacitate),
e5 = (continut + 5 ? capacitate), e6 = (eticheta),
e7 = (? eticheta), e8 = ( true )}
sR = Sticla
S F = { F }
stSucc : { oi, i=1..7 } ? ? ({ Sticla, Normal, Goala, Plina, F}),
stSucc(o 1) = {Normal, F}, stSucc(o 2) = {Goala, Plina},
stSucc(o3) = {FaraEticheta, CuEticheta},
stSucc(o 4) = stSucc(o 5) = stSucc(o 6) = stSucc(o 7) =? ;
stInit : { o1, o2, o3} ? { Sticla, Normal, Goala, Plina, CuEticheta, FaraEticheta},
stInit(o1) = Normal, stInit(o2) = Goala, stInit(o3) = FaraEticheta,
ortSucc : { Sticla, Normal, Goala, Plina } ? ? ({ o i, i=1..7 }) \ {? },
ortSucc (Sticla) = {o 1 }, ortSucc (Normal) = { o 2 , o 3 },
ortSucc (Goala) = {o4 }, ortSucc (Plina) = {o5 },
ortSucc (FaraEticheta) = {o 6 }, ortSucc (CuEticheta) = {o 7 },
inv : S ? E,
inv(Sticla) = e 1, inv(Normal) = e 8, inv(Goala) = e 2,
inv(Plina) = e3, inv(CuEticheta) = e6, inv(FaraEticheta) = e7,
T = {({Goala}, Umple , e 4, {Goala}), ({Goala}, Umple, e 5, {Plina}),
({Plina}, Goleste, {Goala}),
({FaraEticheta}, AdaugaEticheta, e8, { CuEticheta }),
({CuEticheta }, ScoateEticheta, e 8, { FaraEticheta }),
({Normal}, Sparge, e8, {F}) }
Figura 4.15. Exemplu de harta de stari HSS 2
4.5.3. Executabilitatea hartilor de stari scalabile
Ciclul de viata a unei aplicatii are mai multe etape distincte: de specificare,
analiza, proiectare, implementare, testare si întretinere.
În cadrul acestei sectiuni ne-am preocupat în principal de trecerea de la un
model abstract al unei aplicatii, rezultat în urma etapelor de analiza si proiectare, la
modelul de implementare al acesteia. Acest lucru a fost realizat prin definirea
riguroasa a notiunii de executie a hartii de stari scalabile.
Implementarea unui prototip al unei aplicatii pe baza unui model necesita o
perioada relativ mare de timp. Aceasta deoarece dezvoltatorul este pus în situatia de a
exprima într-un limbaj de programare conceptele abstracte care compun modelul. De