Data consistency for P2P collaborative editing
- G. Oster, Pascal Urso, P. Molli, Abdessamad Imine
- Computer ScienceConference on Computer Supported Cooperative Work
- 4 November 2006
This paper proposes a new model for building a collaborative editing system that is fully decentralised and does not depend on the number of sites.
Evaluating CRDTs for real-time document editing
- Mehdi Ahmed-Nacer, C. Ignat, G. Oster, Hyun-Gul Roh, Pascal Urso
- Computer ScienceACM Symposium on Document Engineering
- 19 September 2011
This paper demonstrates the suitability of CRDTs for real-time collaborative editing, and collects editing logs from real- time peer-to-peer collaborations to reflect the tendency of decentralised collaboration.
Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems
- G. Oster, P. Molli, Pascal Urso, Abdessamad Imine
- Computer ScienceInternational Conference on Collaborative…
- 17 November 2006
This paper addresses the correctness issue by proposing a new way to model shared state by retaining tombstones when elements are removed and an instantiation of the proposed model for a linear data structure and the related transformation functions are provided.
Supporting adaptable granularity of changes for massive-scale collaborative editing
- Luc André, Stéphane Martin, G. Oster, C. Ignat
- Computer Science9th IEEE International Conference on…
- 12 December 2013
This paper offers a solution for handling an adaptable granularity for shared data that overcomes the limitations of fixed-grained data approaches and exhibits three implementations of this algorithm.
Using the transformational approach to build a safe and generic data synchronizer
This paper proposes an algorithm and specific transformation functions that realize a file system synchronisation that ensures properties of convergence, causality and intention preservation and is extensible to new data types.
Proving Correctness of Transformation Functions in Real-Time Groupware
- Abdessamad Imine, P. Molli, G. Oster, M. Rusinowitch
- Computer Science, MathematicsEuropean Conference on Computer Supported…
- 14 September 2003
This paper shows how a theorem prover can address this serious bottleneck of operational transformation, and verified the correctness of state-of-art transformation functions defined on Strings with surprising results.
Formal design and verification of operational transformation algorithms for copies convergence
Real time group editors without Operational transformation
The WOOT (WithOut Operational Transformation) framework that ensures intention consistency without following the OT approach is described, which is drastically simpler, more efficient and does not require vector clocks or central sites.
SAMS: synchronous, asynchronous, multi-synchronous environments
- P. Molli, H. Skaf-Molli, G. Oster, S. Jourdain
- Computer ScienceInternational Conference on Computer Supported…
- 10 December 2002
A SAMS environment allows team members to work in synchronous, asynchronous or multi-synchronous mode while ensuring the coherence of shared data.
Proving correctness of transformation functions in collaborative editing systems
This paper shows how a theorem prover can address this serious bottleneck of operational transformation and designs the tombstone transformation functions, which verify TP1 and TP2, preserve intentions and ensure multi-effect relationships.