Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 1 Fateh...

21
Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 1 Fateh BOULMAIZ [email protected] Projet WAM INRIA Rhône Alpes Cécile Roisin Frederic Bes

Transcript of Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 1 Fateh...

Page 1: Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 1 Fateh BOULMAIZ Fateh.Boulmaiz@inrialpes.fr Projet WAM INRIA Rhône.

Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 1

Fateh [email protected]

Projet WAMINRIA Rhône Alpes

Cécile RoisinFrederic Bes

Page 2: Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 1 Fateh BOULMAIZ Fateh.Boulmaiz@inrialpes.fr Projet WAM INRIA Rhône.

Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 2

Plan

1 Contexte

2 Problématique

3 Couplage des langages

4 Couplage des formateurs

5 Conclusion

6 Perspectives

Page 3: Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 1 Fateh BOULMAIZ Fateh.Boulmaiz@inrialpes.fr Projet WAM INRIA Rhône.

Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 3

Dimension logique

• Document Multimédia

image

son

vidéo

animation

texte

Contexte du travail

temps

Image

Vidéo

Image

texteanimation

Dimension temporelle

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

Dimension spatiale

Page 4: Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 1 Fateh BOULMAIZ Fateh.Boulmaiz@inrialpes.fr Projet WAM INRIA Rhône.

Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 4

Présentation d’un Document multimédia

Module Module d’exécutiond’exécution

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

FormateurFormateur

temps

Document Multimédia

Document formaté

Algorithme de résolution

Page 5: Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 1 Fateh BOULMAIZ Fateh.Boulmaiz@inrialpes.fr Projet WAM INRIA Rhône.

Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 5

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= “réduire(p1), supprimer (p2)”>

</par>

XEF : un langage de contrôle de formatage

<par id=“RésuméFilm1” repli=alt(seq2)….>

</par>

Page 6: Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 1 Fateh BOULMAIZ Fateh.Boulmaiz@inrialpes.fr Projet WAM INRIA Rhône.

Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 6

Plan

1 Contexte

2 Problématique

3 Couplage des langages

4 Couplage des formateurs

5 Conclusion

6 Perspectives

Page 7: Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 1 Fateh BOULMAIZ Fateh.Boulmaiz@inrialpes.fr Projet WAM INRIA Rhône.

Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 7

Motivation

Un langage qui gère la flexibilité et le contrôle

Profiter de ce langage pour augmenter la flexibilité des autres langages

Page 8: Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 1 Fateh BOULMAIZ Fateh.Boulmaiz@inrialpes.fr Projet WAM INRIA Rhône.

Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 8

• 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

Sujet de mon stage

Document formaté

Module Module d’exécutiond’exécution

Langage de présentation (SMIL, Madeus, SVG, MathML)

FormateurFormateursourcesource

Contrôles XEF

Formateur Formateur XEFXEF

Page 9: Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 1 Fateh BOULMAIZ Fateh.Boulmaiz@inrialpes.fr Projet WAM INRIA Rhône.

Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 9

Plan

1 Contexte

2 Problématique

3 Couplage des langages

4 Couplage des formateurs

5 Conclusion

6 Perspectives

Page 10: Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 1 Fateh BOULMAIZ Fateh.Boulmaiz@inrialpes.fr Projet WAM INRIA Rhône.

Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 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

<par_temporel id=“RésuméFilm1” repli=alt(seq2)….>

</par_temporel>

Page 11: Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 1 Fateh BOULMAIZ Fateh.Boulmaiz@inrialpes.fr Projet WAM INRIA Rhône.

Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 11

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

FormatageTransformationTransformation

Document composite

SMILDeux 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éFormatage

SMILFormateur

SMIL

Formateur XEF

Page 12: Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 1 Fateh BOULMAIZ Fateh.Boulmaiz@inrialpes.fr Projet WAM INRIA Rhône.

Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 12

Plan

1 Contexte

2 Problématique

3 Couplage des langages

4 Couplage des formateurs

5 Conclusion

6 Perspectives

Page 13: Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 1 Fateh BOULMAIZ Fateh.Boulmaiz@inrialpes.fr Projet WAM INRIA Rhône.

Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 13

• ObjectifsProfiter 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

Couplage au niveau des formateurs

Page 14: Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 1 Fateh BOULMAIZ Fateh.Boulmaiz@inrialpes.fr Projet WAM INRIA Rhône.

Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 14

Quelle architecture de couplage? • Deux techniques de couplage des formateurs

– Couplage à granularité fine – Couplage à gros grains

<Smil: par> <xef:équilibrage>

Formateur XEF

Formateur composite

Formateur source

Formateur XEF

Formateur source

Document source

Document de contrôle

Granularité fine Granularité à gros grains

Formateur composite

Page 15: Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 1 Fateh BOULMAIZ Fateh.Boulmaiz@inrialpes.fr Projet WAM INRIA Rhône.

Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 15

Contrôleur d’incohérence

Formateur composite

Formateur

DOM XEF formaté

DOM XEF brut

Couplage à gros grains

Document source

Parseur

source

Formateur

DOM source brut

DOM source formaté

Formateur source

Document de contrôle

(XEF)

Parseur

XEFDOM XEF + sélecteurs

Formateur XEF

Extracteur

Traducteur

Connecteur source / XEF

• Lien des données (extracteur +traducteur)

• Lien sur l’arbre DOM (couplage de données) couplage faible

Page 16: Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 1 Fateh BOULMAIZ Fateh.Boulmaiz@inrialpes.fr Projet WAM INRIA Rhône.

Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 16

Contrôleur d’incohérence

Formateur composite

Formateur

DOM XEF formaté

DOM XEF brut

ExtracteurDocument de contrôle

(XEF)

Parseur

XEFDOM XEF + sélecteurs

Formateur XEF

Document source

Parseur

source

Formateur

DOM source brut

DOM source formaté

Formateur source

Traducteur

Connecteur source / XEF

partiel

Extraction partielle

Risque de cycles

Extracteur

Page 17: Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 1 Fateh BOULMAIZ Fateh.Boulmaiz@inrialpes.fr Projet WAM INRIA Rhône.

Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 17

Contrôleur d’incohérence

Formateur composite

Formateur

DOM XEF formaté

DOM XEF brut

ExtracteurDocument de contrôle

(XEF)

Parseur

XEFDOM XEF + sélecteurs

Formateur XEF

Document source

Parseur

source

Formateur

DOM source brut

DOM source formaté

Formateur source

Traducteur

Connecteur source / XEF

partiel

Extraction transitive

Extracteurtransitif

Risque de traduction totale

Page 18: Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 1 Fateh BOULMAIZ Fateh.Boulmaiz@inrialpes.fr Projet WAM INRIA Rhône.

Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 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 XEFFormateur source

Page 19: Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 1 Fateh BOULMAIZ Fateh.Boulmaiz@inrialpes.fr Projet WAM INRIA Rhône.

Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 19

Plan

1 Contexte

2 Problématique

3 Couplage des langages

4 Couplage des formateurs

5 Conclusion

6 Perspectives

Page 20: Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 1 Fateh BOULMAIZ Fateh.Boulmaiz@inrialpes.fr Projet WAM INRIA Rhône.

Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 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

Page 21: Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 1 Fateh BOULMAIZ Fateh.Boulmaiz@inrialpes.fr Projet WAM INRIA Rhône.

Soutenance de DEA Informatique : Système et Communication. Fateh Boulmaiz, 23 Juin 2003 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

Formateur source

Formateur source

Connecteur

Document source

Document contrôle

Module d’exécution

Formateur composite

<Smil: par>

<xef:équilibrage>