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
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/21033
Ver los metadatos del registro completo
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 |