Préservation des intentions et maintien de la cohérence des données répliquées en temps réel

Intentions Preservation and Consistency Maintenance for Real Time Replicated Data

• Auteur / Autrice : Luc André
• Direction : François Charoy, Gérald Oster
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 13/05/2016
• Etablissement(s) : Université de Lorraine
• Ecole(s) doctorale(s) : École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine
• Partenaire(s) de recherche : Laboratoire : Laboratoire lorrain de recherche en informatique et ses applications
• Jury : Président / Présidente : Pierre-Etienne Moreau
• Jury : Examinateurs / Examinatrices : Nuno Preguiça
• Jury : Rapporteurs / Rapporteuses : Sophie Chabridon, Guillaume Pierre

Mots clés

Mots clés contrôlés

Logiciels de groupe

Temps réel (informatique)

Édition collaborative

Travail collaboratif

Mots clés libres

Travail assisté par ordinateur

Édition collaborative

Temps-Réel

CSCW

Collaborative editing

Real-Time

Résumé

L'édition collaborative en temps réel permet à plusieurs utilisateurs d'éditer un même document simultanément grâce à des outils informatiques. Les applications d'édition collaborative en temps réel répliquent les données éditées chez chaque utilisateur, pour garantir une édition des données réactive et possible à chaque instant. Les conflits d'édition sont fréquents, et doivent être gérés automatiquement par l'application. L'application doit faire converger toutes les répliques vers un document commun, qui contient toutes les modifications exprimées par tous les utilisateurs. Les algorithmes actuels fonctionnent de manière satisfaisante pour des types de données simples et des possibilités d'édition minimes. Lorsque le document est plus complexe (document XML, texte structuré), ou qu'il peut être édité avec un ensemble élargi d'opérations (déplacement de texte, styliser du texte), lors de la résolution de conflits d'édition, les algorithmes échouent à proposer un contenu qui convienne aux utilisateurs. Les intentions des utilisateurs ne sont pas respectées. L'objectif de cette thèse est de proposer des algorithmes d'édition collaborative en temps réel qui respectent mieux les intentions des utilisateurs que les algorithmes actuels.Pour cela, nous étudions deux approches de la littérature nommées transformées opérationnelles et modèles de données répliquées commutatives, et montrons comment il est possible d'attribuer plus de sémantique aux opérations de base des algorithmes d'édition collaborative, ce qui permet aux utilisateurs d'exprimer avec plus de moyens leurs intentions, et aux algorithmes de résoudre plus efficacement les conflits d'édition

Real-time collaborative editors, like GoogleDocs or Etherpad, allow the simultaneous edition of a document by several users. These applications need to replicate the edited document, for the so called real-time purpose of permitting a fast and reactive editing by any user at any time. Editing conflicts frequently occur, and must be automatically handled by the application, in order to provide every users with the same copy of the document, containing every modifications issued. Most of current real-time collaborative editing algorithms were designed for simple data structures, like linear text, and simple editing ways, like inserting or removing a character only. These algorithms fail to offer an appropriate editing conflict resolution when used with a complex data structure, like XML, or with complex operations, like moving some text or adding some style. Copies are the sames but users' intentions are not preserved. The goal of this thesis is to design new real-time collaborative editing algorithms that ensure a better preservation of users' intentions. The first contribution of this thesis is an algorithm based on the Operational Transformation approach (OT). Our contribution is designed to handle rich text document (with stylized text and paragraphs) and to preserve the intentions of a set of high editing level operations (add style, merge paragraphs...). The second contribution uses the Commutative Replicated Data Types approach (CRDT), and offers an algorithm which preserves the update intention, while improving global performance of the approach when dealing with large blocs of data