Outils pour utilisateurs

Outils du site


public:specs_editeur_xml

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision
Révision précédente
public:specs_editeur_xml [2014/05/12 15:30]
matthieu.decorde@ens-lyon.fr
public:specs_editeur_xml [2016/07/27 17:19] (Version actuelle)
slh@ens-lyon.fr
Ligne 1: Ligne 1:
-====== ​Editeur ​XML ======+====== ​Éditeur ​XML ======
  
 ===== Objectif ===== ===== Objectif =====
  
-Aider l'​utilisateur à préparer ​ses sources XML dans TXM+Aider l'​utilisateur à éditer ​ses sources XML dans TXM puis aider à piloter tout l'​écosystème XML : passage TXT <-> XML, conformité,​ validation, scripts de vérification de contraintes propres à certains formats (XML-Transcriber - marques de synchronisation...) ou à des encodages courants (numérotation exhaustive ou continue d'​éléments - comme les propriétés de mots ou les numéros de page ou les adresses de facsimilés,​ patterns d'​encodages...),​ scripts d'​assistance à l'​ajout d'​encodages (sauts de page, numérotation automatique...),​ XSLT, etc. Peut-être aider à manipuler le XML-TXM un jour.
  
 ===== Méthode ===== ===== Méthode =====
  
-Produire ou utiliser ​un plugin XML qui pourra être proposé parmis ​les extensions de TXM (ou directement ​dans TXM ?)+Utiliser ​un plugin XML existant. 
 + 
 +**Question importante :** 
 + 
 + ​Faut-il intégrer directement ce plugin XML ou alors le proposer parmi les extensions de TXM 
 + 
 +**Réponse** 
 + 
 +À terme, l'​éditeur XML devra être intégré nativement ​dans TXM à côté de l'​éditeur de TXT. 
 + 
 +Ils devront se conformer au protocole natif d'​Eclipse d'​association d'​éditeurs aux extensions de fichiers : 
 +  * choix de l'​éditeur à l'​ouverture par la commande '​Fichier > Ouvrir'​ : 
 +    * TXT, .properties -> éditeur de TXT 
 +    * XML, XSD, XSL -> éditeur de XML 
 +  * choix du type de document à éditer (XML ou TXTpar la commande '​Fichier > Nouveau document'​
  
-==== État de la plateforme ==== 
-==== Avancement dans l'​élaboration de la solution ==== 
 ===== Solution ===== ===== Solution =====
 +
 ==== État de l'art ==== ==== État de l'art ====
  
 Il existe plusieurs éditeurs XML : Il existe plusieurs éditeurs XML :
 +  * XML editor (Natif Eclipse RCP)
   * XMLEspresso (Market Eclipse)   * XMLEspresso (Market Eclipse)
   * Rinzo XML Editor (Market Eclipse)   * Rinzo XML Editor (Market Eclipse)
-  * XML editor (Natif Eclipse RCP) 
  
 Tous ces éditeurs s'​appuient sur le système de Workspace et de Project d'​Eclipse pour ouvrir leurs éditeurs respectifs. Tous ces éditeurs s'​appuient sur le système de Workspace et de Project d'​Eclipse pour ouvrir leurs éditeurs respectifs.
Ligne 24: Ligne 37:
   * Soit modifier l'​actuelle commande "​Ouvrir..."​ de TXM pour ouvrir le bon éditeur de fichier (TXT ou XML ou WEB) (Il faut aussi prévoir un moyen de choisir l'​association extension-editeur)   * Soit modifier l'​actuelle commande "​Ouvrir..."​ de TXM pour ouvrir le bon éditeur de fichier (TXT ou XML ou WEB) (Il faut aussi prévoir un moyen de choisir l'​association extension-editeur)
   * Soit utiliser le système de Workspace et de Project d'​Eclipse pour la gestion des fichiers = remplacer la vue actuelle "​Fichier"​ et changer le "​default workspace location"​   * Soit utiliser le système de Workspace et de Project d'​Eclipse pour la gestion des fichiers = remplacer la vue actuelle "​Fichier"​ et changer le "​default workspace location"​
 +
 +Tableau de comparaison :
  
 <​code>​ <​code>​
-Plugin XML XML design DTD CSS COMPLETION +Plugin ​Name XML XMLd DTD CSS COMPLETION 
-XML Eclipse X X X O X+XML editor X X X O X
 XMLEspresso X X X X O XMLEspresso X X X X O
 Rinzo XML X X O O O Rinzo XML X X O O O
 </​code>​ </​code>​
  
-==== Prototypes ​==== +Remarques sur le tableau : 
-==== Version finale ​====+  * XMLd ? 
 +  * ajouter XSL ? 
 +  * ajouter : 
 +    * coloration syntaxique (XML, XSL...) 
 +    * validation DTD, XSD 
 +    * validation RNG 
 +    * assistant de complétion de balise/​attribut 
 +    * assistant de suggestion contextuelle de balise/​attribut 
 +    * assistant de pattern à insérer 
 +    * validation temps réel/​continue 
 +    * gestion de catalogue 
 + 
 +=== Features supplémentaires d'un éditeur XML pour l'​apprentissage d'​XML/​TEI relevée par le wiki de la TEI === 
 + 
 +Voir [[http://​wiki.tei-c.org/​index.php/​Editor_for_teaching_TEI_-_features]] : 
 +  * multi-plateforme 
 +  * facile à utiliser 
 +  * transformation XSLT 2 
 +  * gratuit 
 +  * requêtes XPath (>2.0) 
 +  * gestion de projet Oxygen ​ (configuration of validation, transformation and templating; or an equivalent system) 
 +  * màj du schéma TEI intégré à chaque mise à jour 
 + 
 +**Features idéaux supplémentaires** : 
 +  * open-source 
 +  * documentation intégrée 
 +  * bibliothèque de templates 
 +  * coloration syntaxique XQuery 
 + 
 +==== Solution courante : plugin XML editor ​==== 
 + 
 +Nous avons choisi cet éditeur. 
 + 
 +Il a commencé à être diffusé comme extension [[https://​groupes.renater.fr/​wiki/​txm-users/​public/​extensions_beta#​xmleditor]]. 
 ===== Documentation ===== ===== Documentation =====
 ==== Utilisateur ==== ==== Utilisateur ====
 +
 +La documentation a commencé à être rédigée [[http://​sourceforge.net/​projects/​txm/​files/​documentation/​Manuel%20editeur%20XML%20de%20TXM.pdf/​download]].
 +
 ==== Développeur ==== ==== Développeur ====
 ===== Recette ===== ===== Recette =====
 ==== Protocole de test ==== ==== Protocole de test ====
 === Alpha === === Alpha ===
-=== Beta === +
-==== État courant ==== +
-Qui Quand Quoi+
public/specs_editeur_xml.1399901453.txt.gz · Dernière modification: 2014/05/12 15:30 par matthieu.decorde@ens-lyon.fr