Laurent DIRAT OVE / I3S-UNSA Mercredi 18 Octobre 2000 TICE 2000, Troyes

1

JOME,

un Composant Logiciel pour le Télé-Enseignement des Mathématiques via le WEB, Compatible OpenMath et MathML

Laurent DIRATOVE / I3S-UNSA

Mercredi 18 Octobre 2000TICE 2000, Troyes

2

Plan

• Le Problème des Mathématiques sur le WEB

• Représentation Formelle des Mathématiques

• JOME• Un Environnement de Télé-

Enseignement Via le WEB

3

Des Maths Sur le WEB

• Pas de Rendu en Natif dans les Navigateurs– Notation Bi-Dimensionnelle – Problèmes de Symboles

• Comment ?– Images– Applets– Plug-Ins

4

Problèmes de Notation

5

2 2

-1 -1

sin (x) vs f (x)-2 -2


• Convention de Notation– sin (x) vs f (x) – sin (x) vs f (x)

6

Contexte a x + b x + c x + d x + e ei

2 2

-1 -1

4 3 2

sin (x) vs f (x)-2 -2



7

Contexte a x + b x + c x + d x + e ei

Syntaxe Utilisée f(x)dx ou f(y)dy

2 2

-1 -1

4 3 2

sin (x) vs f (x)-2 -2



8

Représentation Formelle des Mathématiques

• MathML• OpenMath

9

MathML

• Recommandation du World Wide Web Consortium (W3C)

• Application XML• Objectif : Etre aux

Mathématiques ce que HTML Est au Texte sur Internet

10

MathML

• 2 Sortes d’Encodage– Encodage Présentation

(Presentation MathML)– Encodage Sémantique (Content

MathML)

11

Encodage Présentation

• Philosophie TeX• Large Eventail de Symboles• Large Eventail de Constructions

Graphiques• etc.

<mathml> <mrow> <mi>sin</mi>

<mo>⁡</mo>

<mi>x</mi> </mrow></mathml>

Encodage de sin(x)

12

Encodage de sin(x)

Encodage Sémantique

• Nombre Fini de Symboles (~ 90)

• Eléments Vides (au sens XML)

• Domaine Première Année d’Université

• <mathml>• <apply>• <sin/>• <ci>x</ci>• </apply>• </mathml>

13

OpenMath

• Standard Indépendant de Toute Plate-Forme pour un Encodage Sémantiquement Riche de Formules Mathématiques

• Permettre les Echanges Entre Applications Hétérogènes

14

OpenMath

15

Encodage de sin(x)

OpenMath

• Content Dictionaries– Symboles /

Opérateurs– Sémantique

• Phrasebook– Conversion

OpenMath Structure Interne

– Et Vice Versa

• Encodages XML et Binaire

• <OMOBJ>• <OMA>• <OMS

cd=“transc1” name=“sin” />

• <OMV name=“x” />

• </OMA>• </OMOBJ>

16

OpenMath vs MathML

• OpenMath est Extensible– <OMS cd=“transc1” name=“sin” />

Par Opposition à

<sin/>

• OpenMath ne Décrit que la Sémantique

17

OpenMath vs MathML

• Ils Sont Complémentaires :– Utilisation de MathML

Recommandée pour Afficher de l’OpenMath

– Utilisation d’ OpenMath Recommandée pour Encoder la Sémantique dans MathML

18

JOMEJava OpenMath Editor

• Visualisateur de Formules Interactif

• Sélection

• Manipulations : Iconification, Glisser-Déplacer

19


• Visualisateur de Formules Interactif– Sélection– Manipulations : Iconification,

Glisser-Déplacer

• Extensible– Fichiers de Ressources– Système de Plug-Ins

20


• Composant Logiciel Autonome– Un Java Bean– Peut Etre Intégré dans des Outils

de Développement Visuels• Visual Café, Visual Age, JBuilder, etc.

– Toutes Sortes d’Applications Peuvent Etre Créées Facilement• A la Souris• Sans Ecrire une Ligne de Code

21

Applets à Base de JOMEConnectées EnsembleTout Changement Est Répercuté Sur les Dépendences

Cours Interactifs

22

Format XMLFormules OpenMath XSL Transforme le XML en HTML

Formule

Applet JOME

CoursInteractifs

23

Serveur

Etudiante 1

Etudiant 2Etudiant 1

OM OM

OM

Un Environnement Pour le Télé-Enseignement

24

Le Professeur L ’ Etudiant

Un “Talk” Mathématique

25

Serveur

Etudiante 1


Professeur

OM

OM

OM

OM


26

Communication Via des Objets OpenMathContent Dictionary Spécifique

Une Interface à une Base de Données

27

Serveur

Etudiante 1


Professeur

BD

BD

CAS

CAS

OM

OM

OM

OMOM


28

Conclusion

• JOME Met des Mathématiques Interactives dans des Pages WEB

• JOME Est Facile à Utiliser– C ’Est un Composant Logiciel

• Il Est Facilement Intégrable dans Différentes Applications

• Il n ’Est Pas Nécessaire d ’Etre un Programmeur Java Expert.On Construit les Programmes à la Souris

29

Conclusion

• JOME Est Compatible Avec les Principaux Standards de Représentation Formelle des Mathématiques– OpenMath– MathML (Encodage Sémantique)

30

Conclusion

• JOME Est Multi-Usages– Toutes Sortes d ’ Applications

• Editeur Interactif• Interface de Communication à des

Systèmes sur le WEB– Cours Interactifs – « Talk » Mathématique– Bases de Données

• etc.

31

Conclusion

• JOME, Brique Elémentaire d’un Environnement de Télé-Enseignement des Mathématiques via le WEB

Laurent DIRAT OVE / I3S-UNSA Mercredi 18 Octobre 2000 TICE 2000, Troyes

Documents