Towards Synchronizing Linear Collaborative Objects with Operation Transformation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2005

Towards Synchronizing Linear Collaborative Objects with Operation Transformation


A collaborative object represents a data type (such as a text document or a filesystem) designed to be shared by multiple geographi- cally separated users. Data replication is a technology to improve perfor- mance and availability of data in distributed systems. Indeed, each user has a local copy of the shared objects, upon which he may perform up- dates. Locally executed updates are then transmitted to the other users. This replication potentially leads, however, to divergent (i.e. different) copies. In this respect, Operational Transformation (OT) algorithms are applied for achieving convergence of all copies, i.e. all users view the same objects. Using these algorithms users can apply the same set of updates but possibly in different orders since the convergence should be ensured in all cases. However, achieving convergence with the OT approach is still a critical and challenging issue. In this paper, we address an open convergence problem when the shared data has a linear structure such as list, text, ordered XML tree, etc. We analyze the source of this problem and we propose a generic solution with its formal correctness.
Fichier principal
Vignette du fichier
37310411.pdf (373.21 Ko) Télécharger le fichier

Dates and versions

inria-00000427 , version 1 (13-10-2005)


  • HAL Id : inria-00000427 , version 1


Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch. Towards Synchronizing Linear Collaborative Objects with Operation Transformation. International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2005, Oct 2005, Taipei/Taiwan, pp.411-427. ⟨inria-00000427⟩
401 View
160 Download


Gmail Facebook Twitter LinkedIn More