Tombstone Transformation Functions for Ensuring
Consistency in Collaborative Editing Systems
G. Oster, P. Urso, P. Molli, and A. Imine. The Second International Conference on Collaborative
Computing: Networking, Applications and Worksharing
(CollaborateCom 2006), Atlanta, Georgia, USA, IEEE Press, (November 2006)
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
$TP_1$ and $TP_2$ 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.
%0 Conference Paper
%1 oster06collcom
%A Oster, Gérald
%A Urso, Pascal
%A Molli, Pascal
%A Imine, Abdessamad
%B The Second International Conference on Collaborative
Computing: Networking, Applications and Worksharing
(CollaborateCom 2006)
%C Atlanta, Georgia, USA
%D 2006
%I IEEE Press
%K OT TTF editor operational real-time transformation
%T Tombstone Transformation Functions for Ensuring
Consistency in Collaborative Editing Systems
%X 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
$TP_1$ and $TP_2$ 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.
@inproceedings{oster06collcom,
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
$TP_1$ and $TP_2$ 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.},
added-at = {2007-06-21T16:20:22.000+0200},
address = {Atlanta, Georgia, USA},
author = {Oster, Gérald and Urso, Pascal and Molli, Pascal and Imine, Abdessamad},
biburl = {https://www.bibsonomy.org/bibtex/219b3076f0ae44fe694223f2cd404d3dd/momo54},
booktitle = {The Second International Conference on Collaborative
Computing: Networking, Applications and Worksharing
(CollaborateCom 2006)},
description = {molli},
interhash = {5722943a3f4a6fb6ab64c5358d0cf00e},
intrahash = {19b3076f0ae44fe694223f2cd404d3dd},
keywords = {OT TTF editor operational real-time transformation},
month = {November},
publisher = {IEEE Press},
timestamp = {2007-06-21T16:27:42.000+0200},
title = {Tombstone Transformation Functions for Ensuring
Consistency in Collaborative Editing Systems},
year = 2006
}