Obiettivi dell esercitazione. Requisiti (cont.) Requisiti. Università di Roma La Sapienza A.A Facoltà di Ingegneria Sede di Latina

Transcript

1 Università di Roma La Sapienza A.A Facoltà di Ingegneria Sede di Latina Laurea in Ingegneria Informatica ed Ingegneria dell Informazione Corso di PROGETTAZIONE DEL SOFTWARE Esercitazione sulla FASE DI ANALISI E DI PROGETTO SOLUZIONE Obiettivi dell esercitazione Partendo da un insieme di requisiti, svolgere la fase di analisi, producendo diagramma delle classi, diagramma dei casi d uso. Successivamente, effettuare la fase di progetto in maniera completa, ovvero: 1. progetto di algoritmi per le operazioni degli use case e delle classi UML; 2. scelta delle classi UML che hanno responsabilità sulle associazioni; 3. scelta/progetto delle strutture di dati; 4. scelta della corrispondenza fra tipi UML e Java; 5. scelta della tecnica di gestione delle precondizioni; 6. scelta della gestione delle proprietà di una classe UML; Progettazione del Software Esercitazione sulla fase di progetto A.A Requisiti Requisiti (cont.) L applicazione da progettare riguarda le informazioni sul rapporto tra quotidiani e lettori. Di ogni quotidiano interessa il nome, il capitale sociale (in migliaia di Euro), l anzianità (cioè da quanti anni viene pubblicato), e la quotazione, che si ottiene moltiplicando il capitale sociale per l anzianità. Di ogni quotidiano interessa anche conoscere le convenzioni in atto: una convenzione viene stipulata tra un quotidiano, un giornalaio, ed un cliente, e prevede che il giornalaio riservi ogni giorno un certo numero (maggiore di zero) di copie del quotidiano al cliente. Per ogni quotidiano interessa quindi conoscere tutte le informazioni sulle convenzioni in atto, ovvero: giornalaio coinvolto nella convenzione, cliente coinvolto nella convenzione, e relativo numero di copie riservate a fronte della convenzione. L unica restrizione sulle convenzioni è che uno stesso cliente non può stipulare due convenzioni diverse con lo stesso giornalaio per lo stesso quotidiano. Infine, di ogni quotidiano interessa conoscere il gradimento ottenuto dai clienti nell ultima indagine. Progettazione del Software Esercitazione sulla fase di progetto A.A Il gradimento viene rilevato mediante specifiche indagini e stabilisce, per i vari clienti, un indice (numero intero) per i diversi quotidiani, che indica appunto il gradimento dei clienti per i quotidiani. In genere, in una indagine, un cliente comunica il gradimento solo per una parte dei quotidiani, e non vi è alcuna assicurazione che per un quotidiano venga espresso il gradimento di almeno un cliente. I quotidiani politici sono quotidiani di proprietà di un partito politico, e di ciascuno di essi interessa il partito che detiene la sua proprietà, e gli abbonamenti con i clienti. Un abbonamento è un accordo tra un quotidiano politico ed un cliente, che prevede la spedizione al cliente stesso di ogni numero del quotidiano politico. La quotazione di un quotidiano politico si calcola moltiplicando il capitale sociale per l anzianità, diminuendo il risultato del 20%, e sommando poi il numero di abbonamenti di quel quotidiano politico. Progettazione del Software Esercitazione sulla fase di progetto A.A

2 Requisiti (cont.) Diagramma delle classi UML Di ogni giornalaio interessa il codice fiscale e l anno di inizio attività. Di ogni cliente interessa il nome, l indirizzo e l età. L associazione degli editori deve poter effettuare, come cliente della nostra applicazione, dei controlli sui giornali. A questo scopo, si faccia riferimento ad uno use case che prevede le seguenti operazioni: dato un numero intero x, e dato un insieme S di quotidiani, si deve restituire un insieme che raccolga ogni quotidiano in S che ha la quotazione maggiore o uguale x, e che ha almeno una convenzione che coinvolge un cliente che ha espresso per esso gradimento minore di zero nell ultima indagine; dato un quotidiano politico, calcolare la percentuale, fra i suoi abbonati che hanno espresso per esso gradimento nell ultima indagine, di quelli che hanno espresso per esso gradimento minore di zero. Progettazione del Software Esercitazione sulla fase di progetto A.A Progettazione del Software Esercitazione sulla fase di progetto A.A Specifica delle classi UML InizioSpecificaClasse Quotidiano post: result è pari a this.capitalesociale * this.anzianità. InizioSpecificaClasse QuotidianoPolitico is-a Quotidiano post: result è pari a this.capitalesociale * this.anzianità * this.abbonamento, dove, this.abbonamento è l insieme degli oggetti di tipo Cliente legati a this tramite link di tipo abbonamento. Progettazione del Software Esercitazione sulla fase di progetto A.A Specifica delle classi UML(notazione formale) InizioSpecificaClasse Quotidiano post: result = this.capitalesociale this.anzianità InizioSpecificaClasse QuotidianoPolitico is-a Quotidiano post: Definiamo Abb come l insieme {c c Cliente < this,c > abbonamento} result = this.capitalesociale this.anzianità card(abb) Progettazione del Software Esercitazione sulla fase di progetto A.A

3 Diagramma degli use case Specifica dello use case AssociazioneEditori effettua controlli ControlliGradimento InizioSpecificaUseCase ControlliGradimento RaccogliQuotidiani (x: intero, S: Insieme(Quotidiano)): Insieme(Quotidiano) post: result è il sottoinsieme di S tale che ogni quotidiano q result ha tutte le seguenti caratteristiche: q.quotazione() x, esistono un cliente c e un giornalaio g tali che: esiste un link di tipo convenzione tra q, c e g, esiste un link l di tipo gradimento fra c e q tale che l.indice < 0. Progettazione del Software Esercitazione sulla fase di progetto A.A Progettazione del Software Esercitazione sulla fase di progetto A.A Specifica dello use case (cont.) Specifica dello use case (notazione formale)... GradimentoFraAbbonati (q: QuotidianoPolitico): reale pre: q ha almeno un abbonato che espresso per esso gradimento nell ultima indagine. post: result è la percentuale, fra gli abbonati di q che hanno espresso per q gradimento nell ultima indagine, di quelli che hanno espresso per q gradimento minore di zero. FineSpecifica InizioSpecificaUseCase ControlliGradimento RaccogliQuotidiani (x: intero, S: Insieme(Quotidiano)): Insieme(Quotidiano) post: Definiamo Quot come l insieme {q q S q.quotazione() x} result = {q q Quot c Cliente g Giornalaio < q,c,g > convenzione gradimento.indice(q,c) < 0} Progettazione del Software Esercitazione sulla fase di progetto A.A Progettazione del Software Esercitazione sulla fase di progetto A.A

4 Specifica dello use case (notazione formale) Algoritmi... L operazione quotazione() delle classi Quotidiano e QuotidianoPolitico è descritta in maniera sufficientemente dettagliata dalla specifica. Per l operazione RaccogliQuotidiani adottiamo il seguente algoritmo: GradimentoFraAbbonati (q: QuotidianoPolitico): reale pre: Definiamo GradAbb come l insieme {c < q,c > gradimento < q,c > abbonamento} GradAbb 0 post: Definiamo GradAbbN come l insieme FineSpecifica {c c GradAbbN gradimento.indice(q,c) < 0} result = (card(gradabbn)/card(gradabb)) 100 Progettazione del Software Esercitazione sulla fase di progetto A.A Insieme(Quotidiano) result = insieme vuoto; per ogni quotidiano q di S se q.quotazione() >= x allora Insieme(Cliente) cl = insieme vuoto; per ogni link t di tipo gradimento in cui q è coinvolto se t.indice < 0 allora inserisci t.cliente in cl; per ogni link v di tipo convenzione in cui q è coinvolto se v.cliente è in cl allora inserisci q in result; return result; Progettazione del Software Esercitazione sulla fase di progetto A.A Algoritmi (cont.) Responsabilità sulle associazioni Per l operazione GradimentoFraAbbonati adottiamo il seguente algoritmo: Insieme(gradimento) G = insieme di link di tipo gradimento in cui q è coinvolto; Insieme(abbonamento) A = insieme di link di tipo abbonamento in cui q è coinvolto; int quantiesprimono = 0; int quantiscontenti = 0; per ogni link ab di A per ogni link gr in G se (ab.cliente == gr.cliente) allora quantiesprimono++; se gr.indice < 0 allora quantiscontenti++; return quantiscontenti * 100 / quantiesprimono; Progettazione del Software Esercitazione sulla fase di progetto A.A Dai requisiti: Di ogni quotidiano interessa conoscere le convenzioni in atto. Di ogni quotidiano interessa conoscere il gradimento. Di ciascun quotidiano politico interessano gli abbonamenti con i clienti. Non ci sono molteplicità massime finite o minime diverse da zero. Progettazione del Software Esercitazione sulla fase di progetto A.A

5 Responsabilità sulle associazioni (cont.) Per la realizzazione degli algoritmi: RaccogliQuotidiani: a partire da un oggetto q che è istanza di Quotidiano dobbiamo conoscere le istanze di gradimento e quelle di tipo convenzione alle quali q partecipa; GradimentoFraAbbonati: a partire da un oggetto q che è istanza di Quotidiano dobbiamo conoscere le istanze di gradimento e quelle di tipo abbonamento alle quali c partecipa. Possiamo riassumere il risultato delle considerazioni precedenti nella seguente tabella delle responsabilità. Associazione Classe ha resp. convenzione Quotidiano SÌ 1,2 Giornalaio NO gradimento Quotidiano SÌ 1,2 abbonamento QuotidianoPolitico SÌ 1,2 1. dai requisiti 2. dagli algoritmi 3. dai vincoli di molteplicità Progettazione del Software Esercitazione sulla fase di progetto A.A Strutture di dati Abbiamo la necessità di rappresentare collezioni omogenee di oggetti, per i seguenti motivi: Poiché la classe Quotidiano ha responsabilità sulle associazioni convenzione e gradimento, la cui molteplicità è 0..*, per la realizzazione di quest ultima avremo bisogno di rappresentare insiemi di link. Lo stesso si può dire prendendo in considerazione la classe Quotidiano- Politico. Per rappresentare l input dell operazione RaccogliQuotidiani avremo bisogno di un opportuno insieme di quotidiani. Per fare ciò, utilizzeremo Set<Elem> e HashSet<Elem> del Collections Framework di Java 1.5. Progettazione del Software Esercitazione sulla fase di progetto A.A Corrispondenza fra tipi UML e Java La tabella di corrispondenza dei tipi UML è la seguente. Tipo UML intero intero positivo stringa Rappresentazione in Java int int String Per tenere conto del fatto che int è semanticamente più esteso del tipo UML intero positivo, prevediamo una verifica delle condizioni di ammissibilità nel lato server, ovvero nella classe Java per convenzione e Quotidiano. Analogamente, per tenere conto del fatto che l operazione di use case GradimentoFraAbbonati ha precondizioni, ne prevediamo la verifica nel lato server, ovvero nel metodo Java che realizzerà tale operazione. Progettazione del Software Esercitazione sulla fase di progetto A.A Tabelle di gestione delle proprietà di classi UML Dobbiamo decidere se è il caso di operare scelte diverse da quelle di default (ovvero tutte le proprietà sono mutabili, le proprietà singole sono note alla nascita, le proprietà multiple non sono note alla nascita). Riassumeremo tutte le nostre scelte differenti da quelle di default mediante la tabella delle proprietà immutabili e la tabella delle assunzioni sulla nascita. In particolare, quest ultima sarà vuota. Classe UML Classe UML Quotidiano QuotidianoPolitico Cliente Giornalaio Proprietà immutabile nome partito nome codfiscale annoinizioattività Proprietà nota alla nascita non nota alla nascita Progettazione del Software Esercitazione sulla fase di progetto A.A