Objeto de conferencia
Métodos relacionales para la especificación, verificación, y composición de servicios semánticos en la web
Registro en:
Autor
Gonzalía, Carlos José
Institución
Resumen
El objetivo de nuestra investigación consiste en la aplicación de métodos formales de la ingeniería del software, específicamente aquellos basados en sistemas formales relacionales, a los problemas de desarrollo de servicios semánticos en la web. Los sistemas formales relacionales que se tienen en mente son descendientes de las álgebras relacionales de Tarski, y su uso será asistido por herramientas de software existentes o a crear durante la investigación propuesta.
Los servicios en web son una clase particular de programas, y como tales su desarrollo se beneficiaría de la aplicación de métodos formales de la ingeniería del software. Los problemas usuales de asegurar su corrección y otras propiedades deseables se suman a las propiedades específicas que deben brindar como servicios (en particular la composición de los mismos para obtener comportamientos más complejos y/o acordes a las necesidades específicas de la aplicación), más aún cuando se añade a ellos un nivel semántico de anotaciones que deben ser procesables por computadoras. Eje: Ingeniería de Software Red de Universidades con Carreras en Informática (RedUNCI)