Abstract FR:

Dans les systemes collaboratifs repartis, les objets partages par les usagers sont soumis a des contraintes de temps reel et de coherence. La these met en evidence les problemes a resoudre pour satisfaire ces contraintes : respect de l'intention de l'usager et de la causalite, convergence des copies. Elle formalise la notion d'intention de l'usager et introduit pour la respecter, des fonctions de transposition (en avant et en arriere) qui exploitent les proprietes semantiques generales des operations et qui permettent de construire, en les combinant, des histoires equivalentes. Elle propose ensuite plusieurs algorithmes originaux pour ordonner les operations tout en respectant ces contraintes. Leur point fort est qu'aucun ne necessite de defaire ni de refaire d'operation. Ces algorithmes sont egalement etendus pour tenir compte des situations de deconnexion / reconnexion posees par l'informatique mobile. Ils sont enfin compares aux autres algorithmes connus : dopt, oreste, adopted et got.