3.3. Synthèse
Nous avons présenté dans ce chapitre une
approche de réconciliation dite par consensus, des
répliques partielles d'un document soumis à un processus
d'édition coopérative asynchrone. L'approche proposée
s'appuie sur une relaxation du produit synchrone d'auto-mates d'arbre pour
construire un automate pouvant générer les documents du
consensus. Les algorithmes présentés ici ont été
implémentés en haskell [Has, GHC, HPHF99] et
expérimentés sur bien des exemples (dont celui
présenté à la section 3.2.3 et celui
présenté
3.3. Synthèse 44
Mémoire - ZEKENG NDADJI Milliam Maxime
LIFA
dans l'annexe6 A) avec des résultats
probants. Nous nous investissons actuellement à la production des
preuves mathématiques (formelles) des différents algorithmes
proposés. Dans le chapitre suivant, nous présentons un prototype
d'éditeur, qui permettrait d'expé-rimenter, via une interface
graphique, les algorithmes proposés dans un environnement
véritablement distribué.
6. Nous présentons dans cette annexe un exemple
d'application de notre algorithme à un workflow d'édi-tion
coopérative sans conflit.
45
| 
