06 03 12

Pagina 1

Dipartimento di Elettronica e Informazione Politecnico di Milano prof. Elisabetta Di Nitto and Raffaela Mirandola 20133 Milano (Italia) Piazza Leonardo da Vinci, 32 Tel. (39) 02-2399.3400 Fax (39) 02-2399.3411 Software Engineering II 6 March 2012 Last Name First Name Id number (Matricola) Note 1. The exam is not valid if you don’t fill in the above data. 2. Write your answers on these pages. Extra sheets will be ignored. You may use a pencil. 3. The use of any electronic apparatus (computer, cell phone, camera, etc.) is strictly forbidden. 4. You cannot keep a copy of the exam when you leave the room. 2 Question 1 Alloy (7 points) The ministry of scientific research publishes a call for project proposals. The call is opened to aggregations of at least 4 institutions between universities and public research centres. Each aggregation has to be coordinated by a university. To answer to the call, each aggregation has to prepare a project proposal that is divided in two parts called A and B. The A part is the one compiled by the project coordinator and provides an overview of the entire project. One distinct part B is compiled by each of the participating institutions including the coordinator. This contains information about the specific part of work the institution is going to perform within the project. In order to submit the project proposal all parts have to be completed. In particular, it is required that each institution formally closes its part B before the coordinator can close part A. Closure of part A corresponds to the project submission. 1. Define the Alloy model that describes the above situation. Make sure that you include all needed facts. 2. Use a predicate to model the submission of the project. Solution sig CallForProject {} abstract sig Institution {}…