2nd International ICST Conference on Collaborative Computing: Networking, Applications and Worksharing

Research Article

Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems

  • @INPROCEEDINGS{10.1109/COLCOM.2006.361867,
        author={G\^{e}rald Oster and Pascal Molli and Pascal Urso and Abdessamad Imine},
        title={Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems},
        proceedings={2nd International ICST Conference on Collaborative Computing: Networking, Applications and Worksharing},
        publisher={IEEE},
        proceedings_a={COLLABORATECOM},
        year={2007},
        month={5},
        keywords={},
        doi={10.1109/COLCOM.2006.361867}
    }
    
  • Gérald Oster
    Pascal Molli
    Pascal Urso
    Abdessamad Imine
    Year: 2007
    Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems
    COLLABORATECOM
    IEEE
    DOI: 10.1109/COLCOM.2006.361867
Gérald Oster1,*, Pascal Molli2,*, Pascal Urso2,*, Abdessamad Imine2,*
  • 1: Institute for Information Systems,ETH Zurich
  • 2: Nancy-Université, LORIA
*Contact email: osterg@inf.ethz.ch, molli@loria.fr, urso@loria.fr, imine@loria.fr

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