SOMMARIO INGEGNERIA DEL SOFTWARE Università degli Studi di Padova Dipartimento di Matematica Corso di Laurea in Informatica, A.A. 2012 2013 2 rcardin@math.unipd.it SOMMARIO 3 4
Analisi dei Requisiti, Specifica Tecnica, Definizione di Prodotto Descrivono la logica procedurale, i processi di business e workflow Diagrammi Use case Diagrammi di flusso Revisione dei Requisiti Diagrammi dei package Diagrammi delle classi Diagrammi degli oggetti Diagrammi di attività Diagrammi di sequenza R. Progetto Architetturale Supportano l elaborazione parallela Un attività è un insieme di più azioni Nodo iniziale Da dove inizia l esecuzione del processo Fork Elaborazione parallela R. di Accettazione Revisione di Qualifica Diagrammi delle classi Diagrammi di attività Diagrammi di sequenza Diagrammi di flusso 5 Nessun ordine fra le attività di processi differenti Join Sincronizzazione fra i processi paralleli [joinspec= b1 and b2] Specifiche di Join 6 Espressione booleana Nodo iniziale Fork Definizioni Decisione Si può intraprendere solo uno dei percorsi Token Vengono prodotti e consumati Il nodo iniziale genera token Il nodo finale consuma token Fork produce un token per ogni processo Join consuma i token in ingresso e ne genera solo uno Guardia Merge Decisione Nodo finale Join Nodo di fine di flusso 7 Fine dell attività 8
Esempio principale Esempio 1 Esempio Il cliente sfoglia il catalogo ed aggiunge i prodotti desiderati al carrello della spesa. Quando il cliente termina l acquisto e deve pagare, lo stesso fornisce le informazioni sulla consegna dei prodotti e sulla carta di credito. Il sistema verifica l autorizzazione al pagamento con carta di credito e conferma l acquisto immediatamente e mediante una successiva mail. 9 10 SOMMARIO AZIONI Implementazione di una azione Sotto-attività Nome dell attività Operazione di una classe Invia Conto (Ordine::InviaConto) 11 Notazione UML 2.x 12
AZIONI Pin e trasformazioni Passaggio di parametri tra azioni I Pin corrispondono ai box dei parametri Nel business risorse prodotte e consumate PARTIZIONI Forniscono una responsabilità all esecuzione delle azioni Swimlanes Responsabilità Espressione di trasformazione «transformation» appuntamento.notifica Cancella appuntamento Appuntamento Pin parametro «transformation» appuntamento.paziente Swimlanes Messaggio Paziente Notifica paziente 13 14 SEGNALI Evento proveniente da un processo esterno Esempio 2 Verificato da passaggio del tempo Generazione segnali Aspetta 15 min. Attende il verificarsi di un segnale 15 16
FLUSSI E ARCHI Connessione fra due azioni Nella maggior parte dei casi è sufficiente una semplice freccia Facilita la lettura di diagrammi complessi REGIONI DI ESPANSIONE Ripetizione delle attività su una collezione Ogni elemento della lista è un token Un solo token in uscita dalla regione Regione di espansione Scrivi articolo Oggetto messaggio Scegli argomenti Pubblica Newsletter 17 Lista argomenti Rivedi articolo Un token quando tutti gli input sono arrivati 18 MA NON È TUTTO QUI RIFERIMENTI Uno dei diagrammi più ricchi OMG Homepage www.omg.org Soprattutto da UML 2.x UML Homepage www.uml.org Da utilizzare quando: UML Distilled, Martin Fowler, 2004, Pearson (Addison Wesley) Espressione di flussi paralleli Per descrivere casi d uso o requisiti Direttamente dal capitolato tecnico Semplici da comprendere Ma ancora poco utilizzati 19 20