.dsy:it. (http://www.dsy.it/forum/)
- Fondamenti di sistemi distribuiti (http://www.dsy.it/forum/forumdisplay.php?forumid=293)
-- INFO su compitino del 18-11-2008 (http://www.dsy.it/forum/showthread.php?threadid=36922)

fig 10.2
si aggiungono macrostati tra eventi (strettamente) sequenziali ed eventi alternativi tra loro.
- per rendere schema più leggibile
- per semplificare
- flat-statechart -> statechart gerarchici

OR SEQUENCE evento che incide su tutti gli altri
OR DEC ALTERNATIVE se lo stato interno ha altri stati bisognerà descriverli comunque!


fig 19.23
come avviene aggiornamento varabile?
- elemento intrinseco concorrenza
--- un altro attore (operatore) interviene sul sys (richiedendo interrupt)

Questo comportamento è modellato in UML con AND DECOMP
- sys si trova contemporaneamente in due stati
- figura 10.15
- vedi mio post sopra



NON STO A DIRE CHE GLI APPUNTI NON LI HO ANCORA SISTEMATI E RIVISTI COL LIBRO SOTTOMANO!!!!

ok grazie

__________________
My Foto

"Sparerò a caso ragionando".(Anonimo)

Du gut d'oli fan i smach

FIRING SEQUENCE tutte le sequenze di scatto presenti in un case graph

OSSERVABILI interazioni con gli attori esterni
- OFS servono per avere (e verificare) la consistenza del sys. anche se è una nozione debole

NON OSSERVABILI tutte le azioni interne --> non ci interessa come comunicano le componenti



ora vado a studiare un poco anche io, a più tardi