Especificación formal en RSL de una infraestructura abierta y estándar de servicios web para Sistemas de Información Geográfica

Se presenta una infraestructura o framework de servicios Web de SIG para brindar solución a la problemática de diversidad de formatos e información. La especificación de la infraestructura se realiza a través de métodos formales, utilizando la herramienta RAISE – RSL. Esta infraestructura surge por...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Testa, Oscar, Riesco, Daniel Eduardo, Montejano, Germán Antonio
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2009
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21033
Aporte de:
id I19-R120-10915-21033
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
Sistemas de Información Geográfica
Web-based services
Frameworks
Formal methods
spellingShingle Ciencias Informáticas
Sistemas de Información Geográfica
Web-based services
Frameworks
Formal methods
Testa, Oscar
Riesco, Daniel Eduardo
Montejano, Germán Antonio
Especificación formal en RSL de una infraestructura abierta y estándar de servicios web para Sistemas de Información Geográfica
topic_facet Ciencias Informáticas
Sistemas de Información Geográfica
Web-based services
Frameworks
Formal methods
description Se presenta una infraestructura o framework de servicios Web de SIG para brindar solución a la problemática de diversidad de formatos e información. La especificación de la infraestructura se realiza a través de métodos formales, utilizando la herramienta RAISE – RSL. Esta infraestructura surge por la necesidad de contar en las organizaciones con herramientas que les permitan desarrollar sistemas de información geográfica en forma rápida y sencilla, siguiendo modelos establecidos y probados. Esta infraestructura permitirá la construcción de sistemas de información geográfica a partir de modelos probados y de utilización directa. La utilización de RAISE RSL como lenguaje de especificación formal se basa en el hecho de su reconocimiento en la industria del software para especificaciones formales de desarrollos reales. En este trabajo se realizan aportes tanto a la tecnología de Servicios Web como a la de sistemas de información geográfica
format Objeto de conferencia
Objeto de conferencia
author Testa, Oscar
Riesco, Daniel Eduardo
Montejano, Germán Antonio
author_facet Testa, Oscar
Riesco, Daniel Eduardo
Montejano, Germán Antonio
author_sort Testa, Oscar
title Especificación formal en RSL de una infraestructura abierta y estándar de servicios web para Sistemas de Información Geográfica
title_short Especificación formal en RSL de una infraestructura abierta y estándar de servicios web para Sistemas de Información Geográfica
title_full Especificación formal en RSL de una infraestructura abierta y estándar de servicios web para Sistemas de Información Geográfica
title_fullStr Especificación formal en RSL de una infraestructura abierta y estándar de servicios web para Sistemas de Información Geográfica
title_full_unstemmed Especificación formal en RSL de una infraestructura abierta y estándar de servicios web para Sistemas de Información Geográfica
title_sort especificación formal en rsl de una infraestructura abierta y estándar de servicios web para sistemas de información geográfica
publishDate 2009
url http://sedici.unlp.edu.ar/handle/10915/21033
work_keys_str_mv AT testaoscar especificacionformalenrsldeunainfraestructuraabiertayestandardeservicioswebparasistemasdeinformaciongeografica
AT riescodanieleduardo especificacionformalenrsldeunainfraestructuraabiertayestandardeservicioswebparasistemasdeinformaciongeografica
AT montejanogermanantonio especificacionformalenrsldeunainfraestructuraabiertayestandardeservicioswebparasistemasdeinformaciongeografica
bdutipo_str Repositorios
_version_ 1764820465353752576