Modelisation grammaticale d'un workflow d'edition cooperative

Un document structur complexe est reprsent intentionnellement par une structure arborescente dcore par des attributs. Si on ne s'intresse qu'aux aspects purement structurels, les documents licites peuvent tre caractriss par une grammaire algbrique abstraite. Dans cet ouvrage, aprs avoir montr comment l'dition cooprative de tels documents peut tre tudie au moyen d'un modle inspir des modles workflow, nous posons et donnons une solution au problme de la fusion en un document global (cohrent) de diverses vues partielles d'un document dites de faon asynchrone. A cette fin, nous reprsentons l'ensemble (potentiellement infini) de documents compatibles avec une vue partielle donne par une structure de donnes co-inductive appele arne. Cette structure encapsule un ensemble rgulier d'arbres et peut tre considre comme l'image d'une vue partielle du document par le morphisme canonique associ une co-algbre . Ainsi prsent, fusionner les diverses vues partielles revient construire l'intersection des ensembles rguliers d'arbres correspondants chacune des vues.