Composition de services web avec PEWS : approche par la théorie des traces.

• Auteur / Autrice : Cheikh Ba
• Direction : Mírian Halfeld Ferrari Alves
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 24/11/2008
• Etablissement(s) : Tours
• Ecole(s) doctorale(s) : Ecole doctorale Santé, sciences, technologies (Tours ; ....-2012)
• Partenaire(s) de recherche : Equipe de recherche : Laboratoire d'Informatique Fondamentale et Appliquée de Tours (2012-...)
• Partenaire(s) de recherche : Laboratoire : École polytechnique universitaire (Tours)
• Jury : Président / Présidente : Bernd Amann
• Jury : Examinateurs / Examinatrices : Farouk Toumani, Jean-Yves Antoine, Mokrane Bouzeghoub, Pierre Réty

Mots clés

Mots clés contrôlés

PEWS (langage de programmation)

Théorie des traces

Théorie des graphes

Services Web

Mots clés libres

Graphes de dépendance

Résumé

Les services Web sont des composant accessibles via internet. Dans cette thèse nous présentons une plateforme d'aide à la conception de services Web basée sur le langage PEWS (Path Expressions for Web Services ). PEWS peut être vu comme une extension du langage WSDL permettant la description de l'interface comportementale d'un service. Notre plateforme propose des mécanismes pour analyser la correction (faculté qu'ont des services à communiquer) et la possibilité de remplacer un service par un autre dans une composition. Pour cela, nous avons utilisé la théorie des traces introduite par Mazurkiewicz. Les traces représentent le comportement non séquentiel de systèmes concurrents via une observation séquentielle. Nous travaillons sur les graphes de dépendance, qui sont la représentation des traces la plus intéressante pour l'implémentation de nos propositions.

Web services are software components accessible via Internet. The present work introduce a PEWS- based platform conceived to help web service designers. PEWS (Path Expressions for Web Services ) is a new language that can be seen as an extension of the language WSDL enabling the description of Web services behavioural interfaces. Our platform provide mechanisms to analyse the correctness (the assurance that two or more services can communicate) and the substitutability (the assurance that a given service can be replaced by another one in a given composition). For this purpose, we use traces theory (introduced by Mazurkiewicz). Traces represent the non-sequential behaviour of concurrent systems via a sequential observation. We work with the dependance graphs representation of traces, wich is more efficient for the implementation of our proposal.