Métodos relacionales para la especificación, verificación, y composición de servicios semánticos en la web

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 m...

Descripción completa

Detalles Bibliográficos
Autor principal: Gonzalía, Carlos José
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2010
Materias:
Ciencias Informáticas
ingeniería del software
SOFTWARE ENGINEERING
servicios semánticos en la web
métodos formales
verificación asistida por computadora
lógicas para la programación
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/19536
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-19536
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
ingeniería del software
SOFTWARE ENGINEERING
servicios semánticos en la web
métodos formales
verificación asistida por computadora
lógicas para la programación
spellingShingle Ciencias Informáticas
ingeniería del software
SOFTWARE ENGINEERING
servicios semánticos en la web
métodos formales
verificación asistida por computadora
lógicas para la programación
Gonzalía, Carlos José
Métodos relacionales para la especificación, verificación, y composición de servicios semánticos en la web
topic_facet Ciencias Informáticas
ingeniería del software
SOFTWARE ENGINEERING
servicios semánticos en la web
métodos formales
verificación asistida por computadora
lógicas para la programación
description 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.
format Objeto de conferencia
Objeto de conferencia
author Gonzalía, Carlos José
author_facet Gonzalía, Carlos José
author_sort Gonzalía, Carlos José
title Métodos relacionales para la especificación, verificación, y composición de servicios semánticos en la web
title_short Métodos relacionales para la especificación, verificación, y composición de servicios semánticos en la web
title_full Métodos relacionales para la especificación, verificación, y composición de servicios semánticos en la web
title_fullStr Métodos relacionales para la especificación, verificación, y composición de servicios semánticos en la web
title_full_unstemmed Métodos relacionales para la especificación, verificación, y composición de servicios semánticos en la web
title_sort métodos relacionales para la especificación, verificación, y composición de servicios semánticos en la web
publishDate 2010
url http://sedici.unlp.edu.ar/handle/10915/19536
work_keys_str_mv AT gonzaliacarlosjose metodosrelacionalesparalaespecificacionverificacionycomposiciondeserviciossemanticosenlaweb
bdutipo_str Repositorios
_version_ 1764820464245407745

Ejemplares similares