BibSonomy publications for /user/momo54/operationalThu Jun 21 16:20:22 CEST 2007Pasadena, CA, USAIntegrated Design and Process Technology, IDPT 2002JuneDivergence Awareness for Virtual Team through the Web2002awareness operational transformation Thu Jun 21 16:20:22 CEST 2007Helsinki, FinlandProceedings of the 8th European Conference on Computer-Supported Cooperative Work (ECSCW 2003)SeptemberProving Correctness of Transformation Functions in Real-Time Groupware2003operational CSCW OT transformation Thu Jun 21 16:20:22 CEST 2007Valencia, SpainInternational Workshop on First-Order Theorem Proving (FTP 2003)JuneVOTE: Group Editors Analyzing Tool2003transformation OT operational CSCW Thu Jun 21 16:20:22 CEST 2007 Sanibel Island, Florida, USA Proceedings of the ACM SIGGROUP Conference on Supporting Group Work - GROUP 2003 November 212--220 Using the Transformational Approach to Build a Safe and Generic Data Synchronizer2003OT operational transformation Thu Jun 21 16:20:22 CEST 2007 May A03-R-062Safe Generic Data Synchronizer Research Report 2003operational SO6 OT SCM transformation Thu Jun 21 16:20:22 CEST 2007Tenth International Conference on Algebraic Methodology and Software Technology - AMAST 2004, Stirling, Scotland, United Kingdom JulyA04-R-187Lecture Notes in Computer Science Deductive Verification of Distributed Groupware Systems3116 2004formal algebraic operational specification, transformation systems, distributed verification, Replication-based distributed systems consist of a group of users manipulating a shared object (like a text document, a filesystem, ...). Operational Transformation (OT) algorithms are applied for achieving convergence in these systems. However, the design of such algorithms is a difficult and error-prone activity, since building the correct operations for maintaining good convergence properties of the local copies requires examining a large number of situations. In this paper, we present the modelling and deductive verification of OT algorithms with algebraic specifications. We show that many OT algorithms in the litterature do no satisfy convergence properties unlike stated by their authors.Thu Jun 21 16:20:22 CEST 2007 MayRR-5188Achieving Convergence with Operational Transformation in Distributed Groupware SystemsRapport de recherche 2004transformation operational convergence, replication, optimistic distributed systems, Distributed groupware systems provide computer support for manipulating shared objects by dispersed users. Data replication is used in such systems in order to improve the availability of data. This potentially leads to divergent (or different) replicas. In this respect, the Operational Transformation (OT) approach is employed to maintain convergence of all replicas, i.e. all users view the same object. Using this approach, users can exchange their updates in any order since the convergence should be ensured in all cases. However, designing correct OT algorithms is still an open issue. In this report, we demonstrate that recent OT algorithms are incorrect. We analyse the source of this problem and we propose a generic solution with its formal correctness.Thu Jun 21 16:20:22 CEST 2007Nice, FrancePremières Journées Francophones : Mobilité et Ubiquité - UbiMob'04 JuneUn modèle sûr et générique pour la synchronisation de données divergentes 2004transformation, synchronization, distributed divergence, operational systems La réconciliation de données divergentes est un des problèmes clefs de l'informatique mobile, ainsi que des systèmes de gestion de configuration. Malgré le nombre important de synchroniseurs et d'outils de fusion qui traitent ce problème, aucun critère de correction d'un processus de synchronisation n'existe. Dans cet article, nous proposons d'utiliser le modèle des transformées opérationnelles pour raisonner sur la synchronisation de données divergentes. Nous présentons un algorithme et des fonctions de transformation qui réalisent la réconciliation d'un système de fichiers. Contrairement aux autres synchroniseurs, notre système garantit des propriétés bien définies telles que la convergence et le respect de la causalité. Il est également extensible à d'autres types de données.Thu Jun 21 16:20:22 CEST 2007Atlanta, Georgia, USAThe Second International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2006)NovemberTombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems2006TTF real-time editor transformation OT operational In collaborative editing, consistency maintenance of the copies of shared data is a critical issue. In the last decade, Operational Transformation (OT) approach revealed as a suitable mechanism for maintaining consistency. Unfortunately, none of the published propositions relying on this approach are able to satisfy the mandatory correctness properties $TP_1$ and $TP_2$ defined in the Ressel's framework. This paper addresses this correctness issue by proposing a new way to model shared state by retaining tombstones when elements are removed. An instantiation of the proposed model for a linear data structure and the related transformation functions are provided.