ISBN-13: 9786131528330 / Francuski / Miękka / 2018 / 188 str.
Les services Web sont des composants accessibles via internet. Dans cette thA]se nous prA(c)sentons une plateforme d'aide A la conception de services Web basA(c)e sur le langage PEWS (Path Expressions for Web Services). PEWS peut Aatre vu comme une extension du langage WSDL permettant la description de l'interface comportementale d'un service. Notre plateforme propose des mA(c)canismes pour analyser la correction (facultA(c) qu'ont des services A communiquer) et la possibilitA(c) de remplacer un service par un autre dans une composition. Pour cela, nous avons utilisA(c) la thA(c)orie des traces introduite par Mazurkiewicz. Les traces reprA(c)sentent le comportement non sA(c)quentiel de systA]mes concurrents via une observation sA(c)quentielle. Nous travaillons sur les graphes de dA(c)pendance, qui sont la reprA(c)sentation des traces la plus intA(c)ressante pour l'implA(c)mentation de nos propositions. Mots clA(c)s: services Web, composition, traces, graphes de dA(c)pendance.
Les services Web sont des composants accessibles via internet. Dans cette thèse nous présentons une plateforme daide à 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 linterface comportementale dun service. Notre plateforme propose des mécanismes pour analyser la correction (faculté quont 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 limplémentation de nos propositions. Mots clés: services Web, composition, traces, graphes de dépendance.