1: \begin{abstract}

2: A collaborative object represents a data type (such as a text document) 

3: designed  to be  shared by  a group of dispersed users.

4: The Operational Transformation (OT)

5: is a coordination approach used for supporting optimistic replication for these

6: objects. It allows

7: the users to concurrently update the shared data and exchange their updates

8: in any order since the  convergence of all replicas, \textit{i.e.}

9: the fact  that all users view the same data, is ensured in all cases. 

10: However, designing

11: algorithms for achieving convergence with the OT approach is a critical and

12: challenging issue.

13: In  this paper,  we propose  a formal compositional

14: method  for specifying  complex  collaborative objects.

15: The most important  feature of our method is  that designing an OT algorithm

16: for the  composed  collaborative  object   can  be  done  by  reusing  the

17: OT algorithms of component collaborative objects.  By using our method,

18: we  can  start from  correct  small  collaborative  objects which  are

19: relatively easy to handle and incrementally combine them to build more

20: complex collaborative objects.

21: 

22: \noindent{\textbf{Key words:} Collaborative Editors, Operational Transformation,

23: Component-based design, Algebraic Specifications.}

24: \end{abstract}

25: