1: \begin{abstract}

2: Collaborative editing consists in editing a common document shared by several

3: independent sites. Conflicts occurs when different users perform simultaneous

4: uncompatible operations. Centralized systems solve this problem by using locks

5: that prevent some modifications to occur and leave the resolution of conflicts

6: to users. Optimistic peer to peer (P2P) editing doesn't allow locks and uses a

7: Integration Transformation IT that reconciliates conflicting operations and

8: ensures convergence (all copies are identical on each site).  Two properties

9: TP1 and TP2, relating the set of allowed operations \OP~ and the

10: transformation IT, have been shown to ensure convergence. The choice of the

11: set \OP~ is crucial to define an integration operation that satisfies TP1 and

12: TP2.  Many existing algorithms don't satisfy these properties and are

13: incorrect. No algorithm enjoying both properties is known for strings and

14: little work has been done for XML trees in a pure P2P framework.  We focus on

15: editing XML-like trees, i.e. unranked-unordered labeled trees also considered

16: in the Harmony project. We show that no transformation satisfying TP1 and TP2

17: exists for a first set of operations but that TP1 and TP2 hold for a richer

18: set of operations, provided that some decoration is added to the tree. We show

19: how to combine our approach with any convergent editing process on strings to

20: get a convergent process. We have implemented our transformation using a P2P

21: algorithm inspired by Ressel et al. whose correctness relies on underlying

22: partial order structure generated by the dependence relation on operations.

23: 

24: 

25: \keywords{ Peer to Peer, Concurrent Processes, Collaborative Editing,

26: Optimistic reconciliation, XML}

27: \end{abstract}

28: