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

Grantor dc:publisher

Universidad de La Rioja (España)

Year dc:date

2009

Author dc:creator

• Mata Sotés, Eloy Javier

Contributors dc:contributor

• Rubio García, Julio (Universidad de La Rioja)
• Bañares Bañares, José Angel (Universidad de Zaragoza)

• Servicio Web
• Coordinación
• Métodos formales
• Web Services
• Coordination
• Formal methods

Statement dc:rights

• LICENCIA 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

Language dc:language

spa

Repository record dc:identifier

https://dialnet.unirioja.es/servlet/oaites?codigo=18607

OAI identifier oai:identifier

oai:dialnet.unirioja.es:TES0000001301