Una tesis analiza la fiabilidad de los programas para servicios en internet

Los programas empleados en los servicios web basados en la localización son robustos y de confianza, según concluye la tesis de Eloy Javier Mata Sotés ‘Coordinación de servicios web: de las aplicaciones a los modelos formales’, con la que obtuvo la calificación de sobresaliente ‘cum laude’.

Eloy Mata es profesor del Área de Lenguajes y Sistemas Informáticos del Departamento de Matemáticas y Computación de la Universidad de La Rioja. En su tesis ha estudiado la fiabilidad de sistemas que se basan en la localización mediante métodos formales, es decir, técnicas matemáticas que se emplean para analizar el comportamiento de los programas de software.

El objetivo era comprobar si los procesos que realizan los ordenadores son correctos y su comportamiento el esperado. Los sistemas estudiados dependen de la localización geográfica de los agentes (que puede obtenerse a través de instrumentos GPS, por ejemplo). Coordinar a estos agentes a través de servicios web es una tarea muy útil en numerosos ámbitos industriales, como el seguimiento de máquinas quitanieves o la ubicación de flotas de camiones, entre otros.

Además de asegurar el buen funcionamiento de los programas empleados, la tesis de Mata ha permitido enriquecerlos y mejorarlos para obtener herramientas de coordinación más expresivas y que reflejan de forma más ajustada las necesidades de los servicios web basados en la localización.