La Modellazione del Sistema: viste dinamiche e comportamentali. P Tramontana Modelli di sistema- Introduzione a UML Slide 1

Transcript

1 La Modellazione del Sistema: viste dinamiche e comportamentali P Tramontana Modelli di sistema- Introduzione a UML Slide 1

2 Riferimenti Martin Fowler, UML Distilled, capitoli 4 (sequence diagram), 10 (statechart diagram), 11 (activity diagram), 12 (communication diagram), 16 (interaction overview diagram), 17 (time diagram) Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 2 P Tramontana Modelli di sistema- Introduzione a UML Slide 2

3 Diagrammi comportamentali A completamento di quelli strutturali, modellano il comportamento dinamico di un sistema (o di un problema da analizzare) Use case diagram Statechart diagram Activity Diagrams Interaction diagrams Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 3 P Tramontana Modelli di sistema- Introduzione a UML Slide 3

4 Diagrammi di Interazione I diagrammi di Interazione sono usati per modellare gli aspetti dinamici di un sistema software, evidenziando in particolare le interazioni tra gli elementi che li compongono (e che sono stati descritti nei diagrammi strutturali) Ci sono quattro tipi di diagrammi di interazione : Sequence diagrams Communication diagrams in UML 1 erano chiamati collaboration diagrams Interaction Overview Diagrams Timing Diagrams I diagrammi di interazione appartengono alla famiglia dei Behaviour Diagram Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 4 P Tramontana Modelli di sistema- Introduzione a UML Slide 4

5 Sequence Diagrams Rappresentano il tipo di diagramma di interazione largamente più utilizzato In generale, un sequence diagram modella le interazioni tra uno o più attori e il sistema software, nell ambito dell esecuzione di uno scenario di esecuzione Le interazioni tra attori e sistema e tra le varie parti del sistema sono modellate in forma di messaggi, così come prevede il paradigma object-oriented Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 5 P Tramontana Modelli di sistema- Introduzione a UML Slide 5

6 Sequence diagrams: esempio Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 6 P Tramontana Modelli di sistema- Introduzione a UML Slide 6

7 Sequence diagram: elementi Istanze di classi Rappresentate da rettangoli col nome della classe e l identificatore dell oggetto sottolineati (notazione UML 1) oppure semplicemente con un nome dal quale si evinca che si sta considerando un istanza della classe (ad esempio anorder oppure aproduct) Attori Rappresentati come negli use case diagrams Sono riportati sulla sinistra, con frecce di interazione verso oggetti del sistema Possono anche non essere riportati, nel caso in cui lo scenario venga avviato a sua volta da un altro scenario Messaggi Rappresentati come frecce da un attore ad un oggetto, o fra due oggetti. I messaggi di ritorno (se riportati) hanno una linea tratteggiata I messaggi sincroni terminano con una freccia triangolare piena I messaggi asincroni terminano con una freccia semplice Un messaggio può anche insistere all interno di uno stesso oggetto: in tal caso è indicato da un autonello L ordine dei messaggi (dall alto verso il basso) ricalca l ordine sequenziale con il quale vengono scambiati Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 7 P Tramontana Modelli di sistema- Introduzione a UML Slide 7

8 Sequence diagrams Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 8 P Tramontana Modelli di sistema- Introduzione a UML Slide 8

9 Lifelines e barre di attivazione Lifelines (linee di vita) Si tratta di linee tratteggiate verticali, che partono dal rettangolo rappresentativo dell oggetto e giungono fino al fondo del diagramma. Indicano il periodo temporale di vita dell oggetto, dalla sua costruzione alla sua distruzione Le linee di vita di oggetti staticamente definiti (static) partono dalla cima del diagramma Una richiesta al costruttore può creare un oggetto: in questo caso l oggetto viene disegnato al termine della freccia corrispondente al messaggio di creazione La distruzione di oggetti è indicata da una croce (ics) che interrompe la lifeline dell oggetto Activation box (Barra di attivazione ) E rappresentata da un rettangolo che copre una parte della lifeline di un oggetto cui giunge un messaggio Rappresenta idealmente il periodo di tempo necessario per elaborare la richiesta giunta all oggetto Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 9 P Tramontana Modelli di sistema- Introduzione a UML Slide 9

10 Sequence diagram: campo di applicazione I sequence diagram sono utilizzati in diverse fasi del ciclo di vita di un software In fase di analisi, un sequence diagram può essere una rappresentazione grafica di uno scenario di un caso d uso In questo caso, il ruolo di oggetti sarà mantenuto da un generico oggetto Sistema Potranno comparire altri oggetti (indicanti ad esempio alcuni componenti architetturali quali server, database, etc.) se essi rappresentano elementi vincolati Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 10 P Tramontana Modelli di sistema- Introduzione a UML Slide 10

11 Esempio: Sequence diagram a livello di analisi Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 11 P Tramontana Modelli di sistema- Introduzione a UML Slide 11

12 Sequence diagram: campo di applicazione In fase di progettazione di alto livello i sequence diagram descrivono ancora scenari di casi d uso ma Come oggetti compaiono istanze delle classi del dominio del problema Come messaggi compaiono le responsabilità e le operazioni stabilite dal class diagram di dominio del problema Non compaiono, invece, elementi architetturali (database, etc.) Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 12 P Tramontana Modelli di sistema- Introduzione a UML Slide 12

13 Sequence diagram: un esempio :CourseSection :Student requesttoregister :Registration <<create>> addtoschedule addtoregistrationlist Course getprerequisite * CourseSection * Registration * requesttoregister addtoregistrationlist Student addtoschedule haspassedcourse Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 13 P Tramontana Modelli di sistema- Introduzione a UML Slide 13

14 Sequence diagram: campo di applicazione In fase di progettazione di dettaglio i sequence diagram descrivono realizzazioni di metodi Come oggetti compaiono istanze delle classi di progetto di dettaglio Come messaggi compaiono le chiamate di metodo sugli oggetti Al posto degli elementi architetturali dovrebbero comparire oggetti delle classi che ne consentono l accesso (ad esempio, anzichè database potrebbe comparire l oggetto JDBC sul quale si effettuano le query) Per la descrizione di algoritmi, i sequence diagram non sono lo strumento più adatto: ad essi verranno spesso preferiti activity e statechart diagrams Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 14 P Tramontana Modelli di sistema- Introduzione a UML Slide 14

15 Sequence diagrams: esempio Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 15 P Tramontana Modelli di sistema- Introduzione a UML Slide 15

16 Controllo centralizzato e distribuito Due diversi paradigmi per la progettazione, applicati ai sequence diagram Centralizzato: un oggetto ha il controllo; gli altri forniscono servizi Distribuito: le responsabilità sono distribuite tra gli oggetti Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 16 P Tramontana Modelli di sistema- Introduzione a UML Slide 16

17 Sequence diagram: elementi Un sequence diagram dovrebbe servire per modellare uno e un solo scenario di caso d uso C è il rischio di dover disegnare moltissimi diagrammi, uno per ogni scenario alternativo A partire da UML 2, sono stati proposti e formalizzati costrutti che consentono di modellare cicli e condizioni, in modo da poter visualizzare algoritmi in un sequence diagram Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 17 P Tramontana Modelli di sistema- Introduzione a UML Slide 17

18 Sequence diagram: cicli e condizioni Cicli e condizioni si indicano con un riquadro (frame) che racchiude una sottosequenza di messaggi Nell angolo in alto è indicato il costrutto. Tra i costrutti possibili Loop (ciclo while-do o do-while): la condizione è indicata tra parentesi quadra all inizio o alla fine Alt (if-then-else): la condizione si indica in cima; se ci sono anche dei rami else allora si usa una linea tratteggiata per separare la zona then dalla zona else indicando eventualmente un altra condizione accanto alla parola else Opt (if-then): racchiude una sottosequenza che viene eseguita solo se la condizione indicata in cima è verificata Sono possibili anche altri costrutti per indicare parallelismo, regioni critiche, etc. In realtà, è buona norma utilizzare altri tipi di diagramma quando l algoritmo da modellare si fa complesso Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 18 P Tramontana Modelli di sistema- Introduzione a UML Slide 18

19 Sequence diagrams: esempio Questa notazione é stata introdotta con UML versione 2 Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 19 P Tramontana Modelli di sistema- Introduzione a UML Slide 19

20 Esempio: azienda alimentare Una azienda produttrice di prodotti alimentari, vuole organizzare un sistema informativo aziendale. Tutti gli utenti dell applicazione devono essere in grado di visualizzare informazioni relative al catalogo dei prodotti. Inoltre i dipendenti devono essere in grado di accedere ad informazioni relative alle loro mansioni. I prodotti sono organizzati in linee di prodotto che accomunano prodotti dello stesso tipo: ad esempio, due linee possono essere pasta e sughi. I prodotti possono essere confezionati in diversi stabilimenti. I dipendenti si suddividono in diverse categorie: i manager, che sono responsabili di una o più linee di produzione (ogni linea é però gestita esattamente da tre manager, per assicurare una gestione equa), i supervisori della produzione che sono responsabili di tutti i prodotti di una specifica linea in uno specifico stabilimento, e gli operai che lavorano su uno specifico prodotto in un determinato stabilimento. L applicazione deve consentire ai manager di accedere alle informazioni relative ai dipendenti di cui sono responsabili, e a tutti di accedere alle informazioni sui prodotti. Il supervisore invia ogni anno una mail di auguri di Pasqua a tutti gli operai e i manager che lavorano nello stabilimento che contiene la linea di prodotto di cui è responsabile All apertura di una nuova linea di prodotto in uno stabilimento, il supervisore stabilisce tre manager che la gestiscano tra quelli già presenti in azienda. Se non vi sono abbastanza manager disponibili, provvede ad assumerne di nuovi Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 20 P Tramontana Modelli di sistema- Introduzione a UML Slide 20

21 System Domain Model Stabilimento Operaio 1..* 1..* Assegnazione Supervisore 1..* Prodotto * 1..* Linea di Prodotto 1..* Responsabilità Catalogo -Visualizza info prodotti() 3 +Responsabile Manager --Leggi Info dipendenti() Dipendente --Visualizza Mansione() Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 21 P Tramontana Modelli di sistema- Introduzione a UML Slide 21

22 Sequence diagram Invia mail : Stabilimento : Operaio : Linea di Prodotto : Manager : Supervisore : Supervisore 1 : Elenca operai() loop [For each operaio] 2 : Leggi operaio() : Elenca Manager() loop [3] 6 : Leggi Manager() : Invia mail() 10 Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 22 P Tramontana Modelli di sistema- Introduzione a UML Slide 22

23 Communication diagrams I Communication diagram mostrano come gli oggetti collaborano per realizzare un interazione. Un communication diagram è un grafo i cui vertici sono oggetti e cui archi rappresentano link di comunicazione fra oggetti L ordinamento temporale è indicato facendo precedere il messaggio da un numero di sequenza Per le chiamate innestate si utilizza una dot notation Sono anche noti come Collaboration Diagram Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 23 P Tramontana Modelli di sistema- Introduzione a UML Slide 23

24 Communication Diagram: esempio Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 24 P Tramontana Modelli di sistema- Introduzione a UML Slide 24

25 Altro esempio :CourseSection 1: <<create>> :Registration 2: addtoschedule :Student 3: addtoregistrationlist Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 25 P Tramontana Modelli di sistema- Introduzione a UML Slide 25

26 Confronti con altri diagrammi In un communication diagram dovrebbero comparire gli stessi elementi di un sequence diagram (la conversione automatica è possibile) Non bisogna confondere communication diagram e object diagram Negli object diagram gli archi rappresentano relazioni statiche tra gli oggetti Non compaiono oggetti temporanei Non ci sono informazioni sulla sequenzialità delle chiamate Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 26 P Tramontana Modelli di sistema- Introduzione a UML Slide 26

27 Diagrammi di Stato Un diagramma di stato descrive il comportamento di un sistema, una parte di un sistema, o di un oggetto specifico. In un dato istante, il sistema o l oggetto sono in un certo stato. Essere in uno stato significa che esso si comporterà in uno specifico modo in risposta a qualche evento che si verificherà. Alcuni eventi possono far cambiare stato al sistema. Nel nuovo stato, di fronte agli eventi il sistema si comporterà diversamente. Un diagramma di stato è un grafo diretto dove i nodi sono gli stati e gli archi sono le transizioni. Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 27 P Tramontana Modelli di sistema- Introduzione a UML Slide 27

28 Esempio: oggetto Libro stato iniziale acquisizione libro( dati libro, autori, editore ) evento transizione di stato stato acquisito prestito( data ) in prestito restituzione( data restituzione ) scadenza termini cancellazione libro( ISDN ) stato finale restituzione( data restituzione ) sollecito in ritardo cancellazione libro( ISDN ) Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 28 P Tramontana Modelli di sistema- Introduzione a UML Slide 28

29 Stati Uno stato è rappresentato da un rettangolo arrotondato con il suo nome In un dato istante, uno e un solo stato del diagramma può verificarsi Tutti gli stati sono considerati stabili: solo un evento può causare la transizione da uno stato all altro Stati speciali (pseudostati): Lo stato iniziale (non può essere raggiunto) Lo stato finale (non può essere lasciato) Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 29 P Tramontana Modelli di sistema- Introduzione a UML Slide 29

30 Transizioni Una transizione è un cambiamento di stato in risposta ad un evento È considerata istantanea. Viene etichettata con la sintassi: Evento trigger [guardia] / attività Evento trigger è l evento che scatena la transizione; Guardia è una condizione booleana ulteriore che deve essere verificata affinchè possa scatenarsi la transizione Attività è una azione elaborativa che si verifica contestualmente con la transizione Abbinare attività alle transizioni è l elemento caratterizzante delle macchine di Mealy Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 30 P Tramontana Modelli di sistema- Introduzione a UML Slide 30

31 Esempio Avvia distributore/azzera credito Inserimento moneta [credito+moneta<2 euro]/ Incrementa credito Richiesta restituzione/restituisci e decrementa credito Attesa Spegni distributore/restituisci e decrementa credito Richiesta restituzione/restituisci e decrementa credito Inserimento moneta [credito+moneta>=2 euro]/incrementa credito Inserimento moneta/incrementa credito Erogazione avvenuta [credito<4 euro]/decrementa credito Attesa scelta prodotto Time Out per erogazione fallita Scelta prodotto 2 euro Erogazione avvenuta [credito>=4 euro]/decrementa credito Statechart diagram di un distributore automatico. Il distributore eroga prodotti del costo di 2 euro. Il distributore accetta diversi tipi di monete. Erogazione Prodotto Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 31 P Tramontana Modelli di sistema- Introduzione a UML Slide 31

32 Attività interne Spesso le auto-transizioni sono indicate come attività interne All interno dello stato vengono descritti eventi, trigger e attività Attesa entry/azzera credito do/inserimento moneta [credito<2euro] / Incrementa credito do/richiesta restituzione/restituisci credito e decrementa exit/... Entry identifica le attività che si svolgono all ingresso nello stato Exit identifica le attività che si svolgono all uscita dallo stato Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 32 P Tramontana Modelli di sistema- Introduzione a UML Slide 32

33 Activity State Talvolta gli stati non corrispondono a periodi in cui l oggetto è in attesa inerte di un evento ma a periodi di tempo necessari al completamento di un attività In tal caso si parla di Activity State Tale modellazione è coerente con quella di una macchina di Moore, nella quale le azioni sono legate agli stati Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 33 P Tramontana Modelli di sistema- Introduzione a UML Slide 33

34 Esempio di Activity State Lo stato In Ricerca è un Activity State L arco di uscita dallo stato non etichettato indica l uscita per terminazione dell attività Cerca nuovo hardware è una descrizione più precisa dell attività dell activity state Non essendoci una guardia, è l unica attività che può essere eseguita da quello stato Il concetto di Activity State è molto simile al concetto di attività che verrà definito nell ambito degli Activity Diagram Aggiorna finestra dell'hardware Lancia Ricerca In Ricerca Visualizza finestra nuovo hardware do/cerca nuovo hardaware Annulla Ricerca Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 34 P Tramontana Modelli di sistema- Introduzione a UML Slide 34

35 Attività e Azioni UML 1 distingueva tra Azioni ed Attività Un azione veniva svolta in un tempo trascurabile ed era comunque non interrompibile, per cui poteva essere associata ad una transizione di stato Un attività invece richiedeva un tempo significativo, nel quale potevano verificarsi altri eventi che la interrompevano o influenzavano Per tale motivo andava modellata come Activity State Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 35 P Tramontana Modelli di sistema- Introduzione a UML Slide 35

36 Superstati Un diagramma di stato può essere innestato all interno di uno stato. Gli stati del diagramma interno sono detti sotto-stati. Gli archi possono essere diretti verso il superstato (e in tal caso si intende che siano diretti verso il suo stato iniziale) o verso un suo sottostato Neutral selectreverse selectneutral selectfirst selectdrive selectsecond selectneutral Reverse reachsecondspeed reachthirdspeed [driveselected] [driveselected] First Second Third dropbelowsecondspeed dropbelowthirdspeed [driveselected] selectfirst selectsecond Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 36 P Tramontana Modelli di sistema- Introduzione a UML Slide 36

37 Implementazione degli statechart Uno statechart a livello di dettaglio può essere implementato utilizzando una catena di switch nidificati Switch (statocorrente) { Case stato1: Switch (unevento) Case evento1: if (guardia1) azioneevento1; Break; Case stato2 } Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 37 P Tramontana Modelli di sistema- Introduzione a UML Slide 37

38 Pattern State Una soluzione più efficace in sistemi object oriented consiste nell utilizzo del pattern State Lo statechart viene tradotto con: Una classe generale che dichiara i metodi corrispondenti a tutte le azioni ma li implementa senza fare nulla Una serie di classi derivate, corrispondenti agli stati del diagramma, che implementano soltanto i metodi corrispondenti agli eventi scatenabili su quello stato (per overriding) Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 38 P Tramontana Modelli di sistema- Introduzione a UML Slide 38

39 Applicabilità Gli statechart diagrams sono utili quando si vuole modellare il comportamento di una classe complessa Nella modellazione di dettaglio, gli statechart diagram possono essere implementati efficacemente utilizzando il pattern State Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 39 P Tramontana Modelli di sistema- Introduzione a UML Slide 39

40 Activity Diagrams Un activity diagram Può essere usato per modellare un flusso di lavoro (workflow) In fase di analisi può essere utilizzato per modellare un problema reale In fase di progettazione di alto livello per modellare l interazione tra gli oggetti concettuali nella risoluzione di un problema In fase di progettazione di dettaglio può essere usata per modellare un algoritmo, eventualmente concorrente, che deve essere implementato Un activity diagram rappresenta un estensione di un diagramma di flusso, con l introduzione, in particolare, delle esecuzioni concorrenti Un activity diagram nasce, nell ambito di UML, come una estensione dello statechart diagram Nelle ultime versioni se ne è, però, completamente distaccato, per cui ha senso studiarlo separatamente Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 40 P Tramontana Modelli di sistema- Introduzione a UML Slide 40

41 Attività e flussi Le attività sono definite come azioni elaborative che il sistema deve compiere e sono modellate con rettangoli dai bordi arrotondati identificate dal nome dell attività stessa Il flusso tra le attività è modellato con frecce entranti/uscenti dall attività Per convenzione, l ingresso nell attività coincide con il suo inizio; l uscita dall attività coincide con il suo completamento Esistono anche qui degli stati iniziali e finali delimitanti il diagramma Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 41 P Tramontana Modelli di sistema- Introduzione a UML Slide 41

42 Branch Il branch è una attività di decisione Corrisponde ad un IF È modellata con un rombo che abbia un solo arco entrante e più di un arco uscente Ogni arco uscente è etichettato con una condizione di guardia (tra parentesi quadre) Le condizioni devono essere tra loro mutuamente esclusive Il merge è l elemento duale del branch Corrisponde ad un END IF E anch esso modellato con un rombo, ma con un solo arco uscente e più di un arco entrante Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 42 P Tramontana Modelli di sistema- Introduzione a UML Slide 42

43 Fork e Join Il fork rappresenta una biforcazione del flusso in due o più thread E rappresentato con una barra orizzontale nella quale entra un solo arco e ne esce più di uno Gli archi uscenti non sono etichettati e si intende che altrettanti thread siano avviati contemporaneamente a seguito della biforcazione Il join è il duale del fork E rappresentato anch esso da una barra orizzontale nella quale entra più di un arco e ne esce uno solo Fork e Join corrispondono esattamente alle omonime primitive concettuali della programmazione concorrente Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 43 P Tramontana Modelli di sistema- Introduzione a UML Slide 43

44 Activity diagrams: esempio Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 44 P Tramontana Modelli di sistema- Introduzione a UML Slide 44

45 Activity diagrams esempio Receive course registration request [not ok] Check prerequisites Check special permission [ok] [ok] [ok] Verify course not full [not ok] [not ok] Complete registration Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 45 P Tramontana Modelli di sistema- Introduzione a UML Slide 45

46 Swimlanes Gli activity diagram possono essere utilizzati per modellare interazioni tra classi diverse L activity diagram è suddiviso in corsie verticali (swimlanes), in ognuna delle quali trovano posto le activity che si riferiscono ad una particolare classe [not ok] Check prerequisites Check special permission [not ok] Student [ok] [ok] Receive course registration request Verify course not full [ok] CourseSection [not ok] Complete registration Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 46 P Tramontana Modelli di sistema- Introduzione a UML Slide 46

47 Macroattività Il limite degli activity diagram è probabilmente la descrizione troppo dettagliata dei problemi. Per poter supportare diversi livelli di astrazione, è possibile racchiudere attività complesse in attività generiche, e dettagliarle separatamente in altri grafici Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 47 P Tramontana Modelli di sistema- Introduzione a UML Slide 47

48 Segnali Negli activity diagram non compaiono esplicitamente eventi, a differenza degli statechart diagram Per compensare tale mancanza, sono stati introdotti i segnali Un segnale indica un qualsiasi evento asincrono esterno che influenza l esecuzione di un activity Caso tipico è rappresentato dai segnali temporali Simboli diversi indicano Segnali inviati (send) Segnali ricevuti (receive) Segnali temporali (timer) Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 48 P Tramontana Modelli di sistema- Introduzione a UML Slide 48

49 Esempi Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 49 P Tramontana Modelli di sistema- Introduzione a UML Slide 49

50 Altri elementi Altri elementi minori possono trovarsi negli activity diagram Pin, utilizzati per dichiarare esplicitamente i dati in ingresso/uscita da un attività Regioni di espansione, analoghe ai frame dei sequence diagram, che indicano che le attività al loro interno sono eseguite tante volte quante ne sono indicate nella guardia che li etichetta Specifiche di join, ovvero condizioni di guardia che determinano l effettiva esecuzione di un join Cfr. UML Distilled per approfondimenti Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 50 P Tramontana Modelli di sistema- Introduzione a UML Slide 50

51 Interaction overview diagrams Rappresentano una fusione di sequence diagram e activity diagram Fondono i vantaggi dei sequence diagram (rappresentazione più orientata alla descrizione degli scenari dei casi d uso) e degli activity diagram (rappresentazione più orientata alla descrizione di algoritmi, eventualmente concorrenti) Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 51 P Tramontana Modelli di sistema- Introduzione a UML Slide 51

52 Interaction overview diagram: un esempio Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 52 P Tramontana Modelli di sistema- Introduzione a UML Slide 52

53 Timing diagrams Sono un ulteriore strumento per modellare oggetti il cui comportamento dipende da esecuzioni concorrenti Porfirio Tramontana Ingegneria del Software UML parte 2 - Viste dinamiche e comportamentali 53 P Tramontana Modelli di sistema- Introduzione a UML Slide 53