Formal design and verification of operational transformation algorithms for copies convergence

Theoretical Computer Science

Volumn 351, Issue 2, 2006, Pages 167-183

  Imine, Abdessamad ^a   Rusinowitch, Michaël ^a   Oster, Gérald ^a   Molli, Pascal ^a  

^a LORIA   (France)

Author keywords

Algebraic specification; Automated verification; Distributed groupware systems; Operational transformation; Replication

Indexed keywords

ALGORITHMS; COMPUTER AIDED DESIGN; COMPUTER SIMULATION; CONVERGENCE OF NUMERICAL METHODS; DATA ACQUISITION; FILE ORGANIZATION; GROUPWARE; MATHEMATICAL MODELS; TEXT PROCESSING;

ALGEBRAIC SPECIFICATION; AUTOMATED VERIFICATION; DISTRIBUTED GROUPWARE SYSTEMS; OPERATIONAL TRANSFORMATION; REPLICATION;

MATHEMATICAL TRANSFORMATIONS;

EID: 31544452509     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2005.09.066     Document Type: Conference Paper

References (25)

1. A. Armando, M. Rusinowitch, and S. Stratulat Incorporating decision procedures in implicit induction J. Symbolic Comput. 34 4 2001 241 258
2. M. Bidoit, R. Hennicker, and M. Wirsing Behavioural and abstractor specifications Sci. Comput. Programming 25 2-3 1995 149 186
3. A. Bouhoula, E. Kounalis, and M. Rusinowitch Automated mathematical induction J. Logic Comput. 5 5 1995 631 668
4. A. Bouhoula, and M. Rusinowitch Observational proofs by rewriting Theoret. Comput. Sci. 275 1-2 2002 675 698
5. C.A. Ellis, S.J. Gibbs, Concurrency control in groupware systems, SIGMOD Conference 18, 1989.
6. C.A. Ellis, S.J. Gibbs, and G. Rein Groupware: some issues and experiences Commun. ACM 34 1 1991 39 58 (ISSN 0001-0782)
7. J. Goguen, K. Lin, G. Roşu, Circular Coinductive Rewriting, Proc. 15th Internat. Conf. on Automated Software Engineering (ASE'00), Institute of Electrical and Electronics Engineers Computer Society, 2000, Grenoble, France, 11-15 September 2000.
8. J. Goguen, and G. Malcolm A hidden agenda Theoret. Comput. Sci. 245 1 2000 55 101
9. A. Imine, P. Molli, G. Oster, M. Rusinowitch, Development of transformation functions assisted by a theorem prover, Fourth Internat. Workshop on Collaborative Editing (ACM CSCW'02), Collaborative Computing in IEEE Distributed Systems Online, November 2002.
10. A. Imine, P. Molli, G. Oster, M. Rusinowitch, Proving correctness of transformation functions in real-time groupware, in: Eighth European Conf. on Computer-supported Cooperative Work, Helsinki, Finland, 14-18 September 2003.
11. A. Imine, P. Molli, G. Oster, and P. Urso VOTE: Group Editors Analyzing Tool I. Dahn L. Vigneron Electronic Notes in Theoretical Computer Science Vol. 86 2003 Elsevier Amsterdam
12. A. Imine, and P. Urso Automatic detection of copies divergence in collaborative editing systems T. Arts W. Fokkink Electronic Notes in Theoretical Computer Science Vol. 80 2003 Elsevier Amsterdam
13. B. Lushman, and G.V. Cormack Proof of correctness of Ressel's adOPTed algorithm Inform. Process. Lett. 86 3 2003 303 310
14. P. Molli, G. Oster, H. Skaf-Molli, and A. Imine Using the transformational approach to build a safe and generic data synchronizer Proc. 2003 Internat. ACM SIGGROUP Conf. on Supporting Group Work ACM Press, New York 2003 (ISBN 1-58113-693-5)
15. P. Molli, H. Skaf-Molli, G. Oster, S. Jourdain, SAMS: synchronous, asynchronous, multi-synchronous environments, The Seventh Internat. Conf. on CSCW in Design, Rio de Janeiro, Brazil, September 2002.
16. M. Ressel, D. Nitsche-Ruhland, R. Gunzenhauser, An integrating, transformation-oriented approach to concurrency control and undo in group Editors, Proc. ACM Conf. on Computer Supported Cooperative Work (CSCW'96), Boston, MA, USA, November 1996.
17. H. Shen, C. Sun, Flexible merging for asynchronous collaborative systems, On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002, Springer, Berlin, 2002 (ISBN 3-540-00106-9).
18. M. Suleiman, M. Cart, J. Ferrié, Concurrent operations in a distributed and mobile collaborative environment, Proc. 14th Internat. Conf. on Data Engineering, February 23-27, 1998, Orlando, Florida, USA, IEEE Computer Society, Silver Spring, MD, 1998 (ISBN 0-8186-8289-2).
19. C. Sun, and C. Ellis Operational transformation in real-time group editors: issues, algorithms, and achievements Proc. 1998 ACM Conf. on Computer Supported Cooperative Work 1998 ACM Press New York (ISBN 1-58113-009-0)
20. 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 Trans. Computer-Human Interaction (TOCHI) 5 1 1998 63 108 (ISSN 1073-0516)
21. D. Sun, S. Xia, C. Sun, D. Chen, Operational transformation for collaborative word processing, in: Proc. ACM 2004 Conf. on Computer Supported Cooperative Work, November 6-10, Chicago, IL USA, pp. 437-446.
22. A.S. Tanenbaum Distributed Operating Systems 2002 Prentice-Hall, Inc EnglewoodCliffs, NJ (ISBN 0-13-219908-4)
23. Terese Term Rewriting Systems 2003 Cambridge University Press Cambridge
24. N. Vidot, M. Cart, J. Ferrié, M. Suleiman, Copies convergence in a distributed real-time collaborative environment, Proc. ACM Conf. on Computer Supported Cooperative Work (CSCW'00), Philadelphia, Pennsylvania, USA, December 2000.
25. M. Wirsing, Algebraic Specification, Handbook of Theoretical Computer Science (Vol. B): Formal Models and Semantics, 1990, pp. 675-788.