13 07 18

Pagina 1

Dipartimento di Elettronica, Informazione e Bioingegneria Politecnico di Milano Prof. Elisabetta Di Nitto and Matteo Rossi 20133 Milano (Italia) Piazza Leonardo da Vinci, 32 Tel. (39) 02-­2399.3400 Fax (39) 02-­2399.3411 Software Engineering II July 13th, 2018 Last Name First Name Id number (Matricola) Note 1. The exam is not valid if you do not fill in the above data. 2. Write your answers on these pages. Extra sheets will be ignored. You may use a pencil. 3. Incomprehensible hand-writing is equivalent to not providing an answer. 4. The use of any electronic apparatus (computer, cell phone, camera, etc.) is strictly forbidden. 5. You cannot keep a copy of the exam when you leave the room. 6. The exam is composed of three exercises. Read carefully all points in the text! 7. Total available time: 2h Scores of each question: Question 1 (MAX 8) ________ Question 2 (MAX 6) ________ Question 3 (MAX 5) ________ 2 Question 1 Alloy (8 points) Consider the following UML component diagram. This diagram describes a software system that acquires and elaborates information from a number of different sources by polling them periodically. The DataCollector component is exploiting the interfaces offered by some data sources to acquire data and the interface of the MessageQueue to pass collected data to the other components. The MessageQueue exploits the interface offered by the DataAnalyzer to pass the data to this component. Write in Alloy the signatures that model a DataSource, a DataCollector, a MessageQueue and a DataAnalyzer. Make sure that you represent in the model the connections between components that are highlighted in the UML component diagram. Assume that we decide to replicate the DataCollector component. Model in Alloy the following possible configurations of the…