Descripción del proyecto
LA PRODUCCION DE SOFTWARE DE CALIDAD, EN EL TIEMPO ADECUADO Y CON UNOS COSTES RAZONABLES SIGUE SIENDO UN PROBLEMA ABIERTO DE LA INGENIERIA DEL SOFTWARE QUE HA SIDO ABORDADO DESDE DISTINTAS APROXIMACIONES, UNA APROXIMACION INDUSTRIAL AL PROBLEMA CONSISTE EN USAR LINEAS DE PRODUCTO SOFTWARE (LPS), SIN EMBARGO, LOS TRABAJOS ACTUALES SOBRE LPS SE CENTRAN NORMALMENTE EN UNA UNICA VISTA (EL MODELO DE CARACTERISTICAS DEL SISTEMA) QUE POR SI SOLO NO DEFINE LA EXTENSION DE UNA LINEA DE PRODUCTOS (AUN EN EL CASO DE ENRIQUECERLO CON CARACTERISTICAS NO FUNCIONALES¿), ADEMAS, ESTA APROXIMACION SUPONE UN NUMERO PEQUEÑO DE VARIANTES, PERFECTAMENTE DEFINIDAS Y PLASMADAS COMO INSTANCIAS DE UN MODELO DE CARACTERISTICAS, SIN EMBARGO, LA REALIDAD NO SIEMPRE ES ESTA, LAS VARIANTES VAN MAS ALLA DE GRANULOS DE FUNCIONALIDAD A AÑADIR/QUITAR MONOTONICAMENTE DE LA ARQUITECTURA BASE DE UNA LINEA DE PRODUCTOS,EL OBJETIVO DE ESTE PROYECTO ES DEFINIR E IMPLEMENTAR UN MARCO TECNOLOGICO PARA EL DESARROLLO DE LINEAS DE PRODUCTO SOFTWARE DE ALTA CALIDAD, DICHO MARCO SE BASARA EN LA EXISTENCIA DE VARIOS MODELOS O VISTAS DEL SISTEMA (DE FUNCIONALIDAD, DE CARACTERISTICAS, DE CALIDAD¿) CON RELACIONES ENTRE ELLAS, ESTO NOS LLEVA A LA PARAMETRIZACION DEL PROCESO DE PRODUCCION MEDIANTE UN MULTIMODELO QUE SIENDO CAPAZ DE CAPTAR LAS DIFERENTES VISTAS DEL PRODUCTO Y LAS RELACIONES ENTRE ELLAS NOS LLEVA A PLANTEARNOS LOS PROBLEMAS DE CONSISTENCIA INTRA (POR EJ, CONSISTENCIA DEL MODELO DE CARACTERISTICAS) E INTER-MODELO (POR EJ, RELACION MODELO DE CARACTERISTICAS-MODELO DE CALIDAD) EN UN CONTEXTO MAS AMPLIO Y REALISTA, EN EL PROYECTO, SE USARA UNA LOGICA MAS EXPRESIVA QUE LA PROPOSICIONAL (MEL - MEMBERSHIP EQUATIONAL LOGIC) Y SU OPERACIONALIZACION EN MOMENT2, COMO BACKEND QUE SOPORTE LOS PROCESOS DE PRODUCCION Y EDICION DEL MULTIMODELO Y LA PRODUCCION DE SOFTWARE (INSTANCIAS DE LA LPS), EL IMPLEMENTAR UN MARCO TECNOLOGICO OPERATIVO (UTILIZANDO NUESTRA HERRAMIENTA MOMENT2 COMO MOTOR DE ANIMACION DEL PLAN DE PRODUCCION MEDIANTE TECNICAS DE TRANSFORMACION DE MODELOS), EL VALIDAR EMPIRICAMENTE LOS MULTIMODELOS UTILIZADOS MEDIANTE EXPERIMENTOS CONTROLADOS QUE PERMITAN UN FEEDBACK SOBRE LOS MODELOS Y METAMODELOS USADOS (QUE HIPOTETICAMENTE SON LOS ADECUADOS) Y SU POSIBLE EDICION (EVOLUCION) DEBIDO A RESULTADOS INADECUADOS, PERMITIRA IMPLEMENTAR UN PROCESO DE PRODUCCION DE SOFTWARE QUE SATISFACE SIMULTANEAMENTE LOS REQUISITOS DE FUNCIONALIDAD, CALIDAD, ETC,, REQUERIDOS, LA DEFINICION DE UN MARCO TECNOLOGICO QUE COMBINE ADECUADAMENTE LAS TECNOLOGIAS MENCIONADAS REPRESENTA UN AVANCE EN EL TEMA CRITICO DE LA PRODUCCION DE SOFTWARE DE CALIDAD, LA APLICACION DE ESTE MARCO TECNOLOGICO AL DESARROLLO DE SOFTWARE EN LOS DOMINIOS DE GENERACION DE JUEGOS Y PORTALES WEB EN ARQUITECTURAS ORIENTADAS A SERVICIOS (SOA) PERMITIRA VALIDAR LA BONDAD DE LA APROXIMACION PROPUESTA, LINEAS DE PRODUCTO SOFTWARE\MULTIMODELO\ASEGURAMIENTO DE LA CALIDAD