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 ...
Read More
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.
Read Less
