Skip to Main content Skip to Navigation
Conference papers

Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems

Gérald Oster 1 Pascal Molli 2 Pascal Urso 2 Abdessamad Imine 3
2 ECOO - Environment for cooperation
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
3 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
Abstract : In collaborative editing, consistency maintenance of the copies of shared data is a critical issue. In the last decade, Operational Transformation (OT) approach revealed as a suitable mechanism for maintaining consistency. Unfortunately, none of the published propositions relying on this approach are able to satisfy the mandatory correctness properties TP1 and TP2 defined in the Ressel's framework. This paper addresses this correctness issue by proposing a new way to model shared state by retaining tombstones when elements are removed. An instantiation of the proposed model for a linear data structure and the related transformation functions are provided
Document type :
Conference papers
Complete list of metadata

Cited literature [29 references]  Display  Hide  Download
Contributor : Gérald Oster Connect in order to contact the contributor
Submitted on : Tuesday, November 7, 2006 - 7:00:00 AM
Last modification on : Thursday, January 13, 2022 - 12:00:06 PM
Long-term archiving on: : Thursday, September 20, 2012 - 12:16:12 PM



Gérald Oster, Pascal Molli, Pascal Urso, Abdessamad Imine. Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems. IEEE Conference on Collaborative Computing: Networking, Applications and Worksharing - CollaborateCom 2006, Nov 2006, Atlanta, Georgia, USA, pp.1-10, ⟨10.1109/COLCOM.2006.361867⟩. ⟨inria-00109039⟩



Les métriques sont temporairement indisponibles