01 03 13

Pagina 1

Dipartimento di Elettronica e Informazione Politecnico di Milano prof. Raffaela Mirandola e prof. Luca Mottola 20133 Milano (Italia) Piazza Leonardo da Vinci, 32 Tel. (39) 02-2399.3400 Fax (39) 02-2399.3411 Ingegneria del Software II 3 Marzo 2013 Cognome Nome Matricola Note 1. La mancanza dei dati di cui sopra comporta l'annullamento dell’esame 2. Restituire solo queste pagine. Verranno ignorati fogli aggiuntivi. Si puo' scrivere con la matita. 3. È proibito l'uso di dispositivi elettronici (computers, calcolatrici, cellulari, macchine fotografiche). 4. Non si puo' tenere una copia del testo dell'esame quando si lascia l'aula. 2 Domanda 1 Alloy (7 punti) Una lista di cose da fare è composta da attività. Un’attività può avere una precondizione, che è un insieme di attività che devono essere completate prima che la prima attività possa essere eseguita. Un’attività ha associata una competenza che deve essere posseduta dall’agente che può eseguire l’attività. Gli agenti sono entità che possono eseguire attività e sono caratterizzati da un insieme di competenze possedute. Un’attività in una lista di cose da fare può essere eseguita se soddisfa il predicato PuòEssereEseguita, che è vero se: la precondizione dell’attività è soddisfatta e un’agente libero in possesso della competenza richiesta può eseguire l’attività. 1. Si specifichi in Alloy questa descrizione informale: le signature necessarie, i fatti ed il predicato PuòEssereEseguita. 2. Si spieghi il significato di ciascuna signature, attributo e fatto. 3 4 Domanda 2 Analisi dei requisiti (5 punti) Un robot può ruotare completamente sul suo asse e si può muovere in avanti a una velocità compresa tra 0 e 3 km all’ora. Inoltre, esso può accorgersi della presenza di ostacoli a 3 metri dalla sua parte frontale e può fermarsi…