Skip to Main content Skip to Navigation
Theses

Etude des interactions temporisées dans la composition de services Web

Abstract : Web services are based on standrards and Web technologies to interact by exchanging messages. Apart from the sequences of messages, other factors affect the interoperability of Web services, such as temporal constraints that specify the required delay to exchange messages. This thesis studies the impact of these properties in the composition of Web services. The consideration of such properties raises several problems that need several investigations. The first aspect is to define a formal model that takes into account the necessary abstractions in order to analyze and synthesize a composition. The abstractions we have considered are: messages, data, data constraints, temporal properties and the asynchronous nature of services communications. Based on this model, the second problem we handled is the compatibility analysis. This later aims at characterizing the compatibility or incompatibility of Web services by taking into account the abstractions mentioned above. We propose an approach based on model checking to detect the conflicts that may arise in timed choreography. Finally, the last problem we dealt with is the construction of a composition which attempts to satisfy the client need. The approach that we propose is based on the generation of a mediator to try, whenever possible, to resolve the incompatibilities that may arise during a collaboration. Mechanisms and algorithms have been developed to implement these primitives.
Document type :
Theses
Complete list of metadata

Cited literature [132 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-01748200
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 11:28:21 AM
Last modification on : Tuesday, April 24, 2018 - 1:53:21 PM
Long-term archiving on: : Friday, September 14, 2018 - 7:49:45 AM

File

SCD_T_2010_0033_GUERMOUCHE.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01748200, version 1

Collections

Citation

Nawal Guermouche. Etude des interactions temporisées dans la composition de services Web. Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2010. Français. ⟨NNT : 2010NAN10033⟩. ⟨tel-01748200⟩

Share

Metrics

Record views

61

Files downloads

163