Esempi di modellazione di situazioni particolari

Risorsa consumabile Si puo pensare che sia gestita da un ruolo di Magazziniere che riceve la richiesta da piu (due) Clienti, verifica la disponibilita e a seconda di questultima, consegna la merce al Cliente oppure ordina la merce ad un Fornitore. Rich con C1 Rich con C2 Disponibile Non Disponibile Consegna con C1 Ordina merce Ricevi merce Magazziniere Fornitore Produce Non Disponibile Consegna con C2

Interazioni tra tre componenti Comnunicano con skype ACB Vanno al cinema Vanno al cinema Fa altro B racconta la trama d A Fa altro a2 b1 c a1 b2 Tre amici A, B e B comunicano, insieme, via skype e lasciano a B la decisione se andare al cinema con A o con C. Nel secondo caso, B garantisce ad A che gli raccontera la trama.

Costruire il Grafo di Raggiungibilita Verificare che lo stato globale (marcatura) e raggiungibile (generabile) Verificare invece che non e raggiungibile.

In questo modello: B decide davvero? Comnunicano con skype ACB Vanno al cinema Vanno al cinema Fa altro B racconta la trama ad A decide a b c Fa altro

Non sempre …. Se A e C decidono di fare altro la decisione di B non ha effetto. Costruire il Grafo di Raggiungibilita e verificare che lo stato globale (marcatura) e raggiungibile (generabile). In questo stato globale B ebloccato e non puo raggiungere nessuno suo stato finale (quelli blu, senza archi in uscita). Non e un modello ben costruito. Provare a trovare delle alternative per risolvere il problema.

Gestione di interazioni in parallelo Una componente vuole interagire con altre due componenti, separatamente, per chiedere delle informazioni (una offerta) e attendere da entrambe la risposta (il preventivo) per poter decidere successivamente con quale delle due continuare a collaborare. Poiche un componente elementare non puo svolgere due azioni simultaneamente, le interazioni precedenti devono esser modellate in modo da poter essere svolte in qualunque ordine, una per volta. Per semplicita, si presuppone che la prima risposta (il preventivo) avvenga sempre dopo linvio di entrambe le due richieste. Il sistema precedente puo essere modellato come segue:

Interazioni simultanee simulate di C con A e B Offerta con B Offerta con A Preventivo con A Preventivo con B C Offerta con C Preventivo con C B A

Provare realizzare la T-composizione E necessario modificare le componenti A e B per poter avere le transizioni giuste da sovrapporre* Ad es. A diventa (e B e simile): Preventivo con C A Offerta con C Preventivo con COfferta con C Solo adesso e possibile fare la T-composizione * Si veda la terza clausola della regola di T-composizione Provare a comporre A con C

eliminiamo la semplificazione Come cambia la rappresentazione se togliamo lipotesi che la prima risposta arrivi dopo che entrambe le rivhieste sono state fatte? In questo caso, le quattro azioni (due di richiesta e due di risposta) in quant modi possono essere eseguite? Ovviamente, ogni comportamento deve iniziare con una richiesta....