Descripción del proyecto
EN ESTOS ULTIMOS AÑOS, NUESTRA VIDA COTIDIANA HA SUFRIDO UN GRAN CAMBIO DEBIDO A LOS SERVICIOS WEB; MUESTRA DE ELLO ES LA PARTICIPACION MASIVA DE LOS USUARIOS EN LAS REDES SOCIALES Y EL USO EXTENDIDO DE TELEFONOS INTELIGENTES (SMARTPHONES). SIN EMBARGO, Y PESE A LA POTENCIAL INTERCONECTIVIDAD DE ESTOS SERVICIOS Y SU ACCESO UBICUO, NO SE HAN LLEGADO A EXPLOTAR CONVENIENTEMENTE LAS SINERGIAS ENTRE ELLOS DEBIDO A DIVERSAS RAZONES COMO LA FRAGMENTACION DEL MERCADO, LAS INCOMPATIBILIDADES EXISTENTES ENTRE DIFERENTES SERVICIOS Y LOS ERRORES INTRINSECOS A CUALQUIER DESARROLLO SOFTWARE DE CIERTA COMPLEJIDAD. EL OBJETIVO GENERAL DE LA PRESENTE PROPUESTA ES LA CREACION DE UNA PLATAFORMA QUE PERMITA EL DESARROLLO OPTIMIZADO Y CERTIFICADO DE ORQUESTADORES DE SERVICIOS EN LA NUBE (CLOUD), ACCEDIDOS MEDIANTE DISPOSITIVOS MOVILES, DE ACUERDO A LOS RECURSOS FISICOS DEL TERMINAL (MEMORIA, RED, ENERGIA, ETC.), Y A LOS SERVICIOS WEB ACCEDIDOS (APLICACIONES O REDES SOCIALES). LA PLATAFORMA PROPORCIONARA UNA FUNCIONALIDAD QUE EXTIENDE A LOS ENTORNOS DE DESARROLLO DE APLICACIONES SOFTWARE TRADICIONALES, TANTO POR EL VALOR AÑADIDO DE LOS SERVICIOS OFERTADOS EN LA NUBE, COMO POR LA GENERACION OPTIMA Y FIABLE DE DICHOS SERVICIOS A PARTIR DE MECANISMOS FORMALES. LOS SERVICIOS SERAN ACCESIBLES A TRAVES DE UNA INTERFAZ INTUITIVA BASADA EN LOS MODELOS ABSTRAIDOS DE LOS SERVICIOS. PARA ALCANZAR TAL OBJETIVO, LA PLATAFORMA SE CONSTRUIRA EN BASE A TRES MODULOS O CAPAS. DADO QUE LA META PRINCIPAL ES OPTIMIZAR LA MANERA DE OFRECER LOS MEJORES RECURSOS DE LA NUBE AL MENOR COSTE, EN UNA PRIMERA CAPA SE REALIZARA UN ANALISIS DE LOS PARAMETROS MONITORIZADOS (DEL TERMINAL MOVIL, ACCESO A LA NUBE A TRAVES DEL OPERADOR Y FUNCIONALIDADES EN LA EJECUCION EN LA NUBE) A FIN DE OPTIMIZAR EL RENDIMIENTO Y LA CALIDAD DEL SERVICIO EN GENERAL. ESTE ANALISIS PERMITIRA, EN UNA SEGUNDA CAPA, LA SINTESIS DE ORQUESTADORES DINAMICOS QUE PODRAN VARIAR EN TIEMPO DE EJECUCION EN FUNCION DE LOS CAMBIOS DEL CONTEXTO (TANTO DEL DISPOSITIVO MOVIL COMO DEL USUARIO Y DEL ENTORNO), FACILITANDO EL DESCUBRIMIENTO, LA COMPOSICION (ENTENDIDA YA SEA COMO ORQUESTACION O COMO COREOGRAFIA), LA MONITORIZACION, LA ADAPTACION Y LA RECONFIGURACION DE LOS SERVICIOS SELECCIONADOS SEGUN LA OPTIMIZACION PREVIA. FINALMENTE, EN UNA TERCERA CAPA DE LA PLATAFORMA, Y EN PARALELO DURANTE LA SINTESIS DE ORQUESTADORES, SE VERIFICARAN PROPIEDADES FUNCIONALES Y NO FUNCIONALES DE DICHOS ORQUESTADORES MEDIANTE DIVERSAS TECNICAS FORMALES (CONSIDERANDO SISTEMAS DISCRETOS, HIBRIDOS O ESTOCASTICOS), SOPORTANDO NO SOLO UNA VERIFICACION ESTATICA, SINO TAMBIEN UNA VERIFICACION EN TIEMPO REAL.