Proposition n° 31

Titre : Transformations équitables de documents multimédia temporisésTransformations équitables de documents multimédia temporisés

Responsable(s) : Jérôme Euzenat & Nabil Layaïda    Email : Jerome.Euzenat@inrialpes.fr & Nabil.Layaida@inrialpes.fr

Profil : SAP - Systèmes et Applications Parallèles et Répartis, Réseaux et Multimédia

Laboratoire : INRIA

Description du Sujet :

La transformation de documents XML est utilisée dans de nombreux contextes pour adapter, formatter, convertir et normaliser les documents. Le projet Opéra utilise les transformations dans le contexte particulier de l'adaptation de documents multimédia.
Les transformations ne préservent pas toutes les propriétés des documents initiaux. Mais on veut cependant s'assurer parfois qu'elles en préservent certaines. L'action Exmo a pour but d'établir la préservation des propriétés au travers des transformations.

On se propose donc d'étudier spécifiquement la préservation de certaines propriétés sémantiques liées à la temporalité. En effet, la spécification de documents interactifs (temporisés avec incertitude) fait appel à un formalisme bien connu dont on sait définir la notion de modèle (qui va correspondre à un scénario d'exécution du document multimédia). Lors de l'adaptation d'un document, on voudra principalement que le résultat de la transformation préserve la propriété d'avoir au moins un modèle (un scénario d'exécution). Mais on peut aussi abstraire la notion de modèle: par exemple considérer tous les cheminements possibles dans le document et garantir que chaque cheminement possible dans le document initial a un cheminement correspondant dans le document final. On parle d'équité car chaque scénario possible reste sélectionable par l'utilisateur final.

Ce problème pourra être étudié en fonction de deux axes non exclusifs:

• Le langage de transformation utilisé (on devra sans doute au départ se restreindre à certaines primitive abstraites);
• Le profil de la cible qui peut par la suite conduire à une dégradation supplémentaire du document ou à des exigences moindres (l'utilisateur ne désire pas intervenir et il suffit de garantir qu'un scénario existe).

Pour garantir ces propriétés on peut utiliser deux approches: l'une qui travaille sur le document résultant de la transformation pour vérifier la préservation des modèles, l'autre qui considère la transformation elle-même pour garantir la génération de documents préservant les propriétés désirées.
On pourra aussi s'intéresser aux problèmes de décidabilité et de complexité de la préservation de la propriété et comparer les résultats à ceux concernant la satisfation de la propriété par un document.

Le travail proposé consiste donc, à partir du langage d'expression de contraintes temporelles, de sa sémantique et de ses propriétés computationnelles à délimiter un ensemble de primitives utilisées dans les transformations destinées à adapter les documents multimédia. Puis on s'intéressera à certaines propriétés particulières (dont la propriété d'équité telle que présentée ci-dessus) afin de déterminer les sous-ensembles de primitives ou les agencements de ces primitives permettant de garantir, par construction, la propriété. On pourra aussi s'intéresser au problème de déterminer en-ligne, par rapport à une transformation si celle-ci satisfait la propriété (en concurence par rapport à la déterminer sur le résultat de la transformation).