Description and verification of multimedia systems and web services with time constraints

Resumen

Esta tesis aborda el análisis de diversos sistemas de tiempo real utilizando para ello métodos formales, en concreto, usamos autómatas temporizados para dicho propósito, En primer lugar, se estudia la paralelización del algoritmo de compresión de vídeo MPEG-2, realizando una comparativa entre los resultados obtenidos con las versiones secuencial y paralela, y analizando así, la potencial mejora obtenida con la versión paralela. Por otro lado, en los últimos tiempos Internet ha experimentado un gran cambio, apareciendo nuevos lenguajes y nuevas tecnologías, como XML, el desarrollo basado en componentes, los servicios web, etc. Esto ha derivado en el surgimiento de un nuevo campo en Ingeniería del Software, llamado Ingeniería Web. En esta tesis nos centramos en el estudio de los servicios web, los cuales son uno de los elementos más importantes en el área de los Sistemas de Información Web (WIS), presentamos una metodología para el modelado y verificación de servicios web, así como la herramienta que la implementa. Los servicios web cubren un gran conjunto de sistemas, y se pueden considerar un paso evolutivo en el diseño de aplicaciones distribuidas. La verificación de propiedades en estos sistemas puede ser de gran importancia, ya que algunos negocios dependen de ellos, así como el análisis para dar posibles soluciones a los problemas encontrados. En esta tesis utilizamos métodos formales, que permiten dar una descripción de los sistemas a desarrollar a cualquier nivel de detalle; esta descripción pude ser usada para verificar que los requerimientos de los sistemas en desarrollo han sido especificados de una manera completa y adecuada. En este caso, usamos "model checking" para llevar a cabo el análisis de estos sistemas. Por otro lado, la mayoría de los lenguajes utilizados para implementar estos servicios web están basados en XML, que puede ser muy complicado de utilizar para desarrolladores que no sean expertos en dicho lenguaje.