Un document structuré complexe est représenté intentionnellement par une structure arborescente décorée par des attributs. Si on ne sintéresse quaux 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 dun 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 dun document éditées de façon asynchrone. A cette fin, nous représentons lensemble (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 darbres et peut être considérée comme limage dune vue partielle du document par le morphisme canonique associé à une co-algèbre . Ainsi présenté, fusionner les diverses vues partielles revient à construire lintersection des ensembles réguliers darbres correspondants à chacune des vues.
Veja mais