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

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

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Montejano, Germán Antonio, Testa, Oscar, Garcia, Pablo, Bast, Silvia Gabriela, Berón, Mario
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2011
Materias:	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
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/20061
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-20061
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 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
spellingShingle	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 Montejano, Germán Antonio Testa, Oscar Garcia, Pablo Bast, Silvia Gabriela Berón, Mario Definición y especificación formal de un modelo basado en servicios para la generación de sistemas de software
topic_facet	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
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.
format	Objeto de conferencia Objeto de conferencia
author	Montejano, Germán Antonio Testa, Oscar Garcia, Pablo Bast, Silvia Gabriela Berón, Mario
author_facet	Montejano, Germán Antonio Testa, Oscar Garcia, Pablo Bast, Silvia Gabriela Berón, Mario
author_sort	Montejano, Germán Antonio
title	Definición y especificación formal de un modelo basado en servicios para la generación de sistemas de software
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
publishDate	2011
url	http://sedici.unlp.edu.ar/handle/10915/20061
work_keys_str_mv	AT montejanogermanantonio definicionyespecificacionformaldeunmodelobasadoenserviciosparalageneraciondesistemasdesoftware AT testaoscar definicionyespecificacionformaldeunmodelobasadoenserviciosparalageneraciondesistemasdesoftware AT garciapablo definicionyespecificacionformaldeunmodelobasadoenserviciosparalageneraciondesistemasdesoftware AT bastsilviagabriela definicionyespecificacionformaldeunmodelobasadoenserviciosparalageneraciondesistemasdesoftware AT beronmario definicionyespecificacionformaldeunmodelobasadoenserviciosparalageneraciondesistemasdesoftware
bdutipo_str	Repositorios
_version_	1764820465062248450

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

Ejemplares similares