Performance, évolution et composition pour XML: modèles, algorithmes et systèmes – CODEX

Le développement de technologies centrées sur XML est sans précédent. De nombreux standards ont été ou sont actuellement définis par des organisations internationales telles que le W3C ou l'ISO. Cette intense activité de standardisation couvre des domaines aussi variés que l'interrogation, la représentation ou le codage d'informations , l'interaction, l'orchestration et la coordination de processus communiquant dans un environnement hautement distribué ou encore la validation ou la mise à jour de données. Un deuxième aspect caractéristique du boom des technologies XML est la mise à disposition de pléthore d'outils gratuits ou de logiciels libres. Une telle abondance accroît drastiquement le nombre de developpeurs potentiels comme cela n'a jamais été le cas de par le passé. Cette situation permet de multiples experimentations et ouvre la voie à de réelles innovations. Enfin un dernier aspect, totalement nouveau, et sûrement moteur de cette immense activité réside dans l'étroite collaboration entre les mondes academiques et industriels tant au sein d'organisations de standardisation que de colloques internationaux. Cette synergie constitue un facteur de grande convergence entre les differents acteurs des technologies internet. Le programme de recherche que nous proposons a pour ambition de repousser les frontières technologiques en terme de gestion de données et de programmes au format XML selon trois directions correlées. En premier lieu nous proposons de concevoir, étudier et implementer des langages, algorithmes et prototypes pour une gestion de données XML à la fois expressive et hautement efficace. Un accent particulier sera mis sur l'obtention de systèmes XML massivement distribués. En second lieu, nous étudierons des modèles afin de décrire, contrôler et réagir au comportement dynamique inhérent à l'évolution des données et des schémas au cours du temps. Enfin nous définirons des théories, des modèles et des prototypes afin de permettre une composition et une intéraction de services plus riche en terme d'expressivité tout en garantissant formellement des propriétés de correction pour de telles intéractions.