Composition de services web avec pews

Les services Web sont des composants 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. Mots clés: services Web, composition, traces, graphes de dépendance.