Ingenieríía de Requ uisitos Ejercicios de Diagramas de Secue encia y Op peracioness de Sistem ma: Vuelos s diciembre 2012 Enunciado Teniendo en cuenta a el siguie ente mode elo estátic co, corresp pondiente a los req quisitos de e información de un sistema de re eservas de v vuelos: En el docu umento de e requisitos, encontrramos los siguientes s extractoss relativos s a los requisitos funcionales del sisttema: diagrama de d casos de d uso: 1) El d P Página 1 de 8 Ingenieríía de Requ uisitos Ejercicios de Diagramas de Secue encia y Op peracioness de Sistem ma: Vuelos s diciembre 2012 2) El c caso de us so “Reserv var Vuelos”” Se pide: presar con OCL el có ómputo de el número de plazas libres, qu e se corre espondería a 1) Exp a “l “la capacida dad de la aeronave ae q que opera el e vuelo menos m el nú úmero de titulares t que e tiene cad da reserva a de dicho v vuelo”. 2) Proponer un prototipo de interfazz de usuarrio para dicho caso d de uso, su uponiendo a aplicació ón móvil. una 3) Obttener el diagrama se ecuencial correspon ndiente. 4) Deffinir media ante OCL las operac iones de sistema. s 5) ¿Ha ay algún conflicto? ¿Qué ¿ aspe ctos pueden mejora ar? P Página 2 de 8