Ticket. Lottery. WinningOrder. FreeTicketLaw. <<active>> Client. own freetickets: Int = 0. 1 buyticket(int)

Transcript

1 ESERCIZI UML Gianna Reggio 14 Ottobre 2009 Esercizio 1 Definire un modello concettuale dell esame di IS come è organizzato quest anno. Dovete descrivere in quali prove si articola, come vengono valutate, quando si ritiene superato e come si determina il voto finale. In questo caso è sufficiente un class diagram più eventualmente constraint e metodi. Esercizio 2 Dire quali delle seguenti affermazioni sono verificate dal modello presentato dal seguente class diagram, motivando brevemente ogni risposta a) Lottery ha un attributo di tipo intero? b) Potrebbero esistere oggetti di classe WinningOrder e nessun oggetto di classe Lottery? c) Lottery non ha alcun metodo? d) Tutti i tickets hanno numeri differenti? e) La classe Lottery definita nel class diagram soddisfa questa invariante context Lottery inv: clients.own = tickets f) La seguente post-condizione richiede che dopo ogni chiamata dell operazione restart non esiste più alcun oggetto di class Ticket context restart post: tickets = {} <<active>> Client own freetickets: Int = 0 Ticket 1 buyticket(int) * * winnersdrawn newlotterystarted youhavewon * tickets C clients num: Int running: Bool restart Lottery order 1 WinningOrder lessthan(int,int): Bool law 1 FreeTicketLaw newnumber(set(int),int): Int

2 Esercizio 3 Definire un modello UML che descriva il dominio delle conferenze scientifiche. Una conferenza ha un comitato scientifico guidato da un presidente, membro del comitato stesso, e costituito da un certo numero di ricercatori; e si tiene in una certa locazione in un certo giorno (non possono essere previste più conferenze nello stesso posto nello stesso giorno). I ricercatori sottomettono dei lavori alle conferenze, ogni lavoro ha un titolo ed uno o più autori; non ci sono limiti al numero di lavori che un autore può sottomettere ad una conferenza. Alcune conferenze vietano ai membri del loro comitato scientifico di sottomettere dei lavori, ma in ogni caso il Presidente non potrà mai sottomettere alla conferenza che presiede. I lavori del comitato scientifico si svolgono in questo modo: il presidente distribuisce i lavori sottomessi ai vari membri del comitato scientifico, i quali li esamineranno producendo dei rapporti, costituiti da un voto da 1 a 10 e da un breve giudizio. Chiaramente un autore non può esaminare un suo stesso lavoro, e tutti i lavori devono essere esaminati da almeno tre persone. Si assume che il livello etico sia alquanto elevato, pertanto nessuno sottomette lo stesso lavoro a più conferenze, e non sottomette due lavori a conferenze che si svolgono nello stesso tempo. Esercizio 4 Definire un modello UML che descriva i piani di studio degli studenti della nuova laurea triennale intesi come segue. Un piano di studio definisce le attività di uno studente per ognuno dei 3 anni di corso. Un attività può essere seguire un corso, fare la prova finale, oppure dimostrare certi skill (per esempio la conoscenza dell inglese). Ogni attività è misurata in crediti. Un piano di studio deve prevedere attività per 2100 crediti, ma per ogni anno di corso i crediti possono essere al più 800. Alcune attività (corsi, prova finale) vengono valutate con un punteggio tra 0 e 33, mentre le altre vengono solamente considerate superate o nò. Esercizio 5 Sia CD il class diagram dato nella pagina seguente. a) Dire cosa sono e cosa rappresentano gli elementi highlighted in CD. b) Dare un invariante per la classe StateMachines richiedente che se essa ha uno stato, allora ha anche tutti gli stati in cui esso può cambiare. c) Dare un invariante per una qualche classe presente in CD, in contrasto con le molteplicità presenti nello steso CD. d) CD contiene degli errori UML, segnalatene almeno due, motivandoli. e) Estendetelo per modellare che le classi hanno delle operazioni, con parametri tipati, e che un metodo può essere associato ad una operazione.

3 Esercizio 6 a) Dare un modello UML di un programma Java che avete prodotto, per esempio, nei corsi precedenti. b) Dare un modello UML di un databse che avete prodotto, per esempio, nei corsi precedenti. c) Dare un modello UML di una GUI che avete prodotto, per esempio, nei corsi precedenti. d) Dare un modello UML del vostro telefonino e) Dare un modello UML del vostro videoregistratore/lettore di DVD Esercizio 7 Descrivere usando dei sequence diagram a) Come prenotare un esame usando il nostro sistema b) Come fare il progetto (trattando tutte le fasi e/o recupero) c) Qualche attività che pensate sia adatta ad essere descritta usando dei sequence

4 ESERCIZIO 8 Descrivere usando la lingua italiana le due modalità di svolgimento dell esame scritto di IS modellate dalle seguenti due statemachine, e decidere quella che vi sembra più conveniente dal vostro punto di vista. Seduto Scrive Relaxing Disegna ricevepartegen(pg) after 1.30 H / consegna(risultatog) riceveparteuml(pu) after 1.30 H / consegna(risultatou) Scrive ricevepartegen(pg) consegnare1 / consegna(risultatog) Seduto Esame IS 1 Disegna riceveparteuml(pu) consegnare2 / consegna(risultatou) Relaxing uscite Esercizio 9 Si considerino i seguenti sequence diagram che rappresentano due scenari di due use case per un sistema di lotterie on line (AL_L). : CreditCardHandler CL:Client :AL_L :Info availabletickets?(cl) available(nums) buyticket(n) charge(cnum,1000) Cnum = CreditCard charged() confirmticket(n) boughtticket(n) : AL_ L CL: Client: CreditCardHandler : Authentication registerme(cl,em,name,cnum) check(cnum) okcard(cnum) areregistered() register(name) a) Ridisegnarli usando la sintassi di UML 2.0 in modo corretto. b) Dare un class diagram dove tutte le classi utilizzate nei due sequence siano definite con le relative operazioni. c) Modificare tale class diagram per richiedere che le segue:nti condizioni siano tutte verificate ad ogni cliente è associata una ed una sola Info una Info contiene un numero di carta di credito

5 la stessa carta di credito non appare nelle informazioni di due clienti diversi ad AL_L è associata una ed una sola Authentication, ed uno ed uno solo CreditCardHandler al più clienti sono associati ad AL_L d) Dare una statechart associata alla classe AL_L, in modo che modelli un behaviour consistente con le informazioni espresse da i due sequence diagram. Esercizio 10 Si consideri il modello UML, indicato nel seguito come SLUMOD, di un sistema di controllo della serranda (gate) di una chiusa costituito dai seguenti diagrammi: <<active>> SluiceGate + top: Bool + bottom: Bool - movingversus: { CL, ACL } - gateheight: Real clock anticlock on off Diagramma A clock / movingversus = CL after 0.01 s / gateheight = if movingversus = CL then gateheight + C else gateheight - C on / gateheight = 0 Stopped off Moving Diagramma B anticlock / movingversus = ACL / gateheight = 0 Closed SluiceGate 1 SG 1 SluiceController after 3 hours / top = true after 10 min / bottom = true Open Diagramma C Diagramma D Closed after 3 hour / SG.clock(); SG.on() Opening when (top = true) / SC.off() C l o s i n g when (bottom = true) / SC.off() after 10 min / SG.anticlock(); SG.on() Open Diagramma E 1. Dire di che tipo sono i diagrammi A,,E. 2. Dire che cosa sono i vari elementi ombreggiati. 3. Estendere SLUMOD in modo che le seguenti condizioni siano soddisfatte: top è vero quando l altezza del gate è un metro +/- 1 cm esistono almeno 10 controllori e tutti i gate sono nella posizione top Inizialmente l altezza del gate è un metro 4. Descrivere a parole che cosa modella il diagramma E.

6 5. Dare un sequence diagram che descriva un qualche aspetto del comportamento del sistema modellato da SLUMOD. 6. Dire, secondo voi, che ruolo giocano i vari diagrammi di SLUMOD nella descrizione del sistema, e se vedete dei problemi. ESERCIZIO 11 a) Modificare il modello UML consistente del class diagram CB affinchè le seguenti due condizioni siano verificate entrambe: un cibernauta non commenta mai le entry nei suoi blog; le varie visite fatte dai cibernauti ai blog vengano registrate. b) Dare un nuovo class diagram CB che modelli le stesse entità definite in CB, ma dove si è cercato di seguire una politica di riuso, cioè le parti comuni di varie classi dovranno essere definite una volta sola. c) Modificare il modello UML consistente del class diagram CB per modellare il seguente fatto: Il cibernauta A manda un messaggio al cibernauta B, chiedendogli di mettere una entry a suo nome nel suo blog (si assuma che A e B si conoscano, e che B sia titolare di un unico blog C). B manda una mail di risposta ad A confermando l aggiunta della entry, e poi aggiunge effettivamente tale entry su C. d) Modificare il modello UML consistente del class diagram CB per modellare le seguenti categorie di cibernauti: Un cibernauta di tipo C1 risponde immediatamente alle mail ricevute dagli amici*, mentre per le mail ricevute dai conoscenti*, risponde solamente ad una su tre (cioè dopo averne ricevute due e averle cestinate, risponde alla terza che riceve). [*amici e conoscenti sono due gruppi di cibernauti noti a colui che si comporta in questo modo] Un cibernauta di tipo C2 ha accesso ad Internet solamente nelle ore di ufficio (9-18) e riponde solo alle mail ricevute in tale orario quando il capo non è in ufficio (si assuma che riesca a rendersi conto di quando il capo entra nell ufficio e di quando esce). e) Modellare usando i diagrammi UML più opportuni e anche modificando il class diagram CB le seguenti cose: a. un cibernauta fa un post su un forum, riceve due repliche da due persone diverse e alla fine posta una risposta; b. le tipiche cose che un cibernauta molto addicted to the technology esegue di primo mattina in un ordine non prefissato: guarda il suo blog per vedere se ci sono commenti, i suoi preferiti per vedere se ci sono nuovi post, e risponde ad eventuali post sul suo forum.

7 Class Diagram CB

8 Esercizio 12 a) Considerando il class diagram AAA a. È vero che vi è un unico frigo? b. È vero che la seguente constraint afferma che ogni persona mette le sue stoviglie solo nella credenza di cui è assegnatario? Context P: Persona inv P.assegnatario.contieneS.proprietario = P b) Modificare il modello UML fatto dal class diagram AAA in modo che le seguenti tre condizioni siano tutte verificate: a. Una stoviglia non può essere contemporaneamente nello scolapiatti ed appoggiata sul tavolo; b. Ci sono delle persone educate, che non lasciano stoviglie appoggiate sul tavolo. c. Delle stoviglie sono possedute da un gruppo di persone e delle altre invece sono di public domain, cioè di tutti. c) Dare un activity diagram che modelli un tipico modo cooperativo di organizzare il pranzo da parte di un gruppo di tre persone. Come prima cosa, AA preleva dal frigo i cibi deperibili e BB quelli a lunga conservazione nella credenza. Poi, CC preleva le stoviglie dalla credenza e dallo scolapiatti e le mette in tavola, mentre AA cucina il cibo. Dopo aver pranzato, AA lava i piatti, BB prepara il caffè e CC lo serve in tavola; e per concludere tutti e tre lo bevono. d) Modificare il modello UML fatto dal class diagram AAA per modellare la tipica vita di un piatto: Inizialmente il piatto viene messo nella credenza, poi ciclicamente viene preso, sporcato, lavato, messo sullo scolapiatti, e rimesso nella credenza. e) Dare un use case diagram per un sistema software per facilitare la gestione della Common Room. Tale software deve occuparsi di avvisare le persone che hanno del cibo scaduto nel frigo, o che hanno lasciato per più di una settimana delle stoviglie nello scolapiatti. Inoltre, deve permettere di gestire l assegnazione delle credenze (quando arriva una nuova persona, o quando una lascia il Dipartimento), ma anche permettere ad una persona di cambiare la credenza che le è assegnata. La gestione dell assegnazione delle credenze è demandata alla Segretaria.

9 Class Diagram AAA

10 Esercizio 13 a) Che cosa è <<auto>> nel diagramma delle classi ZZZZ? b) Modificare il diagramma delle classi ZZZZ affinchè le seguenti tre condizioni siano tutte verificate: i biglietti gratis che un cliente può avere non siano di più di quelli che possiede; ogni manager gestisca almeno una lotteria; sia i clienti che i manager siano persone caratterizzate da un nome, un cognome e un codice fiscale, ed inoltre una persona possa essere contemporaneamente sia cliente che manager, ma nessun manager possa possedere biglietti delle lotterie che gestisce. c) Descrivere usando il/i diagramma/i UML che ritenete più opportuni e/o modificando il diagramma delle classi ZZZZ il seguente modo di organizzare una nuova lotteria. A manager may decide to start a lottery by giving its dimension (a natural greater than 0 and multiple of 5000), the law for generating the numbers of the free tickets and the winning order. Then, a lottery is created, characterized by the data given by the manager and all clients are informed of the fact. d) Si assuma che i clienti si comportino nel seguente modo: Dopo che un cliente è stato informato che una nuova lotteria è iniziata, se viene sollecitato dal demone del gioco, compra un biglietto che poi possiederà (ed in tal caso acquisisce anche il diritto a ricevere un ulteriore biglietto omaggio). E tutto ciò va avanti fino a che non viene informato che i vincitori sono stati estratti. A questo punto sarà di nuovo pronto a cadere vittima della prossima lotteria, quando verrà organizzata. Descrivere tale comportamento usando una state machine.

11 Class diagram ZZZZ

12 Esercizio 14 Domanda 1) Modificare il diagramma delle classi MMM in modo che a) un documento consista di un certo numero di punti, dove un punto è caratterizzato da un titolo e da un contenuto (semplicemente del testo). Inoltre i punti sono di due tipi: comunicazioni (che saranno solo discusse) e quelli che invece dopo discussione, andranno votati ( DaDiscutere ); questi ultimi, sono caratterizzati da uno specifico meccanismo di votazione. Un meccanismo di votazione dato il numero di membri del comitato, il numero di partecipanti alla riunione, il numero di voti positivi, di voti negativi, e di astensioni dice se il punto è stato approvato. b) In ogni comitato il suo presidente è uno dei suoi membri, inoltre esso ha la qualifica richiesta, e tutti i membri hanno delle qualifiche ammissibili. c) Solamente le riunioni indette non hanno un verbale, mentre se c è il verbale c è anche l ordine del giorno. Domanda 2) Definire usando i diagrammi UML che ritenete più opportuni, e possibilmente modificando il diagramma delle classi MMM la tipica vita delle riunioni, che è la seguente. Per semplicità si assuma che CC denoti un oggetto di classe Comitato. Una riunione per il comitato CC viene indetta dando la data e l ordine del giorno, se la data non va bene (cioè se c è già un'altra riunione dello stesso comitato per quel giorno) la riunione è cancellata, altrimenti si avvertono tutti i membri di CC dell indizione della medesima. Ad un certo punto la riunione viene dichiarata aperta ed i membri di CC vengono avvertiti del fatto. A questo punto i membri che vogliono possono dichiarare di essere pronti a partecipare alla riunione. Passati 10 minuti, la riunione inizia, ed è quindi possibile arricchire il verbale aggiungendo dei punti. Quando il verbale ha tanti punti quanti l ordine del giorno la riunione viene chiusa. Domanda 3) Modellare usando i diagrammi UML che ritenete più opportuni, modificando pure il diagramma delle classi MMM, il seguente svolgimento di una discussione relativa ad un punto in una riunione dove sono presenti il Presidente P di un Comitato C, e 2 membri del medesimo (siano M1 ed M2). Il Presidente P pone alla discussione il punto D; M1 ed M2 esprimono la loro opinione. A questo punto il Presidente P propone una risoluzione da votare. Tutti e tre votano. Se i voti sono tutti favorevoli la risoluzione è approvata ed aggiunta al verbale. Altrimenti il Presidente propone un altra risoluzione chiedendo ai membri di votare nuovamente, e così via fino ad arrivare ad una approvazione. Domanda 4) Dare uno Use Case Diagram per un sistema di supporto allo svolgimento di queste riunioni on line, cioè dove indire le riunioni, e svolgerle (quindi aprire la riunione, decidere di partecipare, discutere ie votare i vari punti dell ordine del giorno, e alla fine chiuder ela riunione) viene fatto accedendo al sistema in questione.

13 Class Diagram MMM

14 ESERCIZIO per un allenamento completo con UML 2.0 Considerate la seguente descrizione di un particolare dominio: quello delle riviste scientifiche. Let us consider the publishing process of a scientific periodical. Authors submit the editors abstracts as proposals for articles. Editors check the proposals and either reject them or request for the whole article for evaluation. A request specifies the deadline by which the article must be submitted. When the article arrives the editor may reject it or accept it for evaluation. If he accepts it, he informs the chief editor. The chief editor and the editor together select the referees (at least 2) and send them an evaluation request. If the referee agrees to take the job, he receives a copy of the article. Referees should prepare their statements before a given deadline. If the statement is not ready by the deadline, the chief editor defines a new deadline. If the statement will not arrive by this, a new referee is selected. Referees may pass the job. Then a new referee must be selected. When the chief editor has got at least two evaluation statements, he makes his decision about publishing the article. He may reject it, accept it or return it for corrections. The chief editor is entitled to accept a corrected version of an article without referee evaluation. If no decision is made within 6 months from the submission of the article the author is entitled to withdraw it. When the article is withdrawn the evaluation process is stopped. The author may refuse to do the corrections. In this case the article is also considered as withdrawn. Authors are given time to finalize their accepted articles. After receiving the finalized version, the chief editor makes the final decision about publishing (which volume and number). Esercizi creativi a) Usando UML 2.0 modellate questo dominio, usando quanti e dei tipi che ritenete più adeguati diagrammi UML 2.0. Si consiglia di usare, sopratutto i nuovi activity e sequence diagram..motivate brevemente a che cosa serve ognuno dei diagrammi introdotti. b) C2) Sempre con UML 2.0 definite i requisiti per un sistema software che possa aiutare il lavoro dell editor di riviste scientifiche, del tipo descritto sopra. c) Esercizi guidati a) Date un class diagram che descriva tutte le entità presenti nel dominio e le loro mutue relazioni. b) Dare delle constraint ragionevoli sugli elementi di tale diagramma, anche se non sono esplicitamente richieste dalla descrizione (esempio, su quanti articoli ci possono essere in un volume, quanti volumi all anno,.). c) Modellate il behaviour dinamico delle varie entità introdotte in tale diagramma usando delle state machine d) Modellate alcune delle procedure descritte per mezzo dei sequence diagram, cercando di usare i vari combinatori disponibili, anche se non sono assolutamente necessari. Magari potete farli in due varianti: con e senza l uso dei combinatori. e) Modellare alcune delle procedure descritte per mezzo degli activity diagram, cercando di usare tutti i vari costrutti disponibili, anche se non sono assolutamente necessari. Potreste anche definire delle varianti per motivare l uso di tutti i costrutti. f) Cercate di usare qualcuno dei costrutti strutturali per descrivere qualche aspetto di questo dominio. g) Dare un use case diagram per i requisiti per un sistema software che possa aiutare il lavoro dell editor di riviste scientifiche, del tipo descritto sopra. h) Modellare gli scenari degli use case introdotti sopra per mezzo di sequence diagram. i) Modellare gli use case introdotti sopra per mezzo di activity diagram.