SLAM: un sistema para la gestión de los acuerdos de estudios en los planes de movilidad universitarios

Aplicación web que permite gestionar, elaborar y validar los acuerdos de estudios de los estudiantes que participan en los programas de movilidad de la Universidad de Zaragoza y todos los aspectos involucrados

AraW2ord : una herramienta basada en tecnologías Web para la escritura simultánea de texto y pictogramas

Los sistemas alternativos de comunicación surgen como complemento al lenguaje oral para ayudar a personas que padecen trastornos severos en el habla, bien de forma directa o bien de forma indirecta (lesiones o problemas neuronales, cognitivos, autismo, etc.). Estos sistemas facilitan la expresión sin utilizar la palabra, mediante la utilización de otros recursos. En este contexto surge la herramienta AraWord, que permite la escritura simultánea de texto y pictogramas. Los pictogramas representan, de forma clara y sencilla, los conceptos más habituales para la comunicación cotidiana. AraWord es una herramienta open-source desarrollada por profesores y alumnos del Departamento de Informática de la Universidad de Zaragoza, y que en la actualidad cuenta con una amplia comunidad de usuarios a nivel internacional. AraWord se ofrece como un software de escritorio y en la actualidad no dispone de una interfaz orientada a servicios que pueda facilitar la integración de sus capacidades en entornos Web o dispositivos móviles. En este proyecto se ha realizado el desarrollo de una versión Web de AraWord que expone todas las funcionalidades de la herramienta mediante servicios Web. La finalidad ha sido doble: por una parte, los servicios publicados pueden reutilizarse para desarrollar aplicaciones de propósito específico tanto para ordenadores de escritorio como para dispositivos móviles; por otra parte, se ha desarrollado una aplicación Web como caso de aplicación de estos servicios, llamada AraW2ord, accesible mediante cualquier dispositivo a través de un navegador

Aplicación de gestión y venta de entradas del Memorial Pepe Carroll

El memorial Pepe Carroll es un congreso de magia que se realiza anualmente en la ciudad de Zaragoza. Se trata de un evento gestionado por la Asociación Mágica Aragonesa (AMA) que cuenta con multitud de actividades tanto para público mago como para público profano. Lo complejo de su gestión, especialmente en lo relativo a la venta de tickets con las diferentes posibilidades de flexibilizar el ticket en diferentes momentos del tiempo, ha generado la necesidad de diseñar y desarrollar en este TFG una aplicación Web que facilite tanto la comunicación con los asistentes como el propio proceso de venta y gestión de entradas al evento

WS-PTRLinda : un sistema de coordinación temporizado y persistente basado en tecnologías de servicios web

Hoy en día los procesos Web son actores habituales de internet que siguen aumentando en número y complejidad. La evolución de las comunicaciones en cuanto a rapidez y seguridad ha permitido el nacimiento de una nube donde herramientas, servicios y espacio se ofrecen virtualizados. Los procesos que antes funcionaban localmente ahora se enfrentan a un mundo online donde deben comunicarse y coordinarse entre ellos, ahora son procesos Web. Los procesos Web involucran múltiples usuarios que resultan complejos de coordinar y comunicar, para ello surgen middlewares de coordinación. Uno de los elementos de este tipo de middlewares es el bróker de mensajes, que debe coordinar a los servicios Web que lo usan para interaccionar. Actúa como un repositorio de mensajes y datos al cual todos los servicios implicados pueden acceder. En 2006 el Grupo de Integración de Sistemas Distribuidos y Heterogéneos (GIDHE) de la Universidad de Zaragoza hizo una propuesta de broker de mensajes, RLinda, basado en Linda y diseñado e implementado mediante tecnología de Redes de Petri de alto nivel. La plataforma actual tiene ciertas limitaciones que dificultan su integración en entornos donde las tecnologías y estándares de servicios Web son utilizados. WS-PTRLinda se construye sobre el núcleo de RLinda, implementando las principales funcionalidades con la misma tecnología que el resto del sistema: las redes por Referencia, una subclase de las Object Petri Nets. El nuevo sistema se compone de dos nuevas capas, una de persistencia y otra de temporización. La capa de persistencia aporta un sistema de almacenamiento persistente de los datos permitiendo al sistema ser aplicado en entornos con características de alta disponibilidad. Esta capa se basa en el empleo de la herramienta Hibernate para comunicase con una base de datos MySQL, ofreciendo dos conceptos de persistencia que proporcionan mayor flexibilidad para enfrentarse a un escenario concreto. La capa de temporización aplica el concepto el tiempo a tanto a las operaciones como a los datos. Esta capa descansa sobre una serie de modificaciones en la red de Petri que modela el sistema y algunos objetos que funcionan en background ocupados de gestionar el tiempo que una operación o dato es válida/o. El concepto de tiempo añade nuevas posibilidades a las anteriores operaciones del sistema y lo habilita para desplegarse en ciertos campos de aplicación. El proyecto añade además una interfaz accesible mediante estándares de servicios web (SOAP y REST) que conecta directamente con el núcleo de la aplicación, evitando el cuello de botella que la tecnología RMI ocasionaba en el RLinda original y validación de datos en base a esquemas XMLSchema. Finalmente se desarrolla una aplicación de descarga P2P como caso real de aplicación y se analizan las prestaciones del sistema desarrollado en un clúster, analizando los resultados con respecto a los obtenidos inicialmente para RLinda

Quizer: una herramienta de participación en el aula

Este trabajo se centra en el desarrollo de una aplicación (que recibe el nombre de Quizer) utilizando un conjunto de tecnologías abiertas y bien aceptadas en el mercado.Dicha aplicación estará enfocada a la resolución de cuestionarios, pero dando una vuelta de tuerca a las encuestas tradicionales como podrían ser por ejemplo las realizadas en papel o vía telefónica. Dicha vuelta de tuerca se centra sobre todo en el desarrollo de una herramienta que sea lo más interactiva (y amena de utilizar) posible, sobre todo si tenemos en cuenta que uno de los motivos principales por los que las personas se echan atrás a la hora de responder encuestas es por lo tedioso que puede llegar a ser.Aparte de la funcionalidad de resolución de cuestionarios, la importancia de Quizer reside en las estadísticas de uso, tanto para el lado del profesor como para el alumno, porque la información de respuestas no serviría de nada si se almacena en “crudo”, sino que lo realmente útil es presentar la información con gráficos y, en general, de forma que los usuarios puedan ver de forma lo más visual posible la información que es de su interés.Los objetivos perseguidos, además del desarrollo como tal, son un análisis previo de las herramientas que ya están siendo empleadas para ver en qué se puede mejorar a dichas aplicaciones, la extensión de un proyecto base con la meta de añadir valor a un proyecto ya existente y, sobre todo, la realización de un sistema web que se adapte a dispositivos móviles, que son unas de las piezas de tecnología que más se emplean debido a la versatilidad y movilidad que proporcionan.<br /

"Model checking" paramétrico de "workflows" científicos

La computación científica ha ganado un creciente interés en los últimos años en áreas afines a las ciencias de la vida. Los workflows científicos son un tipo especial de workflow que se utilizan en escenarios de grandes dimensiones y gran complejidad computacional como modelos climáticos, estructuras biológicas, química, cirugía o simulación de desastres, por ejemplo, y cuya ejecución es un proceso que consume una gran cantidad de tiempo y recursos. Uno de los objetivos principales de la computación científica ha sido la mejora progresiva a través de la introducción de nuevos paradigmas y tecnologías para poder abordar desafíos cada vez más complejos, siendo uno de estos paradigmas la adición de aspectos semánticos a los workflows. Disponer de una serie de herramientas y técnicas que posibiliten el análisis del comportamiento del workflow antes de su ejecución resulta de gran interés. El objetivo de ese análisis es poder garantizar un comportamiento adecuado y correcto, así como verificar la correcta gestión y utilización de los recursos involucrados. El análisis debería permitir la predicción de la calidad de los resultados, así como identificar aquellos parámetros que son necesarios para obtener los resultados esperados. Desde el punto de vista del usuario, la incorporación de aspectos semánticos permite a los científicos realizar una navegación, interrogación, integración y composición de conjuntos de datos y servicios mucho más eficiente. Sin embargo, el análisis del estado del arte en el área de la semántica aplicada a los modelos en la computación científica muestra carencias significativas en el grado de madurez y aplicación de este enfoque, así como la carencia de técnicas y herramientas para su aplicación. Es necesario, por tanto, proponer y desarrollar nuevas técnicas de modelado y análisis que puedan manejar dichos aspectos semánticos. En este Trabajo Fin de Máster se aborda el análisis, diseño y desarrollo de un método y una herramienta de model checking basados en la introducción de aspectos y anotaciones semánticas tanto en los modelos como en las propiedades que deben verificarse. Como resultado, la herramienta COMBAS (COmprobador de Modelos BAsado en Semántica) proporciona un entorno de integración para la verificación de este tipo de modelos y la navegación por las estructuras resultantes del proceso. Para la descripción de los modelos de workflows científicos se ha utilizado una clase de Redes de Petri de alto nivel anotadas con información semántica en RDF, las U-RDF-PN. A lo largo de este trabajo se ha abordado la adición de las técnicas, metodologías y modelos necesarios para extender el framework con análisis paramétrico, que consiste en un análisis mucho más potente y expresivo mediante la utilización de parámetros cuyo valor es indeterminado al inicio del proceso, de forma que es posible estudiar el comportamiento del workflow respecto a los posibles valores de dichos parámetros. Para restringir los valores de los parámetros en cada uno de los caminos de ejecución del workflow se utiliza el concepto de guardas, expresadas en lógica proposicional, en el modelo del workflow. Para ello, es necesario estudiar primero qué herramientas permiten tratar dichas proposiciones, por lo que se analizan los Satisfiability Modulo Theories (SMTs), el estado actual de los estándares relacionados, la flexibilidad de los solvers disponibles y las herramientas que soporten la semántica que se va a aplicar. Finalmente, la viabilidad y usabilidad del enfoque propuesto se ha demostrado mediante su aplicación al análisis del workflow EBI InterProScan, verificando propiedades de interés para el científico sin necesidad de implementar, desplegar ni ejecutar el workflow

Formalización y desarollo de un workflow de inferencia filogenética basado en SaaS

Este trabajo aborda la formalización y desarrollo de un sistema de flujo de trabajo de inferencia filogenética empleando el paradigma de Software como Servicio (SaaS). Dicho sistema se ha configurado y desplegado sobre un entorno distribuido. En primer lugar se ha llevado a cabo un estudio sobre entornos similares planteados en la literatura de divulgación científica. Este estudio contiene una descripción de la situación reciente de sistemas similares al planteado que se están desarrollando en la actualidad. Finalizado el estudio previo, se ha llevado a cabo el análisis y posterior adaptación de un sistema de inferencia filogenética existente. El análisis previo recoge la composición y el funcionamiento del flujo de trabajo con el objetivo de conocer el tratamiento de la entrada y la salida del sistema. No obstante, no se plantea la necesidad de conocer los detalles del procesamiento que implementa cada componente en concreto. A continuación, se ha realizado un análisis para identificar y definir los usuarios finales, además de documentar y modelar los requisitos que debía satisfacer el sistema. Este análisis se ha realizado empleando técnicas de Ingeniería del Software y en especial aquellas relacionadas con la Ingeniería de Requisitos. Una vez documentados y modelados los requisitos funcionales y no funcionales del sistema se ha realizado el diseño de la arquitectura interna de cada uno de los componentes que constituyen el sistema. Finalizada la fase de diseño, se ha implementado cada componente individual del sistema definiendo una interfaz de entrada que permite exponer sus funcionalidades como un servicio Web. Cada componente interactúa con el sistema previo como una caja negra, ejecutando los procesos ordenadamente y capturando la salida. Seguidamente, se ha desarrollado un sistema que implementa un flujo de trabajo completo para la inferencia filogenética de un árbol evolutivo sobre un conjunto de secuencias de ADN mitocondrial humano y se ha expuesto dicho sistema como un servicio Web independiente, integrando todos los componentes previos. Este sistema contiene la lógica de negocio relacionada con la forma de constituir el flujo de trabajo completo para distintos tipos de secuencias biológicas. Ambos sistemas han sido desplegados en la nube como alternativa para evaluar posibles beneficios en cuanto a escalabilidad, disposición dinámica de recursos, alta disponibilidad de los servicios y reducción de costes económicos. También se ha empleado un sistema de almacenamiento de información externo en la nube para almacenar tanto las soluciones parciales como los resultados finales durante un periodo de tiempo, permitiendo al usuario el acceso a dichos resultados a través de Internet. Por último, se ha realizado un sistema de toma de decisiones mediante ficheros de log. Así se ha planteado un modelo de mejora sencillo basado en el entrenamiento de árboles de decisión

Análisis y optimización del coste de utilizar recursos de computación en la nube de Amazon mediante instancias puntuales

Este TFG aborda el uso de las instancias puntuales (spot instances)para resolver problemas en la nube de Amazon. Para este cometido, se suelen usar instancias bajo demanda que tienen un precio fijo. Como alternativa, las instancias puntuales usan un modelo de coste en el que el precio varía en tiempo real en función de la demanda. Los usuarios pujan por los recursos y se pueden perder en ejecución si su precio sobrepasa la puja realizada. De esta forma, se pretende utilizar instancias puntuales para reducir el coste de usar la nube de Amazon

Framework para el despliegue automático de workflows científicos en entornos Grid

La heterogeneidad de las infraestructuras de computación existentes para el despliegue y ejecución de workflows científicos, junto con la complejidad de los workflows utilizados en Grid, producen que el proceso de scheduling sea una tarea muy complicada. Un enfoque que ayuda a resolver esta tarea es la utilización de un broker de recursos, pero esto provoca que las infraestructuras Grid asociadas estén fuertemente acopladas con el middleware subyacente. Por tanto, la integración de diferentes middlewares representa un desafío que sigue abierto. En este proyecto se presenta un enfoque flexible para el despliegue de workflows científicos en entornos Grid heterogéneos. La propuesta realizada se fundamenta en la utilización de un sistema de coordinación basado en el modelo de Linda y un conjunto de mediadores que abstraen al sistemas de los detalles de los diferentes middlewares utilizados. Como resultado, la infraestructura permite ejecutar workflows científicos en diferentes entornos Grid de forma completamente transparente para el usuario. Además, la infraestructura desarrollada proporciona mecanismos que permiten escalar y extender la misma fácilmente, haciendo que el sistema sea adecuado para una gran variedad de escenarios. Asimismo, el framework resuelve algunos de los problemas actuales en lo referente al modelado de workflows científicos. Los lenguajes de modelado utilizados en la actualidad son muy dependientes del sistema de gestión de workflows utilizado, dificultando la utilización del mismo en otros entornos y la compartición de los experimentos. Como solución, la infraestructura propuesta permite integrar diferentes entornos de modelado utilizando un lenguaje independiente del entorno de ejecución para describir las tareas que constituyen un workflow

Sistema web para la integración de estaciones meteorológicas

En la actualidad existen multitud de fabricantes de estaciones meteorológicas. Muchas de ellas tienen la capacidad de conectarse a Internet, de forma que los datos meteorológicos tomados por las mismas quedan accesibles a través de la red de redes. Sin embargo, las plataformas a través de las que estos datos meteorológicos se publican ofrecen unas funcionalidades bastante pobres: cada fabricante dispone de su propia plataforma que solo muestra datos de las estaciones de dicho fabricante, no ofrecen información meteorológica histórica (en muchas ocasiones solo aparece la información meteorológica actual), no ofrecen un API (de forma que los datos meteorológicos no son fácilmente compartibles con otras plataformas terceras), etc. La plataforma desarrollada en este TFG, denominada ownmeteo.com, viene a suplir las carencias descritas en el párrafo anterior. Es decir, ownmeteo.com busca: ser una plataforma en la cual se puedan registrar estaciones meteorológicas de diferentes fabricantes; ser una plataforma donde los datos de las estaciones meteorológicas registradas son monitorizados y almacenados periódicamente, de forma que puedan ser consultados en el futuro (es decir, la plataforma ofrece datos meteorológicos históricos) y, finalmente, ser una plataforma donde los datos meteorológicos tomados por las estaciones meteorológicas puedan ser compartidos con aplicaciones terceras a través de un API. Para lograr estos objetivos se ha desarrollado una plataforma utilizando principalmente el conjunto de tecnologías o stack MEAN (MongoDB, Express, AngularJS y Node.js). Los principales componentes de la plataforma son: la base de datos (donde se ha utilizado MongoDB gracias a la flexibilidad que ofrece), el API REST (servidor implementado con Node.js y Express cuyo API es utilizado para la gestión de la plataforma: desde la creación de usuarios hasta el registro y compartición de los datos meteorológicos), la aplicación web (implementada principalmente con AngularJS, se encarga de ofrecer una interfaz amigable a los usuarios de la plataforma), el servidor de vistas (implementado con Node.js y Express se encarga de servir la aplicación web) y el Lector de Estaciones Meteorológicas (encargado de leer periódicamente los datos meteorológicos de las estaciones meteorológicas registradas en la plataforma). La plataforma ha pasado una fase de validación en la cual se ha utilizado el framework Protractor, encargado de ejecutar de forma automática el juego de pruebas diseñado. Tras la fase de validación, la plataforma fue puesta en producción, de forma que se encuentra accesible a través de la siguiente URL: https://www.ownmeteo.com