descrizione due clienti a e b si comportano come segue: nel loro stato iniziale operano una scelta...

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