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

(sa, m0^Cr) ? S ? M*,
unde sa reprezinta starea activa iar m0 primul mesaj aflat în coada C la un moment dat.
Configuratie initiala a unei harti de stari este data de tuplul (s0, ? ).
Executia unui obiect activ modelat printr-o harta de stari HSS 0 presupune
interpretarea succesiva a mesajelor existente în coada de mesaje. Interpretarea unui
mesaj poate avea ca efect modificarea configuratiei hartii de stari sau returnarea
mesajului în coada de mesaje. Vom defini în cele ce urmeaza notiunile de
interpretare a unei configuratii, respectiv executie a unei harti de stari HSS 0 .
functia:
Definitie 3. Se numeste interpretare a configuratiei unei harti de stari HSS 0
? 0 : S ? M* ? S? SF ? M*,
? 0 ? ( s',
C'r
), daca ? ( sa
, m0,
s')
? T
?
(sa,m0^Cr) = ? ( sa
, C'r
), daca ? s1,
s2
? S : ( s1,
m0,
s2
) ? T .
? ( sa
, C'r
^m0),
in rest
Coada de mesaje C poate suferi modificari în paralel cu interpretarea unei
configuratii, astfel ca în definitia functiei ? data mai sus este posibil ca Cr ? C’r (de
obicei C’r = Cr^R, unde R ? M* reprezinta o secventa de mesaje receptionate de catre
obiect în timpul interpretarii).
Notiunea de interpretare a configuratiei modeleaza functionalitatea
gestionarului de interfata din cadrul unui obiect activ. Astfel, un mesaj este acceptat,
iar operatia atasata acestuia este executata, în cazul în care mesajul eticheteaza o
tranzitie ce pleaca din starea activa sau daca acesta nu apare în eticheta nici unei
tranzitii a hartii de stari. În caz contrar mesajul este reintrodus în coada de mesaje. În
cazul în care în cadrul hartii de stari exista mai multe tranzitii etichetate cu acelasi
mesaj si a caror stare sursa coincide cu starea activa, alegerea unei tranzitii pentru
interpretare se realizeaza într-o maniera nedeterminista. Pentru eliminarea
nedeterminismului se pot atasa tranzitiilor prioritati.
Definitia 4. Se numeste executie a unei harti de stari HSS 0 o secventa finita
sau infinita de interpretari succesive a configuratiei hartii de stari, pornind de la
configuratia initiala a acesteia, si o vom nota:
(s0, ? ) ? ? ?
? 0
(s1, m1^Cr1) ? ? ?
? 0
113
... ? ? ?
? 0
(sk, mk^Crk) ? ? ?
? 0
... ,