Table des figures
1.1 - Matrice 2 x2 de Johansen [Joh88] pour la
catégorisation des systèmes de CSCW. 9 1.2 - Matrice 3 x
3 de Grudin pour la catégorisation des systèmes de
CSCW [Sar05]. 10
1.3 - Un exemple de document structuré XML contraint par
une DTD. 13
1.4 - Un exemple de diagramme d'orchestration BPMN, illustrant
le processus de
sélection d'un étudiant dans une des
filières de la FS UDs. 16
2.1 - Représentation graphique d'un arbre et indexation de
ses éléments. 21
2.2 - Un AST et l'arbre de dérivation qu'il
détermine 22
2.3 - Illustration de la procédure de vérification
de la conformité d'un arbre à partir
d'un automate d'arbre 24
2.4 - Un diagramme d'orchestration
BPMN pour le processus d'édition coopérative
désynchronisée. 26
2.5 - Exemple de projections et de mises à jour
effectuées sur un document 27
2.6 - Exemple de projections inverses d'une réplique
partielle 28
2.7 - Linéarisation d'un arbre
(tma j
v1 ) : on a associé les symboles de Dyck
'(1' et
')1'
(resp. '(2' et
')2') au symbole grammatical A
(resp. B) 29
3.1 - Fusion consensuelle progressive de deux documents 36
3.2 - Exemple de workflow d'une édition avec conflit et
consensus correspondant. . 40
3.3 - Arbres consensuels générés à
partir de l'automate (sc). 43
4.1 - Le logo de TinyCE v2. 46
4.2 - L'architecture de TinyCE v2. 47
4.3 - Utilisation de TinyCE v2 en mode serveur (poste 1) :
création du work-
flow ExempleChapitre3 avec 3 acteurs (Maxim10
(propriétaire ayant une vue globale), Auteur1
(associé à la vue '1"1 =
{A,B}) et Auteur2 (associé à
la vue
'1"2 = {A,C}))
55
4.4 - Utilisation de TinyCE v2 par le co-auteur Auteur1 :
authentification et connexion
au workflow ExempleChapitre3 55
4.5 - Modèle
local et réplique partielle obtenus par le co-auteurAuteur1,
à partir du
modèle et du document initial du workflow
ExempleChapitre3. 56
4.6 - Édition de sa réplique
partielle par Auteur1, conformément au modèle local
reçu. 56 4.7 - Consensus obtenu après synchronisation des mises
à jour apportées sur leurs
répliques partielles respectives, par les co-auteurs
Auteur1 et Auteur2. 57
A.1 - AST et arbre de dérivation
généré à partir de l'automate consensuel
(sc). . . .
68
vi
Résumé
Le travail réalisé dans ce mémoire
s'inscrit dans le domaine du CSCW (Computer Supported Cooperative Work);
plus précisément, il contribue aux travaux sur
l'édition coopérative des documents et a pour but, la production
d'un algorithme de fusion des répliques partielles d'un document
structuré. En fait, dans un workflow d'édition coopérative
asynchrone d'un document structuré, chacun des co-auteurs reçoit
au cours des différentes phases du processus d'édition une copie
du document pour y insérer sa contribution. Pour des raisons de
confidentialité, cette copie peut n'être qu'une réplique
partielle ne contenant que les parties du document (global) qui sont d'un
intérêt avéré pour le coauteur
considéré. Remarquons que certaines parties peuvent être
d'un intérêt avéré pour plus d'un co-auteur; elles
seront par conséquent accessibles et éditables en concurrence.
Quand vient le moment de la synchronisation (à la fin d'une phase du
processus d'édition par exemple), il faut alors fusionner toutes les
contributions de tous les co-auteurs en un document unique. Du fait de
l'asynchronisme de l'édition et de l'existence potentielle des parties
offrant des accès concurrents, des conflits peuvent surgir et rendre les
répliques partielles non fusionnables dans leur entièreté
: on dit que ces répliques sont incohérentes ou en conflit. Nous
proposons dans ce mémoire une approche de fusion (basée sur le
modèle d'édition coopérative proposé dans [BTT08,
BTT07, TT09]) dite par consensus de telles répliques partielles à
l'aide des automates d'arbres. Plus précisément, à partir
des répliques partielles mises à jour, nous construisons un
automate d'arbre dit du consensus qui accepte et/ou engendre exactement les
préfixes maximums ne contenant pas de conflit des répliques
partielles fusionnées. Ces préfixes maximums constituent les
documents du consensus.
Mots clés : Documents
structurés, Workflow d'édition Coopérative, Fusion des
répliques partielles, Conflits, Consensus, Automates d'arbre, Produit
d'automates, Évaluation paresseuse, TinyCE v2.
vii
| 
