Couplage d'un langage de contrôle un système de formatage existant

Présentation au sujet: "Couplage d'un langage de contrôle un système de formatage existant"— Transcription de la présentation:

1 Couplage d'un langage de contrôle un système de formatage existant
de formatage avec un système de formatage existant Fateh BOULMAIZ Projet WAM INRIA Rhône Alpes Cécile Roisin Frederic Bes Bonjour, je vous présente mes travaux de DEA qui s’intitulent couplage d’un langage de contrôle de formatage avec un système de formatage existant Le stage a été effectué au laboratoire INRIA Rhône-alpes au sein du projet WAM. J’ai été encadré par cécile roisin et frederic bes Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 Toward an Adaptation and Negotiation Multimedia System

2 Plan Contexte Problématique Couplage des langages
Couplage des formateurs Conclusion Perspectives ma présentation se déroulera en trois partie, La 1 partie me permettra d’exposer le contexte ainsi que la problématique traitée dans mes travaux. La seconde partie mettra en avant ma contribution pour résoudre la problématique, je présenterai donc le couplage des langages et le couplage des architectures Dans une troisième partie je conclurai et je donnerai qlq pistes d’investigation qui me semblent intéressantes à creuser. Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 Toward an Adaptation and Negotiation Multimedia System

3 Contexte du travail Document Multimédia
Dimension logique Dimension spatiale temps Image Vidéo texte animation Dimension temporelle image son vidéo animation texte Dimension hypermédia Document multimédia : ensemble de média organisé dans différentes dimensions en vue de leur présentation Formatage : Le formatage est le processus qui consiste à convertir des informations abstraites de présentation vers des informations concrètes Mes travaux se situent dans le domaine de génie documentaire. Je me suis intéressé tout particulièrement aux document multimédia, qsq un document multimédia. Un document multimédia permet de combiner des éléments de natures diverses comme le texte, les images, les vidéo et les animations à l’intérieur d’un même document électronique. Ces éléments sont organisés dans différents dimensions. -La dimension logique regroupe les éléments qui sont liés sémantiquement La dimension spatiale concerne l’affectation des éléments dans l’espace La dimension hypermédia permet définir des relations sémantiques entre les éléments ou plus généralement entre les documents La dimension temporelle définit le scénario temporel du document, c-à-d l’organisations des éléments dans le temps. Le processus qui permet le calcul des valeurs des propriétés nécessaires à la présentation de ces éléments est appelé Le formatage . Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 Toward an Adaptation and Negotiation Multimedia System

4 Présentation d’un Document multimédia
temps Document formaté Module d’exécution Formateur Algorithme de résolution Langage de présentation (SMIL, Madeus, SVG, MathML) Le scénario spatio-temporel est décrit dans un langage de présentation déclaratif A chaque langage est associé un formateur Cas d’échec Le formateur est incapable de produire un résultat de formatage Le résultat de formatage ne satisfait pas l’utilisateur De façon schématique Le processus générale de la présentation d’un document MM se présente sous forme de deux composants : Un formateur est responsable du processus de formatage et un module d’exécution qui se charge de l’interprétation des informations du document formaté. Le formateur doit pouvoir calculer pour un seul document MM des présentations pour des terminaux diverses L’organisation d’un document MM se décrit par un langage de programmation , il existe plusieurs types de ces langages. dans notre contexte on s’intéresse aux langages de présentation déclaratifs de type SMIL, SVG, MathML, etc. A chaque langage est donc associé un formateur qui permet de calculer les valeurs effectives des propriétés de chaque élément. Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 Toward an Adaptation and Negotiation Multimedia System

5 XEF : un langage de contrôle de formatage
Spécification des éléments pour le contrôle de formatage Les priorités Les propriétés abstraites et les propriétés globales Les techniques de repli : Les alternatives Les stratégies Formateur à base de contraintes <par id=“RésuméFilm1” repli=alt(seq2)….> </par> <par id=“RésuméFilm1” repli= “réduire(p1), supprimer (p2)”> </par> Le manque de flexibilité et du contrôle dans les langages de présentation actuels a motivé des travaux de recherche dans l’équipe WAM. Ces travaux ont débouché sur la spécification d’un langage de contrôle de formatage XEF dont le but justement est d’augmenter l’expressivité et d’offrir plus de contrôle à l’auteur. XEF gère la flexibilité et le contrôle en définissant plusieurs éléments : Les priorités définissent des ordres entres les éléments et les relations pour guider le formateur dans ses choix quand il est dans une situation d’échec XEF permet aussi de définir des propriétés globales de présentation comme par exemple le nombre des vidéo dans la présentation ne doit pas dépassé 2 vidéos Les alternatives XEF permettent de rajouter ou d’enlever des éléments dans le document contrôlé. Dans l’exemple, une alternative seq1 est placé sur un élément par . Dans le cas d’échec de formatage, le formateur remplace l’élément par par l’élément seq1 Xef spécifie aussi des stratégies de formatage qui permettent de changer en cas d’échec la politique de formatage. Ainsi dans cet exemple, en cas d’échec, le formateur réduit les durée des éléments suivant la priorité p1, si cela ne suffit pas, le formateur va supprimer les éléments suivant la priorité p2. Le traitement de ces éléments et en particulier les retour en arrière et les traitements répétitifs sont rendu possible grâce à un formateur à base de contraintes. Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 Toward an Adaptation and Negotiation Multimedia System

6 Plan Contexte Problématique Couplage des langages
Couplage des formateurs Conclusion Perspectives Après avoirs introduire le contexte de mes travaux, je présenterai maintenant la problématique traité dans ces travaux Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 Toward an Adaptation and Negotiation Multimedia System

7 Motivation Un langage qui gère la flexibilité et le contrôle
 Profiter de ce langage pour augmenter la flexibilité des autres langages Disposant du langage XEF qui offre de la flexibilité et du contrôle à travers son langage et son formateur, on veut utiliser ce langage pour rendre les langages de présentation actuels comme smil plus flexible plus contrôlable Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 Toward an Adaptation and Negotiation Multimedia System

8 Langage de présentation (SMIL, Madeus, SVG, MathML)
Sujet de mon stage But Proposer une architecture pour le couplage de XEF avec un système de formatage existant Problématiques Couplage au niveau des langages Couplage au niveau des formateurs Contrôles XEF Formateur XEF Document formaté Module d’exécution Langage de présentation (SMIL, Madeus, SVG, MathML) Formateur source Cette motivation ma conduit à proposer une architecture qui permet de coupler le langage XEF avec d’autres langages de présentation. Ce problème de couplage peut être découper en 2 pb. le premier problème est de savoir comment utiliser le langage XEF au dessus des autres langages de présentation pour mieux contrôler leur formatage Et le 2 problème est de savoir comment utiliser le formateur du langage XEF à coté du formateur du langage de présentation sachant que ces deux pbs ne sont pas indépendants, la solution à proposer pour résoudre l’un de ces deux pb doit être prise en compte dans la solution de l’autre problème Schématiquement parlant, la problématique est à partir deux langages et deux formateurs on veut obtenir un seul document formaté. Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 Toward an Adaptation and Negotiation Multimedia System

9 Plan Contexte Problématique Couplage des langages
Couplage des formateurs Conclusion Perspectives Après avoir posé la problématique, je m’attache maintenant à traiter le premier problème qui est le couplage au niveaux des langages Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 Toward an Adaptation and Negotiation Multimedia System

10 Couplage au niveau des langages
Définition La mise en relation des éléments du langage XEF avec les éléments du document source Difficultés Désigner les éléments du document source Faire correspondre les opérateurs de XEF avec ceux du langage source qsq ‘on entend donc par ce couplage. Le couplage au niveau des langages concerne la façon de faire le lien entre les éléments XEF et les éléments du document source à contrôler. -Les difficultés auxquelles la solution à ce problème devrait faire face se résument en deux points Pouvoir designer un élément ou une relation dans le document source pour y appliquer les contrôles XEF mais aussi pouvoir designer plusieurs éléments qui ne sont forcément pas contigus dans le document source. La 2 difficulté est de Pouvoir exprimer des éléments en langage source dans XEF. EN effet certains éléments XEF doivent être doté d’un mécanisme permettant de désigner et de spécifier en XEF des éléments du langage source. C’est le cas des alternatives par exemple qui proposent dans une situation d’échec des éléments et des relations pour remplacer les éléments et les relations sur lesquels elles sont placées. Dans l’exemple une séquence est proposée pour remplacer l’élément par <par_temporel id=“RésuméFilm1” repli=alt(seq2)….> </par_temporel> Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 Toward an Adaptation and Negotiation Multimedia System

11 Deux espaces de noms: SMIL et XEF Règles de transformation
Techniques étudiées Couplage par décoration Couplage par transformation Transformation vers un langage cible Transformation vers un document composite Couplage sur l’instance formatée du document source Document source Feuille de transformation Formatage Transformation Document composite SMIL Deux espaces de noms: SMIL et XEF Formateur composite Règles de transformation + éléments XEF Document formaté Document source Formatage Document contrôle Document formaté SMIL Formateur SMIL Formateur XEF J’ai étudié 3 solutions pour le couplage des langages Dans le couplage par décoration, on utilise un langage de sélection pour faire le lien entre le document de contrôle et le document source. Une limite majeur de cette technique est que les langage de sélection ne permettent que la désignation simple, ils ne permettent pas la désignation des éléments qui ne sont pas contigus. Une autre limite des langage de présentation est qu’ils ne permettent pas de modifier l’arbre du document source La deuxième solution que j’ai proposé est d’utiliser les technique de transformation. Ces techniques permettent de convertir un document source vers un autre document. Ce dernier peut être spécifier dans le même langage du document source ou dans un autre langage différent. Justement en profitant de cette caractéristique, j’ai proposé deux variantes de couplage. Dans une 1 approche le couplage s’effectue par transformation vers un 1 seul document spécifie dans 1 seul langage. Ce dernier et formater par la formateur du langage cible. Donc dans cette technique on peut pas profiter du formateur XEF. J’ai donc proposé une 2 approche qui consiste à transformé le document source et les éléments XEF vers 1 document composite. Enfin j’ai proposé une technique de couplage basée sur le document source formaté Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 Toward an Adaptation and Negotiation Multimedia System

12 Plan Contexte Problématique Couplage des langages
Couplage des formateurs Conclusion Perspectives J’aborde maintenant la deuxième problématique qui concerne le couplage des formateurs, Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 Toward an Adaptation and Negotiation Multimedia System

13 Couplage au niveau des formateurs
Objectifs Profiter des deux formateurs existants Moyen Faire coopérer ces deux processus de formatage à travers la même structure de données Difficultés Incohérences Dépendances entre les éléments Le but est de ce couplage est de tirer profit au maximum de ces deux formateurs. pour atteindre cet objectif, les deux formateurs doivent coopérer pour formater le document contrôlé . Le couplage de formateurs est confronté a certains problèmes : Gérer les dépendances entre éléments et les relations Éviter les incohérences Rendre possible la coopération entre les deux formateurs Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 Toward an Adaptation and Negotiation Multimedia System

14 Quelle architecture de couplage?
Deux techniques de couplage des formateurs Couplage à granularité fine Couplage à gros grains Document source Formateur source Formateur source <Smil: par> <xef:équilibrage> Formateur XEF Formateur XEF Document de contrôle Formateur composite Formateur composite Nous avons étudier deux solutions pour le couplage des formateurs : Dans le couplage à granularité fine, l’unité de formatage est la propriété. À chaque propriété rencontré on fait appel au formateur associé pour la formaté, ce type de formatage convient bien aux documents composites. Dans ce type de couplage il va falloir maîtriser l’ensemble des propriétés pour éviter le pb des incohérences. En effet, chaque fois qu’on formate 1 propriété on est obligé de savoir comment agir pour traiter les autres propriétés qui sont remise en cause par le formatage de cette propriété. Cependant, le pb qui se pose est qu’on maîtrise pas les 2 formateurs et en particulier le formateur source. Dans la 2 solution que je propose Granularité fine Granularité à gros grains Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 Toward an Adaptation and Negotiation Multimedia System

15 Contrôleur d’incohérence
Couplage à gros grains Document source Parseur source Formateur DOM source brut DOM source formaté Formateur source Formateur DOM XEF formaté DOM XEF brut Document de contrôle (XEF) Parseur XEF DOM XEF + sélecteurs Formateur XEF Extracteur Traducteur Connecteur source / XEF Contrôleur d’incohérence Je m’attache dans ce transparent à expliquer plus en détails l’architecture du couplage à gros grain : Le 1 composant de cette architecture est bien sure le formateur source. Ce dernier prend en entrée un document MM spécifie dans un langage de présentation. le parseur génère une structure interne de ce document sous forme d’un arbre DOM . Il est important de noter qu’à ce niveau les valeurs des propriétés ne sont pas encore calculées. C’est après l’étape de formatage proprement dit que ces valeurs sont calculées. Donc le formateur source génère à la fin de la chaîne de formatage un arbre DOM où les valeurs de toutes les propriétés nécessaires à la présentation sont calculées. Le 2 composant de notre système est le formateur XEF. Ce dernier prend en entrée un document de contrôle qui contient en plus des éléments XEF des expressions de chemins qui permettent de designer les éléments du document source sur lesquelles on voudrait rajouter des contrôles. Donc, l’arbre DOM généré après l’étape de parsing contient en plus des éléments XEF, contient des sélecteurs. Cet arbre est exploité par le dernier composant de notre système qui est le connecteur source/XEF pour faire le lien entre les deux composants. Le connecteur rempli deux fonctions: DANS UN PREMIER TEMPS, LE CONNECTEUR se serve de ces sélecteurs pour extraire à partir du DOM source formaté les nœuds du documents source sur lesquelles un ou plusieurs contrôles sont spécifiés dans le document de contrôle. Le module qui rempli cette fonction est l’extracteur. Dans un 2 temps les nœuds ainsi extraits sont traduits en des nœuds XEF ce qui permet de générer un arbre DOM XEF brut. C-à-d ne contient pas des sélecteurs. Cet arbre est formaté par le module de formatage XEF et produit un arbre DOM formaté. Les éléments de cet arbre sont traduits en des éléments du langage source et réinjectés dans l’arbre source. Formateur composite Lien des données (extracteur +traducteur) Lien sur l’arbre DOM (couplage de données)  couplage faible Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 Toward an Adaptation and Negotiation Multimedia System

16 Contrôleur d’incohérence
Extraction partielle Contrôleur d’incohérence Formateur composite Formateur DOM XEF formaté DOM XEF brut Extracteur Document de contrôle (XEF) Parseur XEF DOM XEF + sélecteurs Formateur XEF Document source source DOM source brut DOM source formaté Formateur source Traducteur Connecteur source / XEF Extracteur partiel Dans cette approche, l’extracteur n’extrait que les nœuds sur lesquelles un ou plusieurs contrôles sont spécifient dans le document de contrôle. Le reste du processus de formatage reste inchangeable. Le formateur XEF a un contrôle local sur les nœuds du documents source et les propriétés recalculées par XEF donc risque d’entraîner des incohérences. Pour garantir la cohérence le formateur source est relancé pour reformater l’arbre DOM source. Ce reformatage peut lui-même remettre en cause des propriétés déjà calculées par XEF et donc le formateur XEF et relancé et ainsi de suite. Dans ce cas il y a risque de cycles  Risque de cycles Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 Toward an Adaptation and Negotiation Multimedia System

17 Extraction transitive
Contrôleur d’incohérence Formateur composite Formateur DOM XEF formaté DOM XEF brut Extracteur Document de contrôle (XEF) Parseur XEF DOM XEF + sélecteurs Formateur XEF Document source source DOM source brut DOM source formaté Formateur source Traducteur Connecteur source / XEF Extracteur partiel transitif Pour faire face à ce risque, j’ai proposé une autre variante qui consiste à extraire non seulement les nœuds contrôlés mais d’extraire en plus de ces nœuds tous les nœuds ayant des liens avec eux. Ces nœuds sont traduits et formaté par le module de formatage du XEF. Dans cette approche, les dépendances et le cohérences sont gérés donc d’un côté par l’extracteur puisque il permet d’extraire tous les éléments ayant des dépendances. Et d’autre côté par le formateur XEF puisqu’il assure la propagation des traitement entre les éléments dépendants. Le problème de cette approche vient du fait qu’il y a un risque de traduction totale de l’arbre source. En effet, c’est les éléments du documents source sont fortement liés, tous les éléments soeront traduit en XEF. Et donc on peux pas profiter du formateur source.  Risque de traduction totale Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 Toward an Adaptation and Negotiation Multimedia System

18 Bilan sur le couplage des formateurs
Le formateur source reste intact Le formateur source manipule un arbre DOM formaté Couplage partiellement indépendant du langage source Contrôleur d’incohérence Formateur composite Extracteur Traducteur Connecteur source / XEF Formateur XEF Formateur source L’architecture que j’ai proposé permet de coupler le formateur XEF avec le formateur source sans aucune modification à apporter à ce dernier La seule hypothèse faite sur le formateur source est qu’il génère un arbre dom. Donc cette architecture est incapable de coupler les formateur qui utilise les techniques SAX ou des techniques ad hoc pour traiter le document source. Un dernier point est que notre ambitieux initial est de proposer une architecture générique indépendante du langage source pour le couplage des formateurs. Cependant l’architecture que je propose n’est pas tout à fait indépendante du langage source. En effet le module de traduction dépend carrément du langage source. Par contre, l’architecture est générique en ce sens que le couplage s’effectue sur un arbre DOM standardisé. Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 Toward an Adaptation and Negotiation Multimedia System

19 Plan Contexte Problématique Couplage des langages
Couplage des formateurs Conclusion Perspectives Je viens de vous présenté les solutions que je propose aux problématiques soulevés au début de la présentation. Avant de terminer je conclue sur mes travaux. Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 Toward an Adaptation and Negotiation Multimedia System

20 Conclusions Couplage facile au niveau des langages
Couplage difficile au niveau des architectures On utilise le couplage à gros grains Expérimentation dans XSmiles, Limsee Donc, En conclusion, ces travaux montrent qu’ils existe plusieurs solutions pour le couplage des langages de présentation, en particulier Concernant, le couplage des formateurs, ces travaux constituent une 1 étape qui à permet d’identifier clairement les pbs aux quels un tel couplage doit faire face. Ces travaux ont permis également de proposer une première architecture pour ce couplage. Cette dernière est en cours d’implémentation dans deux environnement XSmiles et Limsee. Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 Toward an Adaptation and Negotiation Multimedia System

21 Perspectives Couplage à granularité intermédiaire
Particularité du langage source Exemple : lien entre les cousins (SMIL 1.0) Couplage par transformation vers un document composite Document source Document contrôle Formateur source <Smil: par> <xef:équilibrage> Il est bien évident, que ces travaux doivent être approfondis. En particulier dans 2 directions: d’un côté, je voudrai étudier la possibilité de définir une architecture à granularité intermédiaire entre les granularités déjà étudier. Dans ce cas, je pense qu’il est intéressant, de prendre en compte la spécificité de chaque langage source dans la définition de l’ordre et la granularité du formatage. En guise d’exemple; je souhaiterai étudier l’impact des types des relations qui peuvent exister entre les éléments du langage source ou même entre les éléments d’une classe de document. D’un autre côté, je voudrai, étudier les modifications à apporter au système que je propose pour supporter la technique de couplage par transformation vers un document composite. Voila, merci pour votre attention et je suis à votre dispositions pour pls d’explication. Connecteur Module d’exécution Formateur source Formateur composite Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 Toward an Adaptation and Negotiation Multimedia System