I.2.2. Algorithmes de Réplication
IMINE (2006), a conçu un éditeur collaboratif
fondé sur l'approche des transformées opérationnelles qui
peut être facilement déployé sur un réseau
Pair-à-pair (P2P). Il a aussi proposé un modèle formel
pour l'approche des transformées opérationnelles qui lui
permettrait de concevoir des algorithmes corrects. Son modèle permet de
spécifier et vérifier des objets synchronisés par une
transformation opérationnelle et a conçu un outil qui permet de
définir les opérations et l'algorithme de transformation pour un
objet donné (comme l'objet texte par exemple).
| 
