Coordinación de servicios Web: de las aplicaciones a los modelos formales

The goal of the thesis was the application of formal methods in software engineering in order to increase the reliability of real software systems. In particular, a Web Coordination Service has been analyzed. This service is a component in several working distributed systems in the context of Locat...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor principal:	Mata Sotés, Eloy Javier
Otros Autores:	Rubio García, Julio (Universidad de La Rioja)
Formato:	text (thesis)
Lenguaje:	spa
Publicado:	Universidad de La Rioja (España) 2009
Materias:	Servicio Web Coordinación Métodos formales Web Services Coordination Formal methods
Acceso en línea:	https://dialnet.unirioja.es/servlet/oaites?codigo=18607
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

id	oai-TES0000001301
record_format	dspace
spelling	oai-TES00000013012019-05-14Coordinación de servicios Web: de las aplicaciones a los modelos formalesMata Sotés, Eloy JavierServicio WebCoordinaciónMétodos formalesWeb ServicesCoordinationFormal methodsThe goal of the thesis was the application of formal methods in software engineering in order to increase the reliability of real software systems. In particular, a Web Coordination Service has been analyzed. This service is a component in several working distributed systems in the context of Location Based Services. The coordination service is based on JavaSpaces (an implementation of the Linda coordination model) and provides a set of services to communicate and synchronize heterogeneous applications distributed over the Internet. Given a real-life system, a formal model was been obtained in order to study its properties and prove that the pattern-matching process implemented in the coordination service complies with the semantics rules of Linda. Moreover, the service enables other more complex matching processes. Then, the Linda model has been extended with operations where multiple tuples are involved. These new operations supply some transactional capabilities to the coordination model. Finally, a "semi-formal" analysis of a RETE-based algorithm for the multiple reading operation was performed.El objetivo de la tesis ha sido la aplicación de métodos formales en ingeniería del software con el fin de incrementar la fiabilidad de sistemas de software reales. En particular, se ha analizado un Servicio de Coordinación Web que forma parte de varias aplicaciones distribuidas, actualmente en explotación, en el contexto de los Servicios Basados en la Localización. El servicio de coordinación está construido sobre JavaSpaces (un implementación del modelo de coordinación Linda) y proporciona servicios para comunicar y sincronizar aplicaciones heterogéneas distribuidas en Internet. Partiendo del sistema real, se ha obtenido un modelo formal con el fin de estudiar sus propiedades y se ha demostrado que el proceso de correspondencia implementado en el servicio respeta la semántica de Linda, además de posibilitar otros emparejamientos más complejos. Después se ha extendido el modelo Linda definiendo nuevas operaciones que involucran a varias tuplas y que lo dotan de capacidades transaccionales. Finalmente se ha realizado un análisis "semi-formal" de un algoritmo basado en RETE para la operación de lectura múltiple.Universidad de La Rioja (España)Rubio García, Julio (Universidad de La Rioja)Bañares Bañares, José Angel (Universidad de Zaragoza)2009text (thesis)application/pdfhttps://dialnet.unirioja.es/servlet/oaites?codigo=18607spaLICENCIA DE USO: Los documentos a texto completo incluidos en Dialnet son de acceso libre y propiedad de sus autores y/o editores. Por tanto, cualquier acto de reproducción, distribución, comunicación pública y/o transformación total o parcial requiere el consentimiento expreso y escrito de aquéllos. Cualquier enlace al texto completo de estos documentos deberá hacerse a través de la URL oficial de éstos en Dialnet. Más información: https://dialnet.unirioja.es/info/derechosOAI \| INTELLECTUAL PROPERTY RIGHTS STATEMENT: Full text documents hosted by Dialnet are protected by copyright and/or related rights. This digital object is accessible without charge, but its use is subject to the licensing conditions set by its authors or editors. Unless expressly stated otherwise in the licensing conditions, you are free to linking, browsing, printing and making a copy for your own personal purposes. All other acts of reproduction and communication to the public are subject to the licensing conditions expressed by editors and authors and require consent from them. Any link to this document should be made using its official URL in Dialnet. More info: https://dialnet.unirioja.es/info/derechosOAI
institution	DialNet
collection	DialNet
language	spa
topic	Servicio Web Coordinación Métodos formales Web Services Coordination Formal methods
spellingShingle	Servicio Web Coordinación Métodos formales Web Services Coordination Formal methods Mata Sotés, Eloy Javier Coordinación de servicios Web: de las aplicaciones a los modelos formales
description	The goal of the thesis was the application of formal methods in software engineering in order to increase the reliability of real software systems. In particular, a Web Coordination Service has been analyzed. This service is a component in several working distributed systems in the context of Location Based Services. The coordination service is based on JavaSpaces (an implementation of the Linda coordination model) and provides a set of services to communicate and synchronize heterogeneous applications distributed over the Internet. Given a real-life system, a formal model was been obtained in order to study its properties and prove that the pattern-matching process implemented in the coordination service complies with the semantics rules of Linda. Moreover, the service enables other more complex matching processes. Then, the Linda model has been extended with operations where multiple tuples are involved. These new operations supply some transactional capabilities to the coordination model. Finally, a "semi-formal" analysis of a RETE-based algorithm for the multiple reading operation was performed.
author2	Rubio García, Julio (Universidad de La Rioja)
author_facet	Rubio García, Julio (Universidad de La Rioja) Mata Sotés, Eloy Javier
format	text (thesis)
author	Mata Sotés, Eloy Javier
author_sort	Mata Sotés, Eloy Javier
title	Coordinación de servicios Web: de las aplicaciones a los modelos formales
title_short	Coordinación de servicios Web: de las aplicaciones a los modelos formales
title_full	Coordinación de servicios Web: de las aplicaciones a los modelos formales
title_fullStr	Coordinación de servicios Web: de las aplicaciones a los modelos formales
title_full_unstemmed	Coordinación de servicios Web: de las aplicaciones a los modelos formales
title_sort	coordinación de servicios web: de las aplicaciones a los modelos formales
publisher	Universidad de La Rioja (España)
publishDate	2009
url	https://dialnet.unirioja.es/servlet/oaites?codigo=18607
work_keys_str_mv	AT matasoteseloyjavier coordinaciondeservicioswebdelasaplicacionesalosmodelosformales
_version_	1718346586437713920

Coordinación de servicios Web: de las aplicaciones a los modelos formales

Ejemplares similares