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

Autores
Testa, Oscar; Riesco, Daniel Eduardo; Montejano, Germán Antonio
Año de publicación
2009
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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
VI Workshop Ingeniería de Software (WIS)
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Sistemas de Información Geográfica
Web-based services
Frameworks
Formal methods
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/21033

id SEDICI_23c138964d17713a2f3ee205ef77bd69
oai_identifier_str oai:sedici.unlp.edu.ar:10915/21033
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Especificación formal en RSL de una infraestructura abierta y estándar de servicios web para Sistemas de Información GeográficaTesta, OscarRiesco, Daniel EduardoMontejano, Germán AntonioCiencias InformáticasSistemas de Información GeográficaWeb-based servicesFrameworksFormal methodsSe 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áficaVI Workshop Ingeniería de Software (WIS)Red de Universidades con Carreras en Informática (RedUNCI)2009-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf801-811http://sedici.unlp.edu.ar/handle/10915/21033spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:27:20Zoai:sedici.unlp.edu.ar:10915/21033Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:27:20.78SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Especificación formal en RSL de una infraestructura abierta y estándar de servicios web para Sistemas de Información Geográfica
title Especificación formal en RSL de una infraestructura abierta y estándar de servicios web para Sistemas de Información Geográfica
spellingShingle Especificación formal en RSL de una infraestructura abierta y estándar de servicios web para Sistemas de Información Geográfica
Testa, Oscar
Ciencias Informáticas
Sistemas de Información Geográfica
Web-based services
Frameworks
Formal methods
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
dc.creator.none.fl_str_mv Testa, Oscar
Riesco, Daniel Eduardo
Montejano, Germán Antonio
author Testa, Oscar
author_facet Testa, Oscar
Riesco, Daniel Eduardo
Montejano, Germán Antonio
author_role author
author2 Riesco, Daniel Eduardo
Montejano, Germán Antonio
author2_role author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
Sistemas de Información Geográfica
Web-based services
Frameworks
Formal methods
topic Ciencias Informáticas
Sistemas de Información Geográfica
Web-based services
Frameworks
Formal methods
dc.description.none.fl_txt_mv 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
VI Workshop Ingeniería de Software (WIS)
Red de Universidades con Carreras en Informática (RedUNCI)
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
publishDate 2009
dc.date.none.fl_str_mv 2009-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/21033
url http://sedici.unlp.edu.ar/handle/10915/21033
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
801-811
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1842260110484701184
score 13.13397