Tesis doctoral de Eloy Javier Mata Sotés
El objetivo de la tesis ha sido la aplicación de métodos formales en ingeniería del software con el fin de incrementar la fiabilidad de sistemas de software reales. En particular, se ha analizado un servicio de coordinación web que forma parte de varias aplicaciones distribuidas, actualmente en explotación, en el contexto de los servicios basados en la localización. El servicio de coordinación está construido sobre /javaspaces/ (un implementación del modelo de coordinación linda) y proporciona servicios para comunicar y sincronizar aplicaciones heterogéneas distribuidas en internet. Partiendo del sistema real, se ha obtenido un modelo formal con el fin de estudiar sus propiedades y se ha demostrado que el proceso de correspondencia implementado en el servicio respeta la semántica de linda, además de posibilitar otros emparejamientos más complejos. Después se ha extendido el modelo linda definiendo nuevas operaciones que involucran a varias tuplas y que lo dotan de capacidades transaccionales. Finalmente se ha realizado un análisis «semi-formal» de un algoritmo basado en rete para lo operación de lectura múltiple.
Datos académicos de la tesis doctoral «Coordinación de servicios web: de las aplicaciones a los modelos formales«
- Título de la tesis: Coordinación de servicios web: de las aplicaciones a los modelos formales
- Autor: Eloy Javier Mata Sotés
- Universidad: Rioja
- Fecha de lectura de la tesis: 13/03/2009
Dirección y tribunal
- Director de la tesis
- Julio Jesús Rubio García
- Tribunal
- Presidente del tribunal: eladio Domínguez murillo
- José Antonio Alonso jimenez (vocal)
- José Luis Freire nistal (vocal)
- pedro Rafael Muro medrano (vocal)