Etude des interactions temporisées dans la composition de services Web, Timed Interactions aware Web Services Composition

Nawal Guermouche

Description

Sous la direction de Claude Godart
Thèse soutenue le 23 juin 2010: Nancy 1
La thèse rapportée dans ce manuscrit étudie l'impact de ces propriétés dans la composition de services Web. La considération de telles propriétés soulève plusieurs problèmes auxquels on a essayé d'apporter une solution. Le premier aspect consiste à définir un modèle qui tienne compte des abstractions nécessaires afin de pouvoir analyser et synthétiser une composition, à savoir les messages, les données, les contraintes de données, les propriétés temporelles et l'aspect asynchrone des communications des services. En se basant sur ce modèle, le deuxième problème consiste à proposer une approche d'analyse de compatibilité. Cette analyse vise à caractériser la compatibilité ou la non-compatibilité des services Web et ce en prenant en considération les abstractions précédemment citées. Nous étudions particulièrement l'impact des propriétés temporelles dans une chorégraphie dans laquelle les services Web supportent des communications asynchrones. Nous proposons une démarche basée sur le model checking qui permet de détecter les éventuels conflits temporisés qui peuvent surgir dans une chorégraphie. Finalement, le dernier problème auquel nous nous intéressons est celui de la construction d'une composition qui essaie de répondre au besoin du client et ce en prenant en compte les aspects temporels. L'approche que l'on propose est basée sur la génération d'un médiateur pour essayer, quand c'est possible, de contourner les incompatibilités temporisées et non-temporisées qui peuvent surgir lors d'une collaboration. Des mécanismes et des algorithmes ont été développés afin de mettre en oeuvre ces objectifs
-Services Web temporisés
-Composition de services Web
-Propriétés temporelles
-Protocoles de conversations temporisées asynchrones
-Analyse de compatibilité temporisée
-Chorégraphie de services Web
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
Source: http://www.theses.fr/2010NAN10033/document

Sujets

• Chorégraphie des services web WS-*

Informations

• Publié par: Thesee
• Nombre de lectures: 34
• Langue: Français
• Poids de l'ouvrage: 2 Mo

Extrait

AVERTISSEMENT

Ce document est le fruit d'un long travail approuvé par le
jury de soutenance et mis à disposition de l'ensemble de la
communauté universitaire élargie.

Il est soumis à la propriété intellectuelle de l'auteur. Ceci
implique une obligation de citation et de référencement lors
de l’utilisation de ce document.

D’autre part, toute contrefaçon, plagiat, reproduction
illicite encourt une poursuite pénale.


➢ Contact SCD Nancy 1 : [e-mail]




LIENS


Code de la Propriété Intellectuelle. articles L 122. 4
Code de la Propriété Intellectuelle. articles L 335.2- L 335.10
http://www.cfcopies.com/V2/leg/leg_droi.php
http://www.culture.gouv.fr/culture/infos-pratiques/droits/protection.htm Departement de formation doctorale en informatique Ecole doctorale IAEM Lorraine
UFR STMIA
Etude des Interactions Temporisees
dans la Composition de Services Web
THESE
presentee et soutenue publiquement le 23/06/2010
pour l’obtention du
Doctorat de l’universite Henri Poincare { Nancy 1
(specialite informatique)
par
Nawal Guermouche
Composition du jury
Rapporteurs : Jean Paul Bahsoun, Professeur a l’Universite Paul Sabatier, IRIT
Farouk Toumani, a l’Universite Blaise Pascal, LIMOS
Examinateurs : Djamel Benslimane, Professeur a l’Universite Claude Bernard, LIRIS
Christine Collet, a l’INP Grenoble, LIG
Bruno Levy, Directeur de recherche a l’INRIA grand Est, LORIA
Olivier Perrin, Ma^ tre de conference a l’Universite Nancy 2, LORIA
Directeur de these : Claude Godart, Professeur a l’Universite Henri Poincare Nancy 1, LORIA
Laboratoire Lorrain de Recherche en Informatique et ses Applications | UMR 7503Mis en page avec la classe thloria.Aux plus chers a mon c ur :
mes parents,
ma s ur et mes freres.
12" La con ance est un element majeur : sans elle, aucun projet n’aboutit "
Eric Tabarly
34Remerciements
La preparation de cette these m’a permis de rencontrer plusieurs personnes qui m’ont
beaucoup apportee, que ca soit sur le plan professionnel que sur le plan humain, que je
voudrais remercier. Tout d’abord, j’exprime ma reconnaissance et ma gratitude a mon
directeur de these, M Claude Godart, professeur a l’universite Henri Poinacre, Nancy 1 de
m’avoir permis de mener ce travail de recherche au sein de son equipe et pour la conance,
la liberte, et l’appui qu’il m’a accordee.
J’adresse mes vifs remerciements a :
M Olivier Perrin, ma^tre de conference a l’universite Nancy 2, pour ses remarques lors
de la lecture de ma these.
M Bruno Levy, directeur de recherche a l’INRIA, qui me fait l’honneur de presider le
jury de ma these.
M Farouk Toumani, Professeur a l’universite Blaise Pascal, et M Jean-Paul Bahsoun,
Professeur a l’universite Paul Sabatier d’avoir accepte de rapporter ma these.
M Djamel Benslimane, Professeur a l’universite Claude Bernard, et Mme Christine
Collet, Professeur a l’INP Grenoble pour avoir accepte d’^etre examinateurs de ma these.
Un grand merci aux membres de mon equipe SCORE pour l’accueil et la bonne am-
biance et en particulier mes collegues pour les moments agreables qu’on a passes au de-
jeune ou a jouer au ping-pong. Egalement, je n’oublie pas les secretaires Roxane Auclair
et Isabelle Herlich pour leur e cacite et disponibilite et pour leur bonne humeur.
Je ne voudrais terminer sans remercier le personnel enseignant et administratif de
l’ESSTIN ou je suis intervenue en tant que vacataire puis en tant que ATER, de m’avoir
permis d’enrichir mes connaissances et mes capacites pedagogiques.
Je n’oublie pas de remercier tous mes amis pour les moments inoubliables qu’on a pu
passer ensemble.
Je remercie toute ma famille, en particulier mes parents pour tout le soutient et l’aide
qu’ils m’ont toujours apportee, ma s ur et mes freres, en particulier mon frere Nabil, et
mes amies Nadia et Sabrina.
56