Deductive Verification of Distributed Groupware Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

Deductive Verification of Distributed Groupware Systems

Résumé

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.
Fichier non déposé

Dates et versions

inria-00099986 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00099986 , version 1

Citer

Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch. Deductive Verification of Distributed Groupware Systems. Tenth International Conference on Algebraic Methodology and Software Technology - AMAST 2004, 2004, Stirling, Scotland, United Kingdom, pp.226-240. ⟨inria-00099986⟩
98 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More