Ingegneria del Software 18. Realizzazione casi d uso. Dipartimento di Informatica Università di Pisa A.A. 2014/15

Documenti analoghi
Avete capito fino in fondo il concetto di nodo fine flusso? Che differenza c e tra fine flusso e fine attività? MODEL DIFFERENCES AND EVOLUTION

Sequenza alternativa degli eventi: Variazione di prezzo superiore al 20% per almeno un articolo.

Caso d Uso: AcquistoAbbonamentoStudentiSettimanaleGiornaliero Breve descrizione. Procedura per la registrazione al servizio CicloPi.

DIAGRAMMI DI SEQUENZA

Ingegneria del Software 9. Macchine a stati. Dipartimento di Informatica Università di Pisa A.A. 2014/15

Indice. Prefazione alla seconda edizione italiana XVII. Introduzione. Parte 1 Introduzione all UML e all UP 1

Sequence Diagram. Catia Trubiani. Laboratorio di Ingegneria del Software a.a

BASI DI DATI I. Progettazione di un DBMS per un negozio di materiale elettrico. Progetto realizzato da: Iero Demetrio Matricola:

Raccolta dei Requisiti con i Casi D'uso. Corso di Ingegneria del Software Anno Accademico 2012/13

Via Oberdan, 42, Faenza (RA) Italy Tel.: Fax: WAVE MODE MOBILE GUIDA RAPIDA

Gestione di files Motivazioni

DAL DIAGRAMMA AL CODICE

Ingegneria del Software 5. Esercizi sui casi d uso. Dipartimento di Informatica Università di Pisa A.A. 2014/15

Esempio 1: CarMatch. Direzione centrale Sedi centrali per ogni paese Concessionarie locali di franchising UML 2

Ingegneria del Software T

Analisi dei processi di dematerializzazione. Università di Napoli Federico II. Valentina Casola Forum PA, maggio 2008

Il diagramma dei casi d uso

Guida alla Registrazione Utenti

Le aree dell informatica

Progettazione delle Applicazioni

Corso di Laurea Ingegneria Informatica Fondamenti di Informatica

- Istruzioni per la prenotazione e l uso delle auto

Ingegneria del Software 11. Esercizi riassuntivi. Dipartimento di Informatica Università di Pisa A.A. 2014/15

RIFERIMENTI ATTORI GLOSSARIO. ERRORI COMUNI REV. REQUISITI INGEGNERIA DEL SOFTWARE Università degli Studi di Padova

Progetto di Ingegneria del software. Sistema informativo per la gestione di uno stabilimento balneare

UML (ancora) Contenuto: Casi d uso Diagrammi di sequenza Componenti. 08 UML /11 G. Bucci 1

Terminale POS Manuale Esercente

Elementi di UML (2) Università degli Studi di Bologna Facoltà di Scienze MM. FF. NN. Corso di Laurea in Scienze di Internet Anno Accademico

A Descrizione: ruota effetti opzionale con supporto/ optional effects wheel with support/ iprofile FLEX MODIFICHE. Codice assemblato:

Sequence Diagram e Collaboration Diagram

INFORMATICA GENERALE Prof. Alberto Postiglione Dipartimento Scienze della Comunicazione Università degli Studi di Salerno

4 Le liste collegate 4.0. Le liste collegate. 4 Le liste collegate Rappresentazione di liste 4.1 Rappresentazione di liste

Esercizi di Ingegneria del Software

Esercizi di Ingegneria del Software

Sistemi Informativi I Caso di studio con applicazione di UML

Corso di Laurea in Ingegneria Gestionale Esame di Informatica a.a giugno 2013

Sistemi Web per il turismo - lezione 3 -

La selezione binaria

DAL PROBLEMA ALL'ALGORITMO AL PROGRAMMA SCRITTO IN Come. Scopo principale dell informatica è risolvere problemi con i calcolatori.

SAPIENZA Università di Roma, Facoltà di Ingegneria

Semantica dei programmi. La semantica dei programmi è la caratterizzazione matematica dei possibili comportamenti di un programma.

Obiettivo della lezione. Casi d uso. Casi d uso (use cases) Scenari d interazione

Manuale utente Soggetto Promotore Erogatore Politiche Attive

Unified Modeling Language

Le presentazioni: contesto d uso e buone prassi per la realizzazione di learning objects. Gianni Vercelli DISA Univ. Di Genova

SAPIENZA Università di Roma Facoltà di Ingegneria

Automatizzare i compiti ripetitivi. I file batch. File batch (1) File batch (2) Visualizzazione (2) Visualizzazione

UD4 - MATLAB. M-file. Efficienza degli algoritmi. Formati d uscita

PROGRAMMI OPERATIVI NAZIONALI Obiettivo "Convergenza"

WINDOWS Avviare Windows95. Avviare Windows95 non è un problema: parte. automaticamente all accensione del computer. 2. Barra delle applicazioni

Soluzione dell esercizio del 2 Febbraio 2004

PROGRAMMA DI SCIENZE E TECNOLOGIE APPLICATE 2015/2016 Classe 2ª Sez. C Tecnologico

Prof. Giuseppe Chiumeo. Avete già studiato che qualsiasi algoritmo appropriato può essere scritto utilizzando soltanto tre strutture di base:

Modello a scambio di messaggi

Intelligenza Artificiale. Lezione 14. Intelligenza Artificiale Daniele Nardi, 2003 Lezione 14 0

Creare una funzione float square(float x). La funzione deve restituire il quadrato del parametro x.

Politecnico di Milano. Ingegneria del Software a.a. 2006/07. Appello del 14 settembre 2007 Cognome Nome Matricola

Gli algoritmi: definizioni e proprietà

Creare diagrammi di Gantt con Visio 2003

I comandi del DOS. Come si fornisce un comando al DOS

TABELLA C. RISORSE UMANE E PROFESSIONALI di cui all art. 9

AutoritàEmittente CNS Contraente. Certificatore Accreditato. La firma digitale

Laurea triennale - Comunicazione&DAMS - UNICAL. Dr. Marco Manna 1

Registrazione presso il gestore dell Identità federa del Comune di Cesena

Studente (Cognome Nome): Corso di Informatica Corso di Laurea in Ingegneria Gestionale a.a Primo scritto 11 Gennaio 2008

Laboratorio di Fondamenti di Informatica anno accademico Esercizi proposti il

Risolvere un problema significa individuare un procedimento che permetta di arrivare al risultato partendo dai dati

MODELLO AD AMBIENTE GLOBALE

PROCEDURA. progetto pyou card MANUALE OPERATORE POS

Algoritmo. I dati su cui opera un'istruzione sono forniti all'algoritmo dall'esterno oppure sono il risultato di istruzioni eseguite precedentemente.

Modellazione dei dati in UML

Appunti del corso di Informatica 1 (IN110 Fondamenti) 6 Introduzione al linguaggio C

Corso di Laurea in Matematica

Programmazione Orientata agli Oggetti in Linguaggio Java

COMPITO DI LABORATORIO DI PROGRAMMAZIONE Luglio Soluzione degli Esercizi

Corso di Laurea Ingegneria Informatica Fondamenti di Informatica

Glossario icone software

[Larman] Applicare UML e i pattern, Capitolo 28, Diagrammi di attività di UML e modellazione

Manuale Sito Videotrend

MANUALE UTENTE IST0549V2.0

Si considerino le seguenti specifiche per la realizzazione di un sito web per la gestione di abbonamenti a riviste di vario genere..

INFORMATICA PER L IMPRESA (Docente Prof. Alfredo Garro)

TABELLA C. RISORSE UMANE E PROFESSIONALI di cui all art. 9

LEZIONE 7 - STATE MACHINE DIAGRAM

ESERCIZIO 1 (Definizione funzioni passaggio parametri per copia)

RICHIESTA CERTIFICATO DI AGIBILITÀ IMPRESE CHE OCCUPANO LAVORATORI DEL SETTORE DELLO SPETTACOLO

Elaborato di Fondamenti di Informatica 2007/08. Claudio Guidi

Provincia di Reggio Calabria Procedura di Registrazione degli Operatori Economici e Messaggi di Notifica.

VIDES. Mariagrazia Rossi

INDICE. PULSE Manuale Operativo Pag. 1

Esercitazioni di Progettazione del Software. Esercitazione (Prova al calcolatore del 17 settembre 2010)

Manuale di configurazione e utilizzo Barcode card

Progetto Lauree Scientifiche Liceo Classico L.Ariosto, Ferrara Dipartimento di Matematica Università di Ferrara 24 Gennaio 2012

Prof. Pagani Corrado ESERCITAZIONI DIAGRAMMI DELLE CLASSI UML E JAVA

Semantica Assiomatica

MODULO OFFERTA TECNICA (all. F)

Bibliografia. Studio di caso: Bancomat Automated Teller Machine. uso dei diagrammi: use case, classi, collaborazione, stato

Nuove stampanti per grandi formati. HP Designjet. AB Informatica Urgnano S.r.l. Via Provinciale

Verifica di Sistemi. 2. Il latch SR a porte NOR non accetta la condizione: a. S=0, R=0 b. S=1, R=1 c. S=0, R=1 d. S=1, R=0

I servizi del SITR-IDT

Transcript:

Ingegneria del Software 18. Realizzazione casi d uso Dipartimento di Informatica Università di Pisa A.A. 2014/15

diagrammi di interazione Descrizione dinamica, che elenca i messaggi scambiati tra istanze diagrammi di sequenza diagrammi di comunicazione Usati ad esempio per descrivere lo scambio di messaggi tra un attore e il sistema per la realizzazione di un caso d uso

diagrammi di sequenza Partecipanti, eventualmente dello stesso tipo (nome[selettore]: tipo) Denotano una singola istanza testa della linea di vita sd nome r[1]: Classe1 r[2]: Classe1 : Classe2 attivazione Fluire del tempo nome(par) messaggio (coda della) linea di vita

sintassi dei messaggi Sincrono Messaggio di return opzionale Asincrono Esplicito consumo di tempo opzionali attributo = nomemessaggio(arg1, arg2, ) : valore di ritorno

creare e distruggere oggetti p1: Classe1 p3: Classe3 crea( ) p2: Classe2 distruggi( )

frame di interazione: condizionale p1: Classe1 p2: Classe1 p3 : Classe2 keyword alt richiesta(valore) [valore>300] richiesta(valore) [else] richiesta(valore) guardia sotto- frammento Senza guardia = [true] Senza guardie vere: frame saltato Più guardie vere: scelta nondeterministica

altri frame loop(min, max) [condizione] Iterazione almeno min volte opt[condizione] Opzionale if senza else par Parallelo modo interleaving

esempio di loop Il loop deve essere eseguito almeno una volta, dunque all entrata la guardia non è controllata loop(0,*) = loop* loop(n, n) = loop(n) cattura do-while, for

vincoli di durata

trovati e persi

cancelli un cancello (gate) è un punto sul bordo del diagramma che è connesso ad una freccia messaggio il nome del gate è quello del messaggio connesso

un esempio flusso di controllo procedurale (guidato dalle invocazioni)

esercizio: affitta-film Caso d uso: ResaAlloSportello Breve descrizione Attori primari Attori secondari Precondizioni Sequenza degli eventi principale Postcondizioni Sequenze alternative degli eventi Permette di restituire un film a negozio chiuso Cliente nessuno Copie noleggiate, negozio chiuso 1. il cliente striscia la tessera, comunicandone il numero al sistema 2. per ogni copia da rendere 2.1. il cliente passa il codice a barre 2.2. il cliente lascia la confezione nell apposita buca 2.3. il sistema memorizza la data e l ora della resa Copie registrate come rese da confermare (con ora e data) Tessera non valida, codice a barre non riconosciuto

vista C&C Componente Responsabilità GestioneSportello ResaAlloSportello DBFilm Realizza le interazioni con lo sportello per la resa delle cassette Realizza il caso d uso ResaAlloSportello Mantiene il catalogo dei film di un negozio, inclusa la in/disponibilità delle singole copie, e l eventuale stato di attesa di verifica di avvenuta restituzione

sequenza per la resa manca la gestione delle sequenze alternative manca la consegna: non fa parte del caso d uso

altro esempio: attiva-carte Caso d uso: Attivazione Breve descrizione Attori primari Attori secondari Precondizioni Sequenza degli eventi principale Postcondizioni Sequenze alternative degli eventi Attiva una carta e visualizza il massimale residuo Cliente nessuno/sistema centrale nessuna 1. il cliente striscia la carta, comunicandone il numero al sistema 2. il sistema legge il codice del cliente e richiede il PIN al sistema centrale 3. while (il cliente non digita il PIN giusto e ha fatto meno di 3 tentativi) 3.1. il sistema chiede al cliente di riprovare 4. se (il cliente ha fatto 3 inserimenti sbagliati) 4.1. il sistema chiede al cliente di ritirare la carta 5. altrimenti il sistema comunica il massimale al cliente e l attivazione della carta al sistema centrale Carta inserita e attivata Carta non attivata