Abstract
A collaborative object represents a data type (such as a text document or a filesystem) designed to be shared by multiple geographically separated users. Data replication is a technology to improve performance and availability of data in distributed systems. Indeed, each user has a local copy of the shared objects, upon which he may perform updates. Locally executed updates are then transmitted to the other users. This replication potentially leads, however, to divergent (i.e. different) copies. In this respect, Operational Transformation (OT) algorithms are applied for achieving convergence of all copies, i.e. all users view the same objects. Using these algorithms users can apply the same set of updates but possibly in different orders since the convergence should be ensured in all cases. However, achieving convergence with the OT approach is still a critical and challenging issue. In this paper, we address an open convergence problem when the shared data has a linear structure such as list, text, ordered XML tree, etc. We analyze the source of this problem and we propose a generic solution with its formal correctness.
Chapter PDF
References
Bouhoula, A., Kounalis, E., Rusinowitch, M.: Automated Mathematical Induction. Journal of Logic and Computation 5(5), 631–668 (1995)
Ellis, C.A., Gibbs, S.J.: Concurrency Control in Groupware Systems. In: SIGMOD Conference, vol. 18, pp. 399–407 (1989)
Guerraoui, R., Hari, C.: On the consistency problem in mobile distributed computing. In: Proceedings of the second ACM international workshop on Principles of mobile computing, pp. 51–57. ACM Press, New York (2002)
Herlihy, M.P., Wing, J.M.: Linearizability: a correctness condition for concurrent objects. ACM Trans. Program. Lang. Syst. 12(3), 463–492 (1990)
Imine, A., Molli, P., Oster, G., Rusinowitch, M.: Proving Correctness of Transformation Functions in Real-Time Groupware. In: 8th European Conference of Computer-supported Cooperative Work, Helsinki, Finland, (September 14-18, 2003)
Imine, A., Molli, P., Oster, G., Rusinowitch, M.: Deductive verification of distributed groupware systems. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol. 3116, pp. 226–240. Springer, Heidelberg (2004)
Imine, A., Rusinowitch, M., Oster, G., Molli, P.: Formal design and verification of operational transformation algorithms for copies convergence. Theoretical Computer Science (2005) (to appear)
Li, D., Li, R.: Ensuring Content Intention Consistency in Real-Time Group Editors. In: The 24th International Conference on Distributed Computing Systems (ICDCS 2004), Tokyo, Japan. IEEE Computer Society Press, Los Alamitos (March 2004)
Lushman, B., Cormack, G.V.: Proof of correctness of ressel’s adopted algorithm. Information Processing Letters 86(3), 303–310 (2003)
Molli, P., Oster, G., Skaf-Molli, H., Imine, A.: Using the transformational approach to build a safe and generic data synchronizer. In: Proceedings of the 2003 international ACM SIGGROUP conference on Supporting group work, pp. 212–220. ACM Press, New York (2003)
Ressel, M., Nitsche-Ruhland, D., Gunzenhauser, R.: An Integrating, Transformation-Oriented Approach to Concurrency Control and Undo in Group Editors. In: Proceedings of the ACM Conference on Computer Supported Cooperative Work (CSCW 1996), Boston, Massachusetts, USA, pp. 288–297 (November 1996)
Saito, Y., Shapiro, M.: Optimistic replication. ACM Comput. Surv. 37(1), 42–81 (2005)
Stratulat, S.: A general framework to build contextual cover set induction provers. Journal of Symbolic Computation 32(4), 403–445 (2001)
Suleiman, M., Cart, M., Ferrié, J.: Concurrent Operations in a Distributed and Mobile Collaborative Environment. In: Proceedings of the Fourteenth International Conference on Data Engineering, Orlando, Florida, USA, February 23-27, pp. 36–45. IEEE Computer Society Press, Los Alamitos (1998)
Sun, C.: The copowerpoint project (2004), http://reduce.qpsf.edu.au/copowerpoint/
Sun, C., Ellis, C.: Operational transformation in real-time group editors: issues, algorithms, and achievements. In: Proceedings of the 1998 ACM conference on Computer supported cooperative work, pp. 59–68. ACM Press, New York (1998)
Sun, C., Jia, X., Zhang, Y., Yang, Y., Chen, D.: Achieving Convergence, Causality-preservation and Intention-preservation in real-time Cooperative Editing Systems. ACM Transactions on Computer-Human Interaction (TOCHI) 5(1), 63–108 (1998)
Sun, D., Xia, S., Sun, C., Chen, D.: Operational transformation for collaborative word processing. In: CSCW 2004: Proceedings of the 2004 ACM conference on Computer supported cooperative work, pp. 437–446. ACM Press, New York (2004)
Vidot, N., Cart, M., Ferrié, J., Suleiman, M.: Copies convergence in a distributed real-time collaborative environment. In: Proceedings of the ACM Conference on Computer Supported Cooperative Work (CSCW 2000), Philadelphia, Pennsylvania, USA (December 2000)
Wirsing, M.: Algebraic Specification. Handbook of theoretical computer science (vol. B): formal models and semantics, 675–788 (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 IFIP International Federation for Information Processing
About this paper
Cite this paper
Imine, A., Molli, P., Oster, G., Rusinowitch, M. (2005). Towards Synchronizing Linear Collaborative Objects with Operational Transformation. In: Wang, F. (eds) Formal Techniques for Networked and Distributed Systems - FORTE 2005. FORTE 2005. Lecture Notes in Computer Science, vol 3731. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11562436_30
Download citation
DOI: https://doi.org/10.1007/11562436_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29189-3
Online ISBN: 978-3-540-32084-5
eBook Packages: Computer ScienceComputer Science (R0)