ajoute un répertoire ayant pour chemin d'accès p. Dans la suite, nous ne donnons pas la définition des fonctions de transformation faisant intervenir cette opération. Celle-ci se comporte de la mêmemanì ere que l'opération AddFile(p, t) ,
nous définissons quelques fonctions supplémentaires sur les chemins : length(path) retourne la longueur du chemin path, childOf (p 1 , p 2 ) retourne vrai si le noeud identifié par le chemin p 1 ,
qui nous permet de comparer les deux valeurs val 1 et val 2 en définissant une relation d'ordre. Il est toujours possible de réaliser une telle fonction. Par exemple, pour des noeuds dont le contenu est du texte, la fonction codeInf () se résumè a ´ evaluer la relation qu'il existe entre les deux valeurs selon l'ordre lexicographique ,
Clearcase multisite: Supporting geographically-distributed software development, Après réconciliation, nous devons obtenir l'arbre suivant : [AFK + 95] Software Configuration Management : selected papers of the ICSE SCM-4 and SCM-5 Workshops, numéro 1005 dans Lecture Notes in Computer Science, pp.194-214, 1995. ,
DOI : 10.1007/3-540-60578-9_18
More ways to sync your digital life, 2005. ,
CVS II : Parallelizing software development, Proceedings of the USENIX Winter 1990 Technical Conference, pp.341-352, 1990. ,
Using induction and rewriting to verify and complete parameterized specifications, Theoretical Computer Science, vol.170, issue.1-2, pp.245-276, 1996. ,
DOI : 10.1016/S0304-3975(96)80708-0
What is a file synchronizer ? Dans fourth annual ACM, IEEE International Conference on Mobile Computing and Networking -MobiCom'98, 1998. ,
Automatic case analysis in proof by induction, Proceedings of the thirteenth International Joint Conference on Artificial Intelligence -IJCAI'93, pp.88-94, 1993. ,
Detecting changes in XML documents, Proceedings 18th International Conference on Data Engineering, pp.41-52, 2002. ,
DOI : 10.1109/ICDE.2002.994696
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.5474
Version Management with CVS, Network Theory Ltd, 2002. ,
Wikiwikiweb history, 2005. ,
Oracle's symmetric replication technology and implications for application design, Proceedings of the 1994 ACM SIGMOD International Conference on Management of data -SIGMOD'94, p.467, 1994. ,
Epidemic algorithms for replicated database maintenance, Proceedings of the sixteenth annual ACM Symposium on Principles of Distributed Computing - PODC'87, pp.1-12, 1987. ,
DOI : 10.1145/43921.43922
Generalizing operational transformation to the Standard General Markup Language Total order broadcast and multicast algorithms : Taxonomy and survey, Proceedings of the ACM conference on Computer supported cooperative work -CSCW'02, pp.58-67, 2002. ,
Concurrency control in groupware systems, SIGMOD Conference, pp.399-407, 1989. ,
Logical time in distributed computing systems, Computer, vol.24, issue.8, pp.28-33, 1991. ,
DOI : 10.1109/2.84874
Concurrent undo operations in collaborative environments using operational transformation. Dans On the Move to Meaningful Internet Systems, CoopIS, DOA, and ODBASE -OTM Confederated International Conferences de Lecture Notes in Computer Science, pp.155-173, 2004. ,
Development of transformation functions assisted by a theorem prover, 2002. ,
Proving Correctness of Transformation Functions in Real-Time Groupware, eighth European Conference of Computer-Supported Cooperative Work - ECSCW 03, 2003. ,
DOI : 10.1007/978-94-010-0068-0_15
URL : https://hal.archives-ouvertes.fr/inria-00107652
Achieving convergence with operational transformation in distributed groupware systems, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00071398
Towards Synchronizing Linear Collaborative Objects with Operational Transformation, Fifth IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems -FORTE'2005, volume 3731 de Lecture Notes in Computer Science (LNCS), pp.411-427, 2005. ,
DOI : 10.1145/1031607.1031681
VOTE, Electronic Notes in Theoretical Computer Science, vol.86, issue.1, 2003. ,
DOI : 10.1016/S1571-0661(04)80660-1
URL : https://hal.archives-ouvertes.fr/inria-00099700
An algebraic framework for designing operational transformation algorithms, Theoretical Computer Science : selected papers of the tenth International Conference on Algebraic Methodology of Software Technology -AMAST 2004, 2005. ,
RFC 677 : Maintenance of duplicate databases, 1975. ,
The IceCube approach to the reconciliation of divergent replicas, Proceedings of the twentieth annual ACM symposium on Principles of distributed computing , PODC '01, pp.210-218, 2001. ,
DOI : 10.1145/383962.384020
URL : https://hal.archives-ouvertes.fr/hal-01248215
Proof of correctness of Ressel's adOPTed algorithm, Information Processing Letters, vol.86, issue.6, pp.303-310, 2003. ,
DOI : 10.1016/S0020-0190(03)00227-8
Ensuring content and intention consistency in real-time group editors, 24th International Conference on Distributed Computing Systems, 2004. Proceedings., pp.748-755, 2004. ,
DOI : 10.1109/ICDCS.2004.1281643
Preserving operation effects relation in group editors, Proceedings of the 2004 ACM conference on Computer supported cooperative work , CSCW '04, pp.457-466, 2004. ,
DOI : 10.1145/1031607.1031683
The Coq Proof Assistant Reference Manual, 2005. ,
Distributed Algorithms, 1996. ,
Virtual time and global states of distributed systems ,
Some Philosophical Problems from the Standpoint of Artificial Intelligence, Dans Machine Intelligence, vol.4, pp.463-502, 1969. ,
DOI : 10.1016/B978-0-934613-03-3.50033-7
Microsoft ActiveSync, 2005. ,
A file comparison program. Software? Practice and Experience, pp.1025-1040, 1985. ,
DOI : 10.1002/spe.4380151102
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.189.70
Using the transformational approach to build a safe and generic data synchronizer, Proceedings of the 2003 international ACM SIGGROUP conference on Supporting group work , GROUP '03, 2003. ,
DOI : 10.1145/958160.958194
URL : https://hal.archives-ouvertes.fr/inria-00099815
SAMS: synchronous, asynchronous, multi-synchronous environments, The 7th International Conference on Computer Supported Cooperative Work in Design, 2002. ,
DOI : 10.1109/CSCWD.2002.1047653
URL : https://hal.archives-ouvertes.fr/inria-00107571
AnO(ND) difference algorithm and its variations, Algorithmica, vol.21, issue.1, pp.251-266, 1986. ,
DOI : 10.1007/BF01840446
Un mod` ele sûr et générique pour la synchronisation de données divergentes, Premì eres Journées Francophones : Mobilité et Ubiquité, 2004. ,
PVS: A prototype verification system, Proceedings of the eleventh International Conference on Automated Deduction -CADE'11, pp.748-752, 1992. ,
DOI : 10.1007/3-540-55602-8_217
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.2627
Arithmetices principia novo methodo exposita ,
Semantics-based reconciliation for collaborative and mobile environments. Dans On The Move to Meaningful Internet Systems, CoopIS, DOA, and ODBASE -OTM Confederated International Conferences, pp.38-55, 2003. ,
Flexible update propagation for weakly-consistent replication, Proceedings of the sixteenth ACM symposium on Operating systems principles -SOSP'97, pp.288-301, 1997. ,
DOI : 10.1145/269005.266711
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.832
What's in Unison ? A formal specification and reference implementation of a file synchronizer, 2004. ,
An integrating, transformation-oriented approach to concurrency control and undo in group editors, Proceedings of the 1996 ACM conference on Computer supported cooperative work , CSCW '96, pp.288-297, 1996. ,
DOI : 10.1145/240080.240305
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.3253
InterNetNews : Usenet transport for Internet sites, USENIX conference proceedings, pp.93-98, 1992. ,
Serialization of concurrent operations in a distributed collaborative environment, Proceedings of the international ACM SIGGROUP conference on Supporting group work : the integration challenge the integration challenge, GROUP '97, pp.435-445, 1997. ,
DOI : 10.1145/266838.267369
Concurrent operations in a distributed and mobile collaborative environment, Proceedings 14th International Conference on Data Engineering, pp.36-45, 1998. ,
DOI : 10.1109/ICDE.1998.655755
Operational transformation in realtime group editors : Issues, algorithms, and achievements, Proceedings of the ACM Conference on Computer Supported Cooperative Work - CSCW'98, pp.59-68, 1998. ,
Achieving convergence, causality preservation, and intention preservation in 122 ,
Rufis: mobile data sharing using a generic constraint-oriented reconciler, IEEE International Conference on Mobile Data Management, 2004. Proceedings. 2004, pp.146-151, 2004. ,
DOI : 10.1109/MDM.2004.1263052
URL : https://hal.archives-ouvertes.fr/inria-00444770
Optimistic replication, ACM Computing Surveys, vol.37, issue.1, pp.42-81, 2005. ,
DOI : 10.1145/1057977.1057980
URL : https://hal.archives-ouvertes.fr/inria-00444768
A General Framework to Build Contextual Cover Set Induction Provers, Journal of Symbolic Computation, vol.32, issue.4, pp.403-445, 2001. ,
DOI : 10.1006/jsco.2000.0469
URL : https://hal.archives-ouvertes.fr/inria-00100927
Sérialisation des Opérations Concurrentes dans les Syst` emes Collaboratifs Répartis, Thèse de Doctorat, 1998. ,
Undo as concurrent inverse in group editors, ACM Transactions on Computer-Human Interaction, vol.9, issue.4, pp.309-361, 2002. ,
DOI : 10.1145/586081.586085
A generic operation transformation scheme for consistency maintenance in real-time cooperative editing systems, Proceedings of the international ACM SIGGROUP conference on Supporting group work : the integration challenge the integration challenge, GROUP '97, pp.425-434, 1997. ,
DOI : 10.1145/266838.267366
Managing update conflicts in Bayou, a weakly connected replicated storage system, Proceedings of the fifteenth ACM symposium on Operating systems principles -SOSP'95, pp.172-182 ,
Copies convergence in a distributed real-time collaborative environment, Proceedings of the 2000 ACM conference on Computer supported cooperative work , CSCW '00, pp.171-180, 2000. ,
DOI : 10.1145/358916.358988
URL : https://hal.archives-ouvertes.fr/hal-00684563
Convergence des Copies dans un Environnements Collaboratifs Répartis, Thèse de Doctorat, 2002. ,
The free encyclopedia that anyone can edit, 2005. ,
Model Checking TLA+ Specifications, Proceedings of Correct Hardware Design and Verification Methods -CHARME'99, pp.54-66, 1999. ,
DOI : 10.1007/3-540-48153-2_6