Skip to Main content Skip to Navigation
Conference papers

Towards Synchronizing Linear Collaborative Objects with Operation Transformation

Abdessamad Imine 1 Pascal Molli 2 Gérald Oster 2 Michaël Rusinowitch 1
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
2 ECOO - Environment for cooperation
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
Contributor : Pascal Molli Connect in order to contact the contributor
Submitted on : Thursday, October 13, 2005 - 1:07:18 PM
Last modification on : Thursday, January 13, 2022 - 12:00:07 PM
Long-term archiving on: : Thursday, April 1, 2010 - 10:42:50 PM


  • 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⟩



Les métriques sont temporairement indisponibles