en fr A grammatical approach for the merging of patials replicates of a structured document: application to asynchronous cooperating edition Une approche grammaticale pour la fusion des réplicats partiels d’un document structuReportar como inadecuado




en fr A grammatical approach for the merging of patials replicates of a structured document: application to asynchronous cooperating edition Une approche grammaticale pour la fusion des réplicats partiels d’un document structu - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 Faculté des Sciences - Université de Dschang Cameroun

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 globalcohé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 anamorphismeassocié à 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.

Résumé : 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.

en fr

Keywords : Context-free grammar Évaluation paresseuse Intentional representation Coherence of views Lazy evaluation Tree automata Anamorphism Partial replication

Mots-clés : DTD Grammaire algébrique Représentation intentionnelle Cohérence de vues Automates d’arbres Anamorphisme Réplicat partiel.





Autor: Maurice Tchoupe Tchendji -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados