JOME, un Composant Logiciel pour le Télé-Enseignement des Mathématiques via le WEB, Compatible OpenMath et MathML Laurent DIRAT OVE / I3S-UNSA Mercredi 18 Octobre 2000 TICE 2000, Troyes
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
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
Problèmes de Notation
Problèmes de Notation Convention de Notation sin (x) vs f (x) 2 -1 sin (x) vs f (x) -2
Problèmes de Notation Convention de Notation sin (x) vs f (x) 2 -1 sin (x) vs f (x) -2 Contexte a x + b x + c x + d x + e ei 4 3 2
Problèmes de Notation Convention de Notation sin (x) vs f (x) 2 -1 -2 sin (x) vs f (x) Contexte a x + b x + c x + d x + e ei 4 3 2 Syntaxe Utilisée f(x)dx ou f(y)dy
Représentation Formelle des Mathématiques MathML OpenMath
MathML Recommandation du World Wide Web Consortium (W3C) Application XML Objectif : Etre aux Mathématiques ce que HTML Est au Texte sur Internet
MathML 2 Sortes d’Encodage Encodage Présentation (Presentation MathML) Encodage Sémantique (Content MathML)
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)
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> Encodage de sin(x)
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
OpenMath
OpenMath Content Dictionaries Phrasebook Encodages XML et Binaire 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> Encodage de sin(x)
OpenMath vs MathML OpenMath est Extensible <OMS cd=“transc1” name=“sin” /> Par Opposition à <sin/> OpenMath ne Décrit que la Sémantique
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
JOME Java OpenMath Editor Visualisateur de Formules Interactif Sélection Manipulations : Iconification, Glisser-Déplacer
JOME Java OpenMath Editor Visualisateur de Formules Interactif Sélection Manipulations : Iconification, Glisser-Déplacer Extensible Fichiers de Ressources Système de Plug-Ins
JOME Java OpenMath Editor 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
Cours Interactifs Applets à Base de JOME Connectées Ensemble Tout Changement Est Répercuté Sur les Dépendences
Cours Interactifs Format XML Formules OpenMath XSL Transforme le XML en HTML Formule Applet JOME
Un Environnement Pour le Télé-Enseignement OM Etudiante 1 Serveur Etudiant 1 Etudiant 2
Un “Talk” Mathématique Le Professeur L ’ Etudiant
Un Environnement Pour le Télé-Enseignement OM Professeur Serveur Etudiante 1 Etudiant 2 Etudiant 1
Une Interface à une Base de Données Communication Via des Objets OpenMath Content Dictionary Spécifique
Un Environnement Pour le Télé-Enseignement CAS OM Serveur Etudiante 1 Etudiant 2 Etudiant 1 Professeur OM BD
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
Conclusion JOME Est Compatible Avec les Principaux Standards de Représentation Formelle des Mathématiques OpenMath MathML (Encodage Sémantique)
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.
Conclusion JOME, Brique Elémentaire d’un Environnement de Télé-Enseignement des Mathématiques via le WEB