Definición y especificación formal de un modelo basado en servicios para la generación de sistemas de software

Autores
Montejano, Germán Antonio; Testa, Oscar; Garcia, Pablo; Bast, Silvia Gabriela; Berón, Mario
Año de publicación
2011
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
En este trabajo se realizan aportes a la Ingeniería de Software, más precisamente a la Ingeniería de Software orientada a servicios. Se analizan distintos paradigmas de la orientación a servicios como Service-oriented computing (SOC), Service-oriented programming (SOP), Web Services y Serviceoriented architecture (SOA), que es la arquitectura de software sobre la cual se basan los otros paradigmas. Del análisis minucioso de estos conceptos, se realiza una ontología de la cual se deriva un modelo de orientación a servicios que luego se especificará formalmente a través de la utilización de algún lenguaje para tal fin (RSL, MAUDE). Una vez realizado este trabajo, se validará el modelo propuesto a través de un caso específico: “Una Arquitectura abierta y estándar de servicios Web de GIS”, también especificada formalmente en RSL. Es importante notar que dicha tarea se realizó como parte de una Tesis de Maestría en Ingeniería de Software1. La necesidad de contar con un modelo de estas características, mencionadas anteriormente, surge debido a la gran diversidad existente de paradigmas y de enfoques acerca de la orientación a servicios, que a su vez permita el desarrollo de sistemas orientados a servicios en forma rápida y sencilla, siguiendo modelos establecidos y probados.
Eje: Ingeniería de Software
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
COMPUTER GRAPHICS
RAISE
RSL
Software
servicios web
framework
infraestructura
métodos formales
programación orientada a servicios
computación orientada a servicios
arquitectura orientada a servicios
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/20061

id SEDICI_b5f539953091c58eee884c4baed098a3
oai_identifier_str oai:sedici.unlp.edu.ar:10915/20061
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Definición y especificación formal de un modelo basado en servicios para la generación de sistemas de softwareMontejano, Germán AntonioTesta, OscarGarcia, PabloBast, Silvia GabrielaBerón, MarioCiencias InformáticasCOMPUTER GRAPHICSRAISERSLSoftwareservicios webframeworkinfraestructuramétodos formalesprogramación orientada a servicioscomputación orientada a serviciosarquitectura orientada a serviciosEn este trabajo se realizan aportes a la Ingeniería de Software, más precisamente a la Ingeniería de Software orientada a servicios. Se analizan distintos paradigmas de la orientación a servicios como Service-oriented computing (SOC), Service-oriented programming (SOP), Web Services y Serviceoriented architecture (SOA), que es la arquitectura de software sobre la cual se basan los otros paradigmas. Del análisis minucioso de estos conceptos, se realiza una ontología de la cual se deriva un modelo de orientación a servicios que luego se especificará formalmente a través de la utilización de algún lenguaje para tal fin (RSL, MAUDE). Una vez realizado este trabajo, se validará el modelo propuesto a través de un caso específico: “Una Arquitectura abierta y estándar de servicios Web de GIS”, también especificada formalmente en RSL. Es importante notar que dicha tarea se realizó como parte de una Tesis de Maestría en Ingeniería de Software1. La necesidad de contar con un modelo de estas características, mencionadas anteriormente, surge debido a la gran diversidad existente de paradigmas y de enfoques acerca de la orientación a servicios, que a su vez permita el desarrollo de sistemas orientados a servicios en forma rápida y sencilla, siguiendo modelos establecidos y probados.Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI)2011-05info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf383-387http://sedici.unlp.edu.ar/handle/10915/20061spainfo:eu-repo/semantics/altIdentifier/isbn/978-950-673-892-1info: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:26:59Zoai:sedici.unlp.edu.ar:10915/20061Institucionalhttp://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:26:59.957SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Definición y especificación formal de un modelo basado en servicios para la generación de sistemas de software
title Definición y especificación formal de un modelo basado en servicios para la generación de sistemas de software
spellingShingle Definición y especificación formal de un modelo basado en servicios para la generación de sistemas de software
Montejano, Germán Antonio
Ciencias Informáticas
COMPUTER GRAPHICS
RAISE
RSL
Software
servicios web
framework
infraestructura
métodos formales
programación orientada a servicios
computación orientada a servicios
arquitectura orientada a servicios
title_short Definición y especificación formal de un modelo basado en servicios para la generación de sistemas de software
title_full Definición y especificación formal de un modelo basado en servicios para la generación de sistemas de software
title_fullStr Definición y especificación formal de un modelo basado en servicios para la generación de sistemas de software
title_full_unstemmed Definición y especificación formal de un modelo basado en servicios para la generación de sistemas de software
title_sort Definición y especificación formal de un modelo basado en servicios para la generación de sistemas de software
dc.creator.none.fl_str_mv Montejano, Germán Antonio
Testa, Oscar
Garcia, Pablo
Bast, Silvia Gabriela
Berón, Mario
author Montejano, Germán Antonio
author_facet Montejano, Germán Antonio
Testa, Oscar
Garcia, Pablo
Bast, Silvia Gabriela
Berón, Mario
author_role author
author2 Testa, Oscar
Garcia, Pablo
Bast, Silvia Gabriela
Berón, Mario
author2_role author
author
author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
COMPUTER GRAPHICS
RAISE
RSL
Software
servicios web
framework
infraestructura
métodos formales
programación orientada a servicios
computación orientada a servicios
arquitectura orientada a servicios
topic Ciencias Informáticas
COMPUTER GRAPHICS
RAISE
RSL
Software
servicios web
framework
infraestructura
métodos formales
programación orientada a servicios
computación orientada a servicios
arquitectura orientada a servicios
dc.description.none.fl_txt_mv En este trabajo se realizan aportes a la Ingeniería de Software, más precisamente a la Ingeniería de Software orientada a servicios. Se analizan distintos paradigmas de la orientación a servicios como Service-oriented computing (SOC), Service-oriented programming (SOP), Web Services y Serviceoriented architecture (SOA), que es la arquitectura de software sobre la cual se basan los otros paradigmas. Del análisis minucioso de estos conceptos, se realiza una ontología de la cual se deriva un modelo de orientación a servicios que luego se especificará formalmente a través de la utilización de algún lenguaje para tal fin (RSL, MAUDE). Una vez realizado este trabajo, se validará el modelo propuesto a través de un caso específico: “Una Arquitectura abierta y estándar de servicios Web de GIS”, también especificada formalmente en RSL. Es importante notar que dicha tarea se realizó como parte de una Tesis de Maestría en Ingeniería de Software1. La necesidad de contar con un modelo de estas características, mencionadas anteriormente, surge debido a la gran diversidad existente de paradigmas y de enfoques acerca de la orientación a servicios, que a su vez permita el desarrollo de sistemas orientados a servicios en forma rápida y sencilla, siguiendo modelos establecidos y probados.
Eje: Ingeniería de Software
Red de Universidades con Carreras en Informática (RedUNCI)
description En este trabajo se realizan aportes a la Ingeniería de Software, más precisamente a la Ingeniería de Software orientada a servicios. Se analizan distintos paradigmas de la orientación a servicios como Service-oriented computing (SOC), Service-oriented programming (SOP), Web Services y Serviceoriented architecture (SOA), que es la arquitectura de software sobre la cual se basan los otros paradigmas. Del análisis minucioso de estos conceptos, se realiza una ontología de la cual se deriva un modelo de orientación a servicios que luego se especificará formalmente a través de la utilización de algún lenguaje para tal fin (RSL, MAUDE). Una vez realizado este trabajo, se validará el modelo propuesto a través de un caso específico: “Una Arquitectura abierta y estándar de servicios Web de GIS”, también especificada formalmente en RSL. Es importante notar que dicha tarea se realizó como parte de una Tesis de Maestría en Ingeniería de Software1. La necesidad de contar con un modelo de estas características, mencionadas anteriormente, surge debido a la gran diversidad existente de paradigmas y de enfoques acerca de la orientación a servicios, que a su vez permita el desarrollo de sistemas orientados a servicios en forma rápida y sencilla, siguiendo modelos establecidos y probados.
publishDate 2011
dc.date.none.fl_str_mv 2011-05
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/20061
url http://sedici.unlp.edu.ar/handle/10915/20061
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/isbn/978-950-673-892-1
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
383-387
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_ 1842260105525985280
score 13.13397