Une approche grammaticale pour la fusion des réplicats partiels d’un document structuré : application à l’édition coopérative asynchrone

Abstract

Un document structuré complexe est représenté intentionnellement sous la forme d’une structure arborescente décorée par des attributs. Si on ne s’intéresse qu’aux aspects purement structurels, les documents licites peuvent être caractérisés par une grammaire algébrique abstraite. Dans cette thèse,après avoir montré comment l’édition coopérative de tels documents peut être étudiée au moyen d’un modèle inspiré des modèles workflow, nous po-sons et donnons une solution au problème de la fusion en un document global(cohérent) de diverses vues partielles d’un document éditées de façon asynchrone. A cette fin, nous représentons l’ensemble (potentiellement infini) de documents compatibles avec une vue partielle donnée par une structure dedonnées co-inductive appelée arène. Cette structure encapsule un ensemble régulier d’arbres et peut être considérée comme l’image d’une vue partielle du document par le morphisme canonique (anamorphisme)associé à une co-algèbre (un automate d’arbres). Ainsi présenté, fusionner les diverses vues partielles revient à construire l’intersection des ensembles réguliers d’arbres correspondants à chacune des vues ; cette intersection peut être obtenue en utilisant une opération de synchronisation définie sur les automates d’arbres.Nous présentons un outil sommaire permettant de faire la démonstration de l’algorithmique issue de ce travail.A complex structured document is intentionnally represented as a tree decorated with attributes. If we focus our attention to purely structural as-pects, the set of legal documents can be fully caracterized by an abstractcontext-free grammar. In this thesis we address the problem of the coopera-tive edition of structured documents in a distributed workflow system. We present and give a solution to the problem of how to merge a set of partialviews of a document (edited asynchronously) into one global coherent docu-ment. For that purpose, we represent the potentially infinite set of documents compatible with a given partial view as a coinductive data structure. Thisset is a regular set of trees that can be obtained as the image of the partial view of the document by the canonical morphism (anamorphism) associated with a coalgebra (some kind of tree automaton). Merging partial views thenamounts to computing the intersection of the corresponding regular sets of trees which can be obtained using a synchronization operation on tree auto-mata. We present a tool for demonstrating the various algorithms resultingfrom our study