Verification of data consistency for P2P collaborative editing

Pascal Urso 1
1 ECOO - Environment for cooperation
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : WOOT is a new distributed algorithm to collaboratively edit a linear structure. This algorithm can be deployed on a P2P overlay network since its time and space complexity is polynomial and does not depend on the number of editing sites. In this presentation, we will focus on our use of model checking method to verify correctness of the algorithm in terms of benefit and limitations. We will also present the main open issues (hierarchical structures, access control, ...) in P2P collaborative editing and our expectations about automated formal methods' help on these issues.
Document type :
Conference papers
Complete list of metadatas
Contributor : Pascal Urso <>
Submitted on : Saturday, March 13, 2010 - 4:03:20 PM
Last modification on : Thursday, January 11, 2018 - 6:19:48 AM


  • HAL Id : hal-00463629, version 1



Pascal Urso. Verification of data consistency for P2P collaborative editing. Inter-Regional Workshop on Rigorous System Development and Analysis 2007, Oct 2007, Nancy, France. ⟨hal-00463629⟩



Record views