Modélisation grammaticale d'un workflow d'édition coopérative

Un document structur complexe est repr sent intentionnellement par 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 cet ouvrage, 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 posons 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 de donn 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 associ une co-alg bre . Ainsi pr sent , fusionner les diverses vues partielles revient construire l'intersection des ensembles r guliers d'arbres correspondants chacune des vues.