UML. Analisi Modellazione e altro. Macchine a stati, Diagrammi di attività.. UML aa 2006/7 G.Bucci 1

Transcript

1 UML Analisi Modellazione e altro Macchine a stati, Diagrammi di attività.. PROVVISORIO UML aa 2006/7 G.Bucci 1

2 Macchine a stati in UML Sono una versione estesa (derivante dalle StateChart [Harel]) delle normali macchine a stati (finite state machines/finite automata) Modellano il comportamento dinamico degli oggetti di una data classe (tutte le possibili storie ) Sono una delle possibili viste dinamiche Si rappresentano attraverso i diagrammi di stato (stati e transizioni) UML aa 2006/7 G.Bucci 2

3 Macchina a stati Descrive un oggetto come un entità isolata che comunica con il resto del mondo attraverso il riconoscimento del verificarsi di eventi Non mostra le interazioni con gli altri oggetti (per queste si deve ricorrere ad altre viste dinamiche: diagrammi di sequenza e di collaborazione) La risposta a un evento è funzione dello stato in cui si trova la macchina: tutti gli oggetti della classe modellata, che si trovino in un dato stato, effettuano la stessa azione al riconoscimento di un dato evento UML aa 2006/7 G.Bucci 3

4 Macchine a stati UML Macchine a stati convenzionali: Cambiamenti di stato solo in base agli ingressi Una macchina può influenzare un altra solo attraverso le sue uscite che la seconda vede come ingressi Macchine a stati in UML Cambiamenti di stato in base a vari tipi di eventi (messaggi ricevuti, verificarsi di generiche condizioni sugli stati delle macchine che sui valori delle variabili) Composizione degli stati (superstati) UML aa 2006/7 G.Bucci 4

5 Notazione Parametro Guardia Evento (par:t) [cond]/action1; ;actionx Attività interne Azione di ingresso Azione di uscita Azione interna NomeStato entry/action_in exit/action_out do/action_internal event/action_event Transizione interna UML aa 2006/7 G.Bucci 5

6 Esempi fattura creata Non pagata pagamento Pagata fattura distrutta Stato iniziale (pseudo stato): di solito indica la creazione di un oggetto o l inizio di una traiettoria di stato Stato finale (pseudo stato): di solito indica l eliminazione dell oggetto, o la conclusione di una traiettoria UML aa 2006/7 G.Bucci 6

7 ..Esempi Uno stato Login entry/type "login" do/get username do/get password exit/login(username, password) UML aa 2006/7 G.Bucci 7

8 Esempio: distributore bibite UML aa 2006/7 G.Bucci 8

9 Stati composti Stato composto da stati concorrenti (ortogonali) (Regioni ortogonali) Stato composto da stati sequenziali Stato iniziale (pseudo stato): indica il punto di partenza entro lo stato composto Stato finale: indica il completamento dell attività (dello stato che lo include) UML aa 2006/7 G.Bucci 9

10 Stati composti Stato iniziale UML aa 2006/7 G.Bucci 10

11 Stati composti Stato iniziale UML aa 2006/7 G.Bucci 11

12 Stati composti Stato finale UML aa 2006/7 G.Bucci 12

13 Stato composto Erogazione UML aa 2006/7 G.Bucci 13

14 Stati composti S1 e S2 S2 S3 Devono essere stati raggiunti entrambi S211 S212 S1 e S213 S3 S221 S222 UML aa 2006/7 G.Bucci 14

15 Stati composti S1 e S2 S3 Da tutti gli stati S2 S211 S212 S1 e S213 abort S3 S221 S222 UML aa 2006/7 G.Bucci 15

16 Stati composti S1 e S2 S3 S2 S211 S212 S1 e S213 S3 S221 S222 Sx Uscita esplicita UML aa 2006/7 G.Bucci 16

17 Stati composti UML aa 2006/7 G.Bucci 17

18 Diagrammi di attività UML aa 2006/7 G.Bucci 18

19 Diagrammi di attività Sono i diagrammi di flusso OO usati per modellare processi (di elaborazione) come un insieme di attività e di transizioni tra queste attività Sono essi stessi delle macchine a stati: gli stati rappresentano esecuzione di elaborazioni (non stati di un oggetto); sono detti stati di attività uno stato di attività rappresenta l esecuzione di uno statement o una procedura si assume che l elaborazione proceda senza essere sollecitata da eventi: l uscita da uno stato di attività corrisponde al completamento dello statement/procedura, non a un evento (si parla di transizione di completamento) UML aa 2006/7 G.Bucci 19

20 UML aa 2006/7 G.Bucci 20

21 Segnali/eventi asincroni E prevista la possibilità di attendere un evento asincrono o trasmettere un segnale (se diventano tanti meglio passare alle macchine a stati) Ricezione del segnale si do1 do2 so do3 si do4 Invio del segnale so Dest:oggetto Flusso di controllo esterno UML aa 2006/7 G.Bucci 21

22 Segnali Stampa in PDF da parte di un programma Mostra finestra "in corso di stampa" Conversione a PDF Attività dello spooler Print(file) Print(file) Chiudi finestra Print UML aa 2006/7 G.Bucci 22

23 Corsie e flusso di oggetti Le corsie vengono normalmente utilizzate per evidenziare i ruoli/le responsabilità/le unità organizzative ad esempio raggruppando le attività di una componente organizzativa del sistema modellato Oltre al flusso del controllo il diagramma può mostrare il flusso di oggetti: ovvero gli oggetti in ingresso o in uscita alle varie attività UML aa 2006/7 G.Bucci 23

24 Corsie e flussi di oggetti UML aa 2006/7 G.Bucci 24

25 Esempio UML aa 2006/7 G.Bucci 25

26 UML aa 2006/7 G.Bucci 26

27 Esempio UML aa 2006/7 G.Bucci 27

28 In sintesi I diagr di attività Mostrano le attività, ma non gli oggetti che le svolgono; non mostrano i dettagli dell elaborazione Sono il punto di partenza dell analisi/progetto Ogni attività deve essere scomposta in una o più operazioni, assegnata a specifiche classi identificazione delle classi collaborazione tra oggetti interazioni tra oggetti UML aa 2006/7 G.Bucci 28