descrizione due clienti a e b si comportano come segue: nel loro stato iniziale operano una scelta...
TRANSCRIPT
Descrizione
Due clienti A e B si comportano come segue: nel loro stato iniziale operano una scelta tra il sincronizzarsiper decidere il loro comportamento sìccessivo, ed il richiedereindividualmente un servizio ad un fornitore F1.Nel primo caso, il comportamento prosegue o col richiedere congiuntamente un servizio ad un fornitore F2 e aspettare la risposta,oppure nel lavorare insieme per risolvere autonomamente il loro problema.I due fornitori seguono il classico comportamento di ricezione di una richiesta, produzione interna e restituzione di una risposta.Ovviamente i due clienti si devono adeguare a questo protocollo.
Analisi
Due clienti A e B si comportano come segue: nel loro stato iniziale operano una scelta tra il sincronizzarsiper decidere il loro comportamento successivo, ed il richiedereindividualmente un servizio ad un fornitore F1.Nel primo caso, il comportamento prosegue o col richiedere congiuntamente un servizio ad un fornitore F2 e aspettare la risposta,oppure nel lavorare insieme per risolvere autonomamente il loro problema.I due fornitori seguono il classico comportamento di ricezione di una richiesta, produzione interna e restituzione di una risposta.Ovviamente i due clienti si devono adeguare a questo protocollo.
Tutti gli attori ritornano sempre nello stato iniziale (ciclici)
Il Cliente AA
decide dirichiedere con B
rich. con B e F2
risp. con B e F2
risolve con B
rich. con F1
risp. con F1
Il Cliente BB
decide dirichiedere con A
rich. con A e F2
risp. con A e F2
rsolve con A
rich. con F1
risp. con F1
I clienti A e BBA
decidono dirichiedere insieme
rich. con F2
risp. con F2
rsolvono insieme
rich. con F1
rich. con F1
risp. con F1
risp. con F1
I Fornitori F1 e F2
F2
rich. con A e B
risp. con A e B
F1
produceproduceproduce
rich. con B
rich. con A
risp. con A
risp. con B
Dato il seguente sistema
a b
c
d
e
f
AB
s1
s2
t1
t2 t3
t4
il suo Grafo di Raggiungibilita’ e’
<s1,t1>
<s2,t2> <s1,t3>
<s1,t4>
<s1,t1>
a
b
c
d
e
f
a
a