Descrizione Due clienti A e B si comportano

Descrizione Due clienti A e B si comportano come segue: nel loro stato iniziale operano una scelta tra il sincronizzarsi per decidere il loro comportamento sìccessivo, ed il richiedere individualmente un servizio ad un fornitore F 1. Nel primo caso, il comportamento prosegue o col richiedere congiuntamente un servizio ad un fornitore F 2 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 sincronizzarsi per decidere il loro comportamento successivo, ed il richiedere individualmente un servizio ad un fornitore F 1. Nel primo caso, il comportamento prosegue o col richiedere congiuntamente un servizio ad un fornitore F 2 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 A A rich. con F 1 decide di richiedere con B rich. con B e F 2 risp. con F 1 risolve con B risp. con B e F 2

Il Cliente B decide di richiedere con A rich. con F 1 rich. con A e F 2 risp. con F 1 rsolve con A risp. con A e F 2 B

I clienti A e B B A decidono di richiedere insieme rich. con F 1 rich. con F 2 risp. con F 1 rsolvono insieme risp. con F 2 rich. con F 1 risp. con F 1

I Fornitori F 1 e F 2 F 1 F 2 rich. con B rich. con A produce risp. con A rich. con A e B produce risp. con B risp. con A e B

Dato il seguente sistema B A s 1 a t 1 d b t 2 s 2 c f t 3 e t 4

il suo Grafo di Raggiungibilita’ e’ a <s 1, t 1> b <s 2, t 2> d c <s 1, t 3> e <s 1, t 4> f <s 1, t 1> a a