Etude des Interactions Temporisées dans la Composition de Services Web

Nawal Guermouche 1
1 SCORE - Services and Cooperation
Inria Nancy - Grand Est, LORIA - NSS - Department of Networks, Systems and Services
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 :
Complete list of metadatas

Cited literature [132 references]  Display  Hide  Download
Contributor : Nawal Guermouche <>
Submitted on : Sunday, November 28, 2010 - 10:33:18 PM
Last modification on : Tuesday, December 18, 2018 - 4:26:01 PM
Long-term archiving on: Friday, December 2, 2016 - 2:38:01 PM


  • HAL Id : tel-00540646, version 1


Nawal Guermouche. Etude des Interactions Temporisées dans la Composition de Services Web. Informatique [cs]. Université Henri Poincaré - Nancy I, 2010. Français. ⟨tel-00540646⟩



Record views


Files downloads