Titre : Langages de transformation incrémentaux
Responsable : Vincent Quint (Email : Vincent.Quint@inria.fr)
Profil(s) :
LBD - Ingénierie des Logiciels et Bases de Données
SAP - Systèmes et Applications Parallèles et Répartis, R€'seaux et Multimédia
Laboratoire et équipe :
Projet Opéra, INRIA Rhône-Alpes
655, avenue de l'Europe - Montbonnot
38334 St Ismier Cedex
Description du Sujet :
Avec le développement de XML et du Web, les traitements de documents structurés prennent une importance croissante. Parmi ces traitements, la transformation apparaît comme une opération fondamentale, qu'il s'agisse de formatage, d'édition, de recherche d'information, de synthèse de documents ou encore d'adaptation de contenu sur le Web. Quelques langages spécialisés dans la transformation de structures XML commencent à émerger, XSLT étant sans doute le plus répandu.
Ces langages de transformation ont été conçus dans une optique « batch », où la totalité d'un document est traité d'un coup à l'aide d'une feuille de transformation stable. Mais cette approche ne convient pas aux applications dynamiques, dans lesquelles le document à transformer ou la feuille de transformation peuvent subir des changements qui doivent être répercutés immédiatement au document résultat, sans relancer la totalité du processus. Les transformations doivent alors être effectuées de façon incrémentale.
L'étude proposée consiste d'abord à établir un état de l'art des langages de transformation, puis à mener une analyse de ces langages au regard de l'incrémentalité. En particulier, on essaiera de comprendre ce qui peut être identifié au cours l'analyse statique d'une feuille de transformation, de façon à établir les structures les mieux adaptées à un traitement incrémental efficace.
Ce travail sera mené dans le projet Opéra de l'INRIA Rhône-Alpes. Il concernera notamment les langages XSLT et Circus. Il fera suite aux travaux menés sur iXSLT.