|
Réconciliation par consensus des mises à jour des répliques partielles d'un document structuré.( Télécharger le fichier original )par Milliam Maxime Zekeng Ndadji Université de Dschang - Master 2 2016 |
Conclusion généraleSommaire La problématique étudiée et les choix méthodologiques 58 Analyse critique des résultats obtenus 59 Quelques perspectives 60 Le bilan que nous faisons de notre travail est organisé comme suit : tout d'abord, nous rappelons la problématique étudiée et les choix méthodologiques opérés dans le développement de nos solutions. Ensuite, nous indiquons les résultats obtenus et les limites de ceux-ci avant de proposer un ensemble de pistes d'extension de ce travail. La problématique étudiée et les choix méthodologiques Nous avons étudié le problème de la réconciliation des répliques partielles d'un document structuré soumis à un processus d'édition coopérative asynchrone. En effet, dans un tel processus basé sur les concepts de 'vues' [BTT08, BTT07, TT09], chaque co-auteur (site d'édition) est associé à une'vue'; des répliques partielles, obtenues par projection du document global suivant les différentes vues, sont distribuées aux différents co-auteurs; chaque co-auteur édite donc sa réplique partielle conformément à un modèle local. Les répliques partielles mises à jour sont ensuite synchronisées pour fournir un document global mis à jour. Il peut arriver que plusieurs co-auteurs, ayant tous accès à une partie précise du document, l'éditent de manière concurrente; ce qui pourrait entraîner des conflits lors de la synchronisation des répliques partielles mises à jour. Il faut donc proposer un algorithme de synchronisation capable de détecter les conflits et d'y remédier (en annulant les actions d'édition les engendrant par exemple). Nous avons considéré les mêmes hypothèses et opéré les mêmes choix méthodologiques que ceux opérés dans [BTT08, BTT07, TT09], pour pouvoir apporter une solution (basée sur l'algorithme de fusion proposé dans ces travaux) au problème de la réconciliation des répliques partielles d'un document structuré. Ces hypothèses ont été principalement: l'édition positive et la séparation complète entre la structure logique du document et ses présentations concrètes; et les choix méthodologiques ont été : la modélisation des documents comme des arbres de syntaxe abstraite pour une grammaire algébrique, la considération d'une vue comme un sous-ensemble de symboles grammaticaux et l'utilisa-tion du code Haskell pour l'écriture de nos algorithmes. Ces considérations nous ont mené Analyse critique des résultats obtenus 59 Mémoire - ZEKENG NDADJI Milliam Maxime LIFA à des solutions algorithmiques là où on ne pouvait espérer obtenir de solution dans le cas général 10. Analyse critique des résultats obtenus Sachant que nous avons modélisé les documents en cours d'édition sous forme d'arbres contenant des bourgeons, et que nous avons considéré qu'une réplique partielle (forêt) d'un document t étiqueté par des symboles grammaticaux S est obtenue par projection (ðV ) de t suivant une vue V E S (sous-ensemble de symboles grammaticaux), à cette étape du travail les résultats qu'on a pu obtenir sont les suivants: Réconciliation des mises à jour des répliques partielles Au problème de la réconciliation des vues partielles d'un document structuré qui s'énonce comme suit : étant donné k vues (Vi)1<i<k et k répliques partielles (tma j Vi )1<i<k, fusionner consensuellement la famille (tma j Vi )1<i<k consiste à rechercher les plus grands documents tma j S ? G satisfaisant: / ~ S , ðVi(ti) < tma j Vi , nous avons proposé une solution. En effet, nous avons proposé un algorithme construisant un automate d'arbre qui permet de générer de tels documents. TinyCE v2 Nous avons remodelé le projet TinyCE [TT10] pour fournir un autre prototype d'édi-teur coopératif désynchronisé tout aussi embryonnaire mais qui intègre la gestion des conflits; bien plus, notre prototype peut être autant la base du développement d'une plateforme expérimentale de conception et de simulation d'applications de travail coopératif basées sur l'échange de documents structurés, que la base d'un réel éditeur coopératif (pair à pair ou non) de tels documents. Une communication liée à ce travail Le travail contenu dans ce mémoire a donné lieu à une communication co-rédigée par TCHOUPÉ TCHENDJI MAURICE et nous (ZEKENG NDADJI MILLIAM MAXIME). Ladite communication est intitulée"Réconciliation par consensus des mises à jour des répliques partielles d'un document structuré", elle comporte treize pages et sera (au moment où nous rédigeons ceci) présentée lors de la treizième édition du Colloque Africain sur la Recherche en Informatique (CARI'2016); le colloque se tiendra à Tunis (Tunisie), du 11 au 14 octobre 2016. Quelques critiques relatives, à la fois, à la preuve formelle des algorithmes proposés et au modèle grammatical choisit, peuvent être portées à ce travail: Pas de preuves mathématiques de nos algorithmes Bien que les algorithmes proposés aient été testé sur des exemples significatifs avec des résultats positifs, la preuve de leur exactitude reste à établir. Cette preuve pourra 10. Pour rappel, les études portant sur la réconciliation des versions d'un document reposent sur des heuristiques [Men02]. Quelques perspectives 60 Mémoire - ZEKENG NDADJI Milliam Maxime LIFA certainement être établie; car nos algorithmes reposent sur des objets mathématiques (non inventés dans ce travail) dont les propriétés mathématiques ont déjà été démontrées dans d'autres travaux. Grammaires généralisées Dans des documents XML il est usuel de manipuler des noeuds ayant un nombre non borné de successeurs; par exemple, pour représenter une liste, en général non ordonnée, d'éléments d'une même catégorie : employés d'une entreprise, livres d'une bibliothèque, hôtels d'un système de réservation... Il faudrait de ce point de vue utiliser des grammaires algébriques généralisées dans lesquelles les parties droites des productions sont des expressions régulières : ce que nous n'avons pas fait. Toutefois, une piste d'utilisation de telles grammaires, pouvant s'adapter à notre cas, est donnée dans [TT09]; et maintenant que nous avons une meilleure compréhension du sujet, il nous sera plus aisé de le faire. Implémentation du système coopératif Les travaux que nous menons doivent pouvoir nous mener à des outils facilitant la conception des systèmes coopératifs basés sur l'édition des documents structurés. Nous en sommes encore bien loin. Bien que notre prototype soit l'ébauche d'une telle plateforme, nous l'utilisons pour démontrer les algorithmes introduits dans ce travail. Néanmoins, avec les différentes approches considérées (gestion des conflits, fusion en pair à pair...) on peut espérer pouvoir bientôt lui donner l'orientation qui est à son origine. Quelques perspectives Ce travail porte bien son qualificatif de mémoire vu que, bien qu'il présente quelques résultats, il n'est que l'ébauche d'un ensemble de travaux bien plus grands et bien plus consistants, qui pourraient faire l'objet d'études dans un cadre bien plus important (une thèse de doctorat par exemple). Nous listons ici, quelques uns de ces possibles travaux: Extension aux grammaires généralisées Étendre le travail aux grammaires algébriques généralisées pour prendre en compte les DTD qu'on rencontre usuellement dans la pratique. Preuves mathématiques et évaluation Présenter les preuves mathématiques de la validité des algorithmes proposés ainsi qu'une étude de leur complexité. TinyCE v2 sous forme de plug-in On pourrait, outre un logiciel autonome, construire une version de TinyCE v2 sous forme de plug-in (extension) pour des IDE (Integrated Development Environment) tels que Eclipse 11 ou NetBeans 12, permettant ainsi l'édition coopérative efficace des documents structurés.
61 |
|
