Aspects dynamiques de XML et spécification des interfaces de services web avec PEWS. (Dynamic aspects of XML and web service interface specification with PEWS)

Nous nous interessons par le probleme de la semantique des mises a jour et de la coherence des bases de donnees dans differents contextes comme les documents XML et les services web. En effet, des difficultes particulieres sont a prevoir lors de la mise a jour d'une base ayant des contraintes a respecter, car, des donnees originalement coherentes par rapport aux contraintes peuvent devenir incoherentes suite aux mises a jour. Dans une premiere partie de notre travail, nous considerons la mise a jour et le maintien de la coherence d'une base de donnees XML par rapport au type (ou schema) ainsi que par rapport aux contraintes d'integrite. Nous abordons ce probleme de differentes manieres. Tout d'abord, nous proposons une procedure de validation incrementale par rapport aux contraintes, evitant de revalider les parties du document qui n'ont pas ete touchees par les mises a jour. Cette approche traite aussi bien le cas des contraintes de schema que le cas des contraintes d'integrite. Dans ce cadre, les listes de mises a jour qui violent la validite sont rejetees. Quand la validation incrementale echoue, c'est-a-dire, quand une mise a jour viole le type, deux propositions de traitement sont faites\,: (A) Une routine de correction est activee pour adapter le document XML au type tout en prenant en compte la mise a jour. La mise a jour a donc une priorite par rapport aux donnees deja stockees. (B) Une routine propose une adaptation du type du document, de facon a accepter le document mis a jour en preservant la validite des autres documents originalement valides et non soumis a la mise a jour. Dans ce cas, la mise a jour est prioritaire et les contraintes peuvent etre modifiees. Une deuxieme partie du travail considere la construction d'une plate-forme d'aide a la specification, a l'implementation et a la manipulation de services. L'idee de pouvoir specifier et modifier des compositions de services nous a amene a la definition du langage PEWS (\textit{Path Expressions for Web Services}), ayant une semantique formelle bien definie et permettant la specification du comportement des interfaces des services web simples ou composes. Pour pouvoir tester statiquement des proprietes liees a la composition des services, nous proposons l'utilisation de la theorie des traces et les graphes de dependances.