On Coordinating Collaborative Objects
A collaborative object represents a data type (such as a text document) designed to be shared by a group of dispersed users. The Operational Transformation (OT) is a coordination approach used for supporting optimistic replication for these objects. It allows the users to concurrently update the sha...
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2010-07-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1007.5093v1 |
id |
doaj-278bc2f581cd4ea3b3e9eee1eeeb6dff |
---|---|
record_format |
Article |
spelling |
doaj-278bc2f581cd4ea3b3e9eee1eeeb6dff2020-11-24T22:17:09ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802010-07-0130Proc. FOCLASA 2010789210.4204/EPTCS.30.6On Coordinating Collaborative ObjectsAbdessamad ImineA collaborative object represents a data type (such as a text document) designed to be shared by a group of dispersed users. The Operational Transformation (OT) is a coordination approach used for supporting optimistic replication for these objects. It allows the users to concurrently update the shared data and exchange their updates in any order since the convergence of all replicas, i.e. the fact that all users view the same data, is ensured in all cases. However, designing algorithms for achieving convergence with the OT approach is a critical and challenging issue. In this paper, we propose a formal compositional method for specifying complex collaborative objects. The most important feature of our method is that designing an OT algorithm for the composed collaborative object can be done by reusing the OT algorithms of component collaborative objects. By using our method, we can start from correct small collaborative objects which are relatively easy to handle and incrementally combine them to build more complex collaborative objects. http://arxiv.org/pdf/1007.5093v1 |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Abdessamad Imine |
spellingShingle |
Abdessamad Imine On Coordinating Collaborative Objects Electronic Proceedings in Theoretical Computer Science |
author_facet |
Abdessamad Imine |
author_sort |
Abdessamad Imine |
title |
On Coordinating Collaborative Objects |
title_short |
On Coordinating Collaborative Objects |
title_full |
On Coordinating Collaborative Objects |
title_fullStr |
On Coordinating Collaborative Objects |
title_full_unstemmed |
On Coordinating Collaborative Objects |
title_sort |
on coordinating collaborative objects |
publisher |
Open Publishing Association |
series |
Electronic Proceedings in Theoretical Computer Science |
issn |
2075-2180 |
publishDate |
2010-07-01 |
description |
A collaborative object represents a data type (such as a text document) designed to be shared by a group of dispersed users. The Operational Transformation (OT) is a coordination approach used for supporting optimistic replication for these objects. It allows the users to concurrently update the shared data and exchange their updates in any order since the convergence of all replicas, i.e. the fact that all users view the same data, is ensured in all cases. However, designing algorithms for achieving convergence with the OT approach is a critical and challenging issue. In this paper, we propose a formal compositional method for specifying complex collaborative objects. The most important feature of our method is that designing an OT algorithm for the composed collaborative object can be done by reusing the OT algorithms of component collaborative objects. By using our method, we can start from correct small collaborative objects which are relatively easy to handle and incrementally combine them to build more complex collaborative objects. |
url |
http://arxiv.org/pdf/1007.5093v1 |
work_keys_str_mv |
AT abdessamadimine oncoordinatingcollaborativeobjects |
_version_ |
1725786385683578880 |