Tombstone transformation functions for ensuring consistency in collaborative editing systems

2006 International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom

Volumn , Issue , 2006, Pages

  Oster, Gérald ^a   Molli, Pascal ^b   Urso, Pascal ^b   Imine, Abdessamad ^b  

^a ETH ZURICH   (Switzerland)

^b UNIVERSITÉ DE LORRAINE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COLLABORATIVE EDITING; COLLABORATIVE EDITING SYSTEMS; CONSISTENCY MAINTENANCE; CORRECTNESS PROPERTIES; INTERNATIONAL CONFERENCES; OPERATIONAL TRANSFORMATION; SHARED DATA; TRANSFORMATION FUNCTIONS; WORK-SHARING;

COMPUTER SUPPORTED COOPERATIVE WORK;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 50249115525     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COLCOM.2006.361867     Document Type: Conference Paper

References (31)

1. P. A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, Boston, MA, USA, 1987.
2. A. Bouhoula. Automated Theorem Proving by Test Set Induction. Journal of Symbolic Computation, 23(1):47-77, January 1997.
3. A. H. Davis, C. Sun, and J. Lu. Generalizing Operational Transformation to the Standard General Markup Language. In Proceedings of the ACM Conference on Computer-Supported Cooperative Work - CSCW 2002, pages 58-67, New Orleans, Louisiana, USA, November 2002. ACM Press.
4. X. Défago, A. Schiper, and P. Urban. Total Order Broadcast and Multicast Algorithms: Taxonomy and Survey. ACM Computing Surveys, 36(4):372-421, December 2004.
5. C. A. Ellis and S. J. Gibbs. Concurrency Control in Groupware Systems. SIGMOD Record: Proceedings of the ACM SIGMOD Conference on the Management of Data - SIGMOD'89, 18:399-407, May 1989.
6. J. Ferrié, N. Vidot, and M. Cart. Concurrent Undo Operations in Collaborative Environments Using Operational Transformation. In Proceedings on the Conference on Cooperative Information Systems - CoopIS 2004, volume 3290 of Lecture Notes in Computer Science, pages 155-173, Agia Napa, Cyprus, October 2004. Springer Verlag.
7. S. Greenberg. Personalizaba Groupware: Accommodating Individual Roles and Group Differences. In Proceedings of the European Conference of Computer-Supported Cooperative Work - ECSCW'91, pages 17-32, Amsterdam, Netherlands, September 1991. Kluwer Academic Publishers.
8. N. Gu, J. Yang, and Q. Zhang. Consistency Maintenance Based on the Mark & Retrace Technique in Groupware Systems. In Proceedings of the ACM SIGGROUP Conference on Supporting Group Work - GROUP 2005, pages 264-273, Sanibel Island, Florida, USA, November 2005. ACM Press.
9. C.-L. Ignat and M. C. Norrie. Customizable Collaborative Editor Relying on treeOPT Algorithm. In Proceedings of the European Conference on Computer-Supported Cooperative Work - ECSCW 2003, pages 315-334, Helsinki, Finland, September 2003. Kluwer Academic Publishers.
10. A. Imine, P. Molli, G. Oster, and M. Rusinowitch. Proving Correctness of Transformation Functions in Real-Time Groupware. In Proceedings of the European Conference on Computer-Supported Cooperative Work - ECSCW 2003, pages 277-293, Helsinki, Finland, September 2003. Kluwer Academic Publishers.
11. A. Imine, P. Molli, G. Oster, and P. Urso. VOTE: Group Editors Analyzing Tool. In Proceedings of the International Workshop on First-Order Theorem Proving - FTP 2003, volume 86, Valencia, Spain, June 2003. Elsevier B.V.
12. L. Lamport. Times, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM, 21(7):558-565, July 1978.
13. D. Li and R. Li. Preserving Operation Effects Relation in Group Editors. In Proceedings of the ACM Conference on Computer-Supported Cooperative Work - CSCW 2004, pages 457-466, Chicago, Illinois, USA, November 2004. ACM Press.
14. D. Li and R. Li. An Approach to Ensuring Consistency in Peer-to-Peer Real-Time Group Editors. Computer-Supported Cooperative Work - JCSCW, (to appear): 1-59, 2006.
15. R. Li and D. Li. A Landmark-Based Transformation Approach to Concurrency Control in Group Editors. In Proceedings of the ACM SIGGROUP Conference on Supporting Group Work - GROUP 2005, pages 284-293, Sanibel Island, Florida, USA, November 2005. ACM Press.
16. R. Li and D. Li. Commutativity-Based Concurrency Control in Groupware. In Proceedings of the IEEE Conference on Collaborative Computing: Networking, Applications and Worksharing - CollaborateCom 2005, pages 1-10, San Jose, California, USA, December 2005. IEEE Computer Society.
17. B. Lushman and G. V. Cormack. Proof of Correctness of Ressel's adOPTed Algorithm. Information Processing Letters, 86(3):303-310, June 2003.
18. P. Molli, G. Oster, H. Skaf-Molli, and A. Imine. Using the Transformational Approach to Build a Safe and Generic Data Synchronizer. In Proceedings of the ACM SIGGROUP Conference on Supporting Group Work - GROUP 2003, pages 212-220, Sanibel Island, Florida, USA, November 2003. ACM Press.
19. G. Oster, P. Urso, P. Molli, and A. Imine. Proving Correctness of Transformation Functions in Collaborative Editing Systems. Research Report RR-5795, LORIA - INRIA Lorraine, December 2005.
20. G. Oster, P. Urso, P. Molli, and A. Imine. Data Consistency for P2P Collaborative Editing. In Proceedings of the ACM Conference on Computer-Supported Cooperative Work - CSCW 2006, Banff, Alberta, Canada, November 2006. ACM Press.
21. A. Prakash and M. J. Knister. A Framework for Undoing Actions in Collaborative Systems. ACM Transactions on Computer-Human Interaction, 1(4):295-330, December 1994.
22. M. Ressel and R. Gunzenhäuser. Reducing the Problems of Group Undo. In Proceedings of the ACM SIGGROUP Conference on Supporting Group Work - GROUP'99, pages 131-139, Phoenix, Arizona, USA, November 1999. ACM Press.
23. M. Ressel, D. Nitsche-Ruhland, and R. Gunzenhäuser. 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'96, pages 288-297, Boston, Massachusetts, USA, November 1996. ACM Press.
24. Y. Saito and M. Shapiro. Optimistic Replication. ACM Computing Surveys, 37(1):42-81, 2005.
25. SO6, an operational transformation-based synchronizer, (2006). Online http://www.libresource.org/.
26. M. Suleiman, M. Cart, and J. Ferrié. Concurrent Operations in a Distributed and Mobile Collaborative Environment. In Proceedings of the International Conference on Data Engineering - ICDE'98, pages 36-45, Orlando, Florida, USA, February 1998. IEEE Computer Society.
27. C. Sun. Undo as Concurrent Inverse in Group Editors. ACM Transactions on Computer-Human Interaction, 9(4):309-361, December 2002.
28. C. Sun and C. Ellis. Operational Transformation in Real-Time Group Editors: Issues, Algorithms and Achievements. In Proceedings of the ACM Conference on Computer-Supported Cooperative Work - CSCW'98, pages 59-68, Seattle, Washington, USA, November 1998. ACM Press.
29. C. Sun, X. Jia, Y. Zhang, Y Yang, and D. Chen. Achieving Convergence, Causality Preservation, and Intention Preservation in Real-Time Cooperative Editing Systems. ACM Transactions on Computer-Human Interaction, 5(1):63-108, March 1998.
30. N. Vidot, M. Cart, J. Ferrie, and M. Suleiman. Copies Convergence in a Distributed Real-Time Collaborative Environment. In Proceedings of the ACM Conference on Computer-Supported Cooperative Work - CSCW 2000, pages 171-180, Philadelphia, Pennsylvania, USA, December 2000. ACM Press.
31. S. Weiss. Annulation de Groupe dans les Éditeurs Collaboratifs. Master's Thesis, Université Henri Poincaré - Nancy I, June 2006.