Using the transformational approach to build a safe and generic data synchronizer

Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work

Volumn , Issue , 2003, Pages 212-220

  Molli, Pascal ^a   Skaf Molli, Hala ^a   Oster, Gérald ^a   Imine, Abdessamad ^a  

^a INRIA   (France)

Author keywords

Operational transformation; Synchronization

Indexed keywords

ALGORITHMS; COMPUTER SUPPORTED COOPERATIVE WORK; CONCURRENT ENGINEERING; MOBILE COMPUTING; PERSONAL DIGITAL ASSISTANTS; SOFTWARE ENGINEERING; SYNCHRONIZATION;

DATA SYNCHRONIZERS; FILE SYSTEMS; OPERATIONAL TRANSFORMATION; SOFTWARE CONFIGURATION;

DATA HANDLING;

EID: 18744385522     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/958193.958194     Document Type: Conference Paper

References (28)

1. S. Balasubramaniam and B. C. Pierce. What is a file synchronizer? In Mobile Computing and Networking, pages 98-108, 1998.
2. B. Berliner. CVS II : Parallelizing Software Development. In Proceedings of USENIX, Washigton D. C., 1990.
3. S. S. Chawathe and H. Garcia-Molina. Meaningful change detection in structured data. In Proceedings of the 1997 ACM SIGMOD International Conference on Management of Data, pages 26-37. ACM Press, 1997.
4. R. Conradi and B. Westfechtel. Version models for software configuration management. ACM Computing Surveys (CSUR), 30(2):232-282, 1998.
5. D. Daniels, L. B. Doo, A. Downing, C. Elsbernd, G. Hallmark, S. Jain, B. Jenkins, P. Lim, G. Smith, B. Souder, and J. Stamos. Oracle's symmetric replication technology and implications for application design. In Proceedings of the 1994 ACM SIGMOD international conference on Management of data, page 467. ACM Press, 1994.
6. C. A. Ellis and S. J. Gibbs. Concurrency control in groupware systems. In SIGMOD Conference, volume 18, pages 399-407, 1989.
7. J. Estublier. Software configuration management: a roadmap. In ICSE - Future of SE Track, pages 279-289, 2000.
8. J. Gray, P. Heiland, P. O'Neil, and D. Shasha. The dangers of replication and a solution. In Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, pages 173-182. ACM Press, 1996.
9. A. Imine, P. Molli, G. Oster, and M. Rusinowitch. Development of transformation functions assisted by a theorem prover. In Fourth International Workshop on Collaborative Editing, New Orleans, Louisiana, USA, November 2002.
10. A. Imine, P. Molli, G. Oster, and M. Rusinowitch. Proving correctness of transformation functions in real-time groupware. In Proceedings of the 8th European Conference on Computer-Supported Cooperative Work, Helsinki, Finland, September 2003.
11. A. Imine, P. Molli, G. Oster, and P. Urso. Vote: Group editors analyzing tool. In International Workshop on First-Order Theorem Proving, June 2003.
12. A.-M. Kermarrec, A. Rowstron, M. Shapiro, and P. Druschel. The IceCube approach to the reconciliation of divergent replicas. In Proceedings of the Twentieth ACM Symposium on Principles of Distributed Computing (PODC), Newport RI, USA, August 2001.
13. P. Kumar and M. Satyanarayanan. Flexible and safe resolution of file conflicts. In USENIX Winter, pages 95-106, 1995.
14. J. P. Munson and P. Dewan. A flexible object merging framework. In Proceedings of ACM CSCW'94 Conference on Computer-Supported Cooperative Work, Technologies for Sharing I, pages 231-242, 1994.
15. K. Petersen, M. J. Spreitzer, D. B. Terry, M. M. Theimer, and A. J. Demers. Flexible update propagation for weakly consistent replication. In Proceedings of the 16th ACM Symposium on Operating SystemsPrinciples (SOSP-16), Saint Malo, France, 1997.
16. M. Rabinovich, N. H. Gehani, and A. Kononov. Scalable update propagation in epidemic replicated databases. In Extending Database Technology, pages 207-222, 1996.
17. P. L. Reiher, J. S. Heidemann, D. Ratner, G. Skinner, and G. J. Popek. Resolving file conflicts in the ficus file system. In USENIX Summer, pages 183-195, 1994.
18. Y. Saito and H. M. Levy. Optimistic replication for internet data services. In International Symposium on Distributed Computing, pages 297-314, 2000.
19. H. Shen and C. Sun. A log compression algorithm for operation-based version control systems. In Proceedings of IEEE 26th Annual International Computer Software and Application Conference (COMPSAC 2002), Oxford, England, august 2002.
20. S. Stratulat. A general framework to build contextual cover set induction provers. Journal of Symbolic Computation, 32(4):403-445, 2001.
21. M. Suleiman, M. Cart, and J. Ferrié. Concurrent operations in a distributed and mobile collaborative environment. In Proceedings of the Fourteenth International Conference on Data Engineering (ICDE'98), pages 36-45, Orlando, Florida, USA, February 1998. IEEE Computer Society.
22. M. Suleiman, M. Cart, and J. Ferrié. Serialization of concurrent operations in a distributed collaborative environment. In Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work : The Integration Challenge (GROUP'97), pages 435-445. ACM Press, November 1997.
23. C. Sun. Undo as concurrent inverse in group editors. ACM Transactions on Computer-Human Interaction (TOCHI), 9(4):309-361, December 2002.
24. C. Sun and D. Chen. Consistency maintenance in real-time collaborative graphics editing systems. ACM Transactions on Computer-Human Interaction (TOCHI), 9(1):1-41, March 2002.
25. 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 (TOCHI), 5(1):63-108, March 1998.
26. W. R Tichy. RCS - A system for version control. Software-Practice and Experience, 15(7):637-654, July 1985.
27. A. van der Hoek. International workshop on software configuration management (scm-10): new practices, new challenges, and new boundaries. ACM SIGSOFT Software Engineering Notes, 26(6):57-58, 2001.
28. N. Vidot, M. Cart, J. Ferrié, and M. Suleiman. Copies convergence in a distributed real-time collaborative environment. In Proceedings of the ACM Conference on Computer Supported Cooperative Work (CSCW'00), Philadelphia, Pennsylvania, USA, December 2000.