Una tesisde la Universidad de La Rioja analiza la fiabilidad de los programas para servicios web

Actualizado 20/04/2009 19:16:46 CET

LOGROÑO, 20 Abr. (EUROPA PRESS) -

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.

Esta web utiliza cookies propias y de terceros para analizar su navegación y ofrecerle un servicio más personalizado y publicidad acorde a sus intereses. Continuar navegando implica la aceptación de nuestra política de cookies -
Uso de cookies