Rufis: mobile data sharing using a generic constraint ... - HAL-Inria

Rufis: mobile data sharing using a generic constraint-oriented reconciler Marc Shapiro, Nuno Pregui¸ca, James O’Brien

To cite this version: Marc Shapiro, Nuno Pregui¸ca, James O’Brien. Rufis: mobile data sharing using a generic constraint-oriented reconciler. Conference on Mobile Data Management, 2004, Berkeley, CA, USA, United States. pp.146–151, 2004, .

HAL Id: inria-00444770 https://hal.inria.fr/inria-00444770 Submitted on 7 Jan 2010

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destin´ee au d´epˆot et `a la diffusion de documents scientifiques de niveau recherche, publi´es ou non, ´emanant des ´etablissements d’enseignement et de recherche fran¸cais ou ´etrangers, des laboratoires publics ou priv´es.


  !"
#"$"%&'()(*%+,-.0/12&#'3,'(*('' 64 587:92;=#?@7!A dfe#g#Afh7:ikj8e#?!9kl 5 xc58yzik{'|~}€7:?ikg BC DFEHGJIHGLKNMPO8QFIHQFRJEHD@S0TUMWVUX YLZ[RJ\]EHC V^JQ_Ya`cb `cmC nJQFEWIHC VRJVQko8GpnLR1V!QqTrC IW]:GJRsYptkGJEuMWv^JRJw BC DFEWG_IHG_K‚MƒO8QFIHQFRJEHDS„TƒMWVPX YLZ[RJ\=]!EHC V^JQ_Ya`cb …‡†‰ˆqŠŒ‹[,Ž8Š ӣփӣփåJØ·ÛÁÔ­ÒqÏ!փÑsÝ!Õ­Þ_ì£èrÔ­ÒqÍÒrå_ÓþÎ[ԀÞ_ÏÎ[ýŒÓ ßûê#ò Ó[Ô­ÏsÏ-ÓüÁç£Þ:ÛÁå_êÏ:Ï:љç£ÝLÞJÏ!å_ԀÏ:ÓqÒqÝLÞ&Ó
Ï!Þ_Óq[ìÎ[ޕ[Ý.Ï-ÛÁípÝLÏ:ÑÒqÑ™Ï ßÞJî ԀÒqÏ·â[Ó×8Ïs2ü[Ï%փèqÝLß.Þ_ÒÁåJÏ!ç[â£Ý²Õ­ÑsÏԀÞ_Ókâ[â£ÞJåJÝ_Ò-Ï!ÖrÝ!Þ_èrê1ΣÏð‰ÏºÝ_ÿØ[ÑÏsÏsípÝéé , s‘uq¤‚‘W‘“¡ƒ’•””@‘W‘uƒ–k–f—’•¡U˜Pž_’™š*”Fšs›.›%ƒ’Œ–8œsUU¤N‘už”u¥ŒŸU‘W‘“’ ™¦+ •U •–1U–8›&š•§8 s¤€”FšJš•2Ÿ'¡ƒŸr–8¡ƒŸ&”a¡‰’¡rU •›¨ •š™šs’•©=’¥£¡U¡U–c”=Ÿ¡qž_ŸUš•¢ •¥£U!–£ :¢ª ÝLÔ­èrÓ¸ÖƒÓ£Ø Ô€ß.ç[Õ­Ïß.ÏÓkޕÖUÞ_Ô­ÒrÓ åJփÞ_Ô­ÒrÓ£ÖrՀÏ%҃ó¬Ð*âŒã8Ýìcú÷ÏÝLÞ_â£Ø[Ü «™® –¡U’ •šJƒŸ–£ƒ”@–ž_¡P¡#’™”—k¦+šs©¬–cšsšžJ¡UŸr¤‚š¢­›.§c¯Œƒž@–[§[’™U”@’sž_š,¡U”Fž_š*š• J¥[ƒš–8ž_ š‘u¤‚¡'‘W¡U§8”@ž™‘WU‘u–8–2 š‘ §8–k¤­—ršJ‘uŸ¨–8š:¡•ª+§r§c°ž_š,!¡qŸq Jšs¥ ¢ å_Ï!ÔNÕ­ÞJփÎÞ_Ï:Õ€Ø Ï:Ý_òÝ_ÒrÒrÓ£åJݲõÂÕ­Ô­Ï!ÓÖrå_یÓ[Ï!Ï:љطÞJԀÒqÖrÓӣطŒóHì£âŒÚÞ_Ô­â£Ó£å_ÖƒÏ Õ­Õ€Üqê1ÒråJÛÁõcÏ:ìљÞ_Ô­ÒrÓ¨ÑÒrÓ£ÑՀâ£Ø[Ï!Ý ò ’s‘u›' ž™§c‘ ®¤€šsš,›¨”H¥[šš0–£±‰”FšJš•Ÿ· JƒU–8–¸ ”a‘u¤€•¡ §¹® ¤€pš²œº¡U”H–c¥[Ÿš³=« •–cšrŸr»#:¯ ¡ ®® š2¤€š=ž_´¬š• •‘u¤€Uš–cµ1 s˜P‘u¤€’™š”Fžšsª0›%«!¦U J±‰šr»#¯s¯¶® ’Jš ¦ ò Å    ˆÁŽ  È #‹£Ìpɬˆ ‘“‘u’1–£—q½U¡Uš–8ž™‘Wš¡Už™–1‘W ”W’® ªq¯Œ»”kU’™–£¯:’s§rš•§£¾U¯£ž™šs”–1’=”¡J¤N§q˜P§8¦P”H¤‚‘W¥[ •š=¡ƒ •”‘W!ƒŸq–£šƒ¢aœs’@U§[ž[š•±‰ ‘ ¶¼¯s¶, ¬’cž_‘“š•’0 •U¾s–8¯Œ‘u ”F‘ušc¤‚‘W’™¡ƒ›¨”‘Wƒ¡U–¤u¤ 

œ•§[¡Už_ƒ–8Už™Ÿ'›¿”W’'’™‘u”H’@›'¥[§£š²§cš• s›¨¤€šs‘W¡ƒ¦„¡U¤‚‘u¡ƒ‘“–'’–8šJ¶¬Ÿ‰ŸÂ¤€”uš¼ž_¥£š•’™š¼ •˜PUž_’•–8š•”F Jš ƒ›À‘u–8¤‚‘W ¡ƒ J‘u”:¤‚‘W‘WŸrƒ¡Uš:–%”@ªÁ‘WœsU´„U–¨¯Œž#ž™¤­¶_”H¥[—r¤­‘Wš™š ’ž™›.‘“ J’ƒƒ©¬–£ž_šs”Fš¡U¦Á¤u¤r‘u±‰–1’¯sšF‘u–k§[¶,—¡ƒ’,ž_Ÿq’™¡U¯:¡U”F§8š•”FŸ¡ ¢ Þ_ԓփխî ՀÜ÷ÒrÓ£ð'Ý_Ô­Ó[Ø[Ó£ÏÏå% Ý2Þ_Î[փÏfÓ1Øã£Õ€²ÏåJÝLԭ܌ÖrÝLÓÞ_ Ï!ݺßÇå_Ï!Ø[ç[ÏՀԓç[ÑԓÖqљݺÞJÏ!×1ØøÒrÞ_Ô­ÎøÓzÑÚÒrÔ­ÓkèrÞJâ[ÖråJԀÏ Ó~q،ì=Ô­å_íFÏ:Ó[љԀéé ‘up–kœ„—*ÃU–c›U¯Œ©,¤‚”@–-‘ §8”@¤€˜Jš²§[¡Jšs§q’#§8¡ƒ¤‚–8‘W •Ÿ*¡ƒš”‘W–8ƒ¡ –[® ’¤€ªšs’¡rŸU¢¥£! ¬¯Á’šsž+’ Jš–8¡ƒž™‘WP’#‘u–£½UU¤‚½:¢ Þ_ÑsÒqÒqå_Ó[Ô­Ó[Ï!ÝÏ!Ñs[Þ_êÏ:؄!2Öê¬â£rÝ_Ó£Ï
Ø å#ð'".Ó[ÖrӣӣϸØÑsã£åJÕ­Ï!Ï!փ$Ý Þ_Ï:#ÝÂ"%'Öø&ºØŒÖƒÔ­Ó£å_ØÏ:љ#ÞJÒr"(åJ*Üù)1ìqփúþÓ1؇Î[Ô­ßՀÏÒU،ëqÔ­Ï!ÝLÝé ã£å_Ï:Õ­Ï
љÞJÒr+åJ"(
Ü '&Â*Ô­Óq'ÞJ&2Ò,փ!Ó1£ìØ î åJÒrÔNÞJÓ£Ï!ÑÝ*â[Ö¨å_åJÏÝLÞ_ÓkåJÞJԀՀӣÜèâ£Ô­Ý_ÓkÏÞ_å-Ò ¼!åJԓփ)8Ó~ì ÑsåJÏ!ÖUÞJÏ!Ý،Ԁé íð'Ó[FÓ£Ó¸ÏÐ*å_Ï!âŒÓ£ã8փÝß.ê²Ô­Ó[å_è~ԓփÓÞ_Σò ò Ï åJÝ_ÔNÞJÖrԀß.Ó£è·ÏÖ¨ã£Õ€ã1ÏqՀ0ì Ï/'ØŒÒ ÒÁÏ!݉ÏëqÓ[Ï҃å:Þºê#Þ_ÑsÎ[ÒrÓ'Ï .£Ó£Ô­ÑsÖƒÞ ß.ò ÏԀÞ_ÒrÎ ó Ä,ÅÇÆqÈ ŠŒ‹[É*Ê&Ë&Ž8Š[ÌLÉ È Þ_ß.Î[ÒUÏër،Ï!Ø0Ô­å_ì,Ï:љípÞ_ÑsÒqÏ å_î Ü â£²×1Ïå_ԓփç[ÓåJÒrÑç8å_ÒqÏ:Ý_ÖUÏ!Þ_Ý.Ï:ØÝJѕÑsÎ[ՓÖrÏ!Ý_Ø[Î[â[Ï!ՀÏ:Ýò ÝÂò ÑsÔNÞJÒqÎå_åJÞ_Ï!ΣÝ_ç8Ï-Òrã£Ó£Õ­ØŒÏ%Ô­Ó[ð&è¸Ó[Ó[Þ_ÒÏ Ô­ÏÝ#å•ÖUÖÍÞ_،ԭΣÒrԭωÓ+ÝLÞ_ê:Ð*åJåJÔ­Ï:×[Ï!ÑsÑâŒÒrÒrÞ_Ó1Ó£Ï:ÑsØ%ÑԭԀխխã£ÖrԓÖUՀ×[Ï*Þ_ՀԭÏ'Ý_Òr܌ÓÖrÝpÓ£ÞJփÏبӣßæØÙ'Ý_Ý_Ó1â[Ï،խç[Ï!Òqç8љÖrÞJÒr×[Ԁå_ëqՀÞ_ωÏÔ­Ó[Ú=â[èÔ­Ó£Õ­Ø[Ï،ԭÒ1ÛÁÝJìrÑs܌ÒqÐ*ÝLÓ[Þ_âŒÏÓ[ã1ßáÏ!Ý#ÑsÞ_ԓàÝ,Ï:Ð*Ø2×[âŒâ£Òqã1ԀçŒÝ•Õ€Þäé Þ_ΣÎ[փϼÓ1ÞØ¿ò Ò'ÝLԓ،Ó[ϹÒrÓ[҃éaó.ÑÒrÞJÓ Î[.£Ïøԓљã£ÞJԀèqÓ£â[è&åJÒrÏrâ[ì&ÞJÚ£Ñså_ÒqÒqß.ß Ï!ÝÞ_،ΣÏÏùç[ԓÑsљÒqÞJÏ!ÓkØ2Þ_åJÒrÒrÓÕÞJÔ­ÓqÎ[ÞJϼÏåJå_Ô­óWèrÖrÎkÑÞLÏré ê â[î ç1â[Òq×1ÓÏqìÞ_Σϼփç£ç[ՀԓÑփÞ_Ô­ÒrӌéFփèqÓ[ÒqÝLÞ_ԓÑ#åJÏ!ÑsÒqÓ£ÑsԭխԭփÞ_Ô­ÒrÓºÏÓ[èqԀӣϬípÑsÏé ²àuÞJå_Î[ԓԭփÝ.ÓÂ،ÏÒÁüŒÏ:ç1Ý2Ï!å_Ó[Ô­Òrß.ÞÏâ£ÓkÞJÓ£Ý ØŒÒ ò ԀΣÞ_ÎÔ­Ýâ[â[Ó£Ó[،åJÒqÏԀՓӣÖUè%ÞJÏ!Î[Ø~ԓÝã1ØŒÕ€Ï Ô­å_òÏ:љå_Þ_ԀÒqÞ_ÏPå_ÜÂä™ê#ÑåJå_Ï!Ï:،ÖUÒqÞJԀԀÒqÓ[Óè ÐÞ_Ô­ç['ՀϲâŒß¨ã1ÖrÝѕՀÎ[ÏÞJÔ­Ó[Ý=Ï:â£ÝÝ_ìUÏðñå•Ý+â£åJÏÝ_Ïç[åխԓß.ÑÖUÖPÞJܺϼÞJ։ÏÝLÓkΣÞJÖrփå_Þ_Ï:Ô­ërØÏ!ã£Õ€Üխϲâ[Ý_çc܌Ø[ÝpփÞJÏÞ_ÏßïÖ&ÒråJÓ%Ïç[ß2խԓâ[ÑÕ€Ö é ÔNփÞ:Ó£êqعÖrÓ£ð&Ø%Ó[ã£Ó[Ó£Ï*փ ÝÕ­Õ­Ü،ԭÑå_ÒrÏ:ß.љÞ_ß.Òqå_ÔNÜ÷Þ_Þ_ÑsÔ­Ó[åJÏ!è-փÖ-Þ_Ô­ÝJÒrѕӣÎ[Ý!Ï!ê„ØŒÞ_â£ÎÁՀâ£ÏÝ%ÞJΣփÖU×8Þ¼Òrå_ÑÞ_ÒrÔ­ß%Ó[è×[Ԁð'Ó£Ï!Ó£Ý,Ó[Î[Ïԓ ÝÝ òípÑsÎ[Ï Ô€î խωâ£×1Ø[Ï~Ô­ÝJÑsåJÒqÏ!Ó[ÑsÓ[ÒqÓ£Ï!ÑsÑsÞ_Ô­Õ­Ï:Ï!بÝóHÞ_åJΣÒrßôÏ~Þ_Þ_ÏÎ[ÓkÏޕÖUÓ[Þ_ÏÔ­Þ ërò Ï~Òqâ[å_õcçcìÁØ[Ù'փÞ_ç8Ï!ÒrÝzÓfàWåJÑÏ!ÖrÑՀÒrÕ­Ï!Ó[ØöÓ£Ï!¡qљ sÞ:¢ ê ÑsÒqÓ 1'.£Ò ԓљò Þ_Ô­Ó[Ý_â[èç[ã£ç8Õ­ÒqÏÝ_Ï*ß.Þ_ÒUΣërփÏrÞ!ì êŒÖUóuÞJÏå¼ßÒUëÁÔ­Ó[è2#"('&‰Ô­ÓqÞJÒ3!1êqð&Ó[Ó[Ï ”Ø[‘WÖUƒÞJ–[Ï!’:Ýäsèrì+ÏÍÞ'Î[ÑsÏ.Òrß.â£Ý_ß.ÏåԀÞLÞ_ԓÝÏ:؄â[ì ՀÞ_Ô­ß.փÞ_Ï!ՀܸԀӹÑsÒqÓkÞ_åJÒrÕ#҃ó ò Î[ԓѕθâ[ç[é óWΣփÖrâ[ØfՀÞ!،ê,ÏÐ*Õ­Ïsâ[ÞJã1Ï!ØfÝ.Ø[ÑsÒrԀåJÓ1Ï!ÝLÑsԓÞ_،ÒrÏåJå•4Ü Ý+ÞJ"ÂΣÖUÖrÞÓ£ØÂÞ_ΣԀÏÞJݲØ[ÑsÏÒqÕ­ÏsÓqÞ_ÞJÏÏÓk،ÞJÏ!$Ý ç1#Ï!"(Ó£Ø[)8Ý5ì Òr²Ó¹Ü.ÞJØ[Î[ÏsÏ é ÐÞ_Ò 'ípÑâŒÏ ã1î ݺâ[փ×8ӣϷظÞ_Î[փÏç[ç£Ô€ÓÁՀԓëUÑփփåJÞ_ԭԓÒrփӣÓkÞJÝÝ2åJâ[å_Ï!Ó[Õ­Ó[փÞ_Ô­Ó[Ô­Ó[èè¸ÒrÖqÓљÞ_ÞJÔ­ÒrÒrç÷Ó1Ý-҃ó¬ÞJҸԀ޺ÒqØ[Ó[Ï!Ï·ÑsՓÖrփӌåJÏ é ç[åJÖqÏÝ'ëÁԀÓ[ÒqÒrâ£ÞÝΣß.ÏÒUåërԀÏrÓkì[Þ_Ï!àð'ÓkÞ!Ó[ì ä'Ó£Ï&íFÓ¸ÑsÒqÒrâ[å•Õ­ØŒØ%ÏÒUå&ërÞ_Ï!Òå_åJÝ_ԓփ،Þ_ϬԓÝpÞJóHÎ[ÜÏ'Þ_،ΣÏÏóWփ،â[Ï!Հç1ÞÏ!ÔNÓ£ó8،Þ_Î1Ï!ӌÖUÞé ҃Þ_Ï!ΣՀՀÏé@å:×8êrÏÑÎ1ÖrÖPՀխërÏ!Ï!ØØ- •å_UÏ:–£ÑsÒr’•”@Ó1ž_Ñs¡ƒÔ­‘uՀ–£Ô“ÖU”ÞJ’•Ô€ì Òqî Ó2ÒrփӣӣÝLØÞ_å•Ý_փÏÔ­ÓkÕ­Ï!ÞJљÝ,ÞJԀÏ!ëqӣϼփâ£×£Ó£Õ€Ï:،Ý,Ò£ç1ìUÒ ð‰ò љÏÞ_å_Ô­ÒróHâ[Ó1Õ@Ý ê òÒrÑsÔ­Ó¨Ï!Ý!Ԁ޼ê ò ԓݬÎ[ÖrÏ×1Ó%ÒqÞ_åLÎ[ÞJϲÏ!Ø.ß.ԓÒUݬërÖrÏ²Ý Ô­Ý#ÖrÏ!×1ՀÕ@ÒqêqåLÖrÞJÓ£Ï!Ø؄ê:ã£Þ_խΣÏ6Ï#Ø["(Ï*Õ­) ÏsÞ_ϼԭÞ_ՀÎ1Õ8ÖUÓ[Þ҃޼،Ï×1ç8ωÏՀÓ1ÒkØ[ÝpÝÞ ò ò òÑփÓ×8Ï*â[ӣ،ÒqÓ[Ï*ԀӨÖrÓkÜ%ÑsÒrÓ1ÝLԓÝpÞJÏÓkÞ,Òrå•ØŒÏå,ÖrÓ£Ø×kÜ%փÓÁÜ-â£Ý_Ïå:ì ×ÁÜÂß.Ô­ÝLÞJÖrõrÏrì å_å_Ï:Ï:ÑsÑsípÒrÒrÑÓ1Ó1Ï ÑsÑsî ԭԭՀՀâ[ԓԓÖUÖU×8ÞJÞJÏ'ԀԀÒqÒqÑsÓøÓ¹Õ­Ï!ÖróHփå_Ó[Ó£ÒqÕ­ØzßÇÜ%å_Ý_Ï!Þ_ÏÎ[ßç£ÏÖrÒUåJëqÖrփÏ!ç[Þ_Ý2Ï!ç[Ý=Õ­Þ_Ô­ÞJÎ[Ñ!Î[ÏÖUÏ'Þ_ç£Ô­ÖƒÒrÖrç[ÓñåLç£Þ.،Հԓ҃ÏÑó'ëqփÏÞ_ÞJÔ­Õ­Î[ÒrÒrÏÓ.ç8Ï×[Հå:Òqâ[ì=èrå•Ô“ú÷،ѼÏÏóHÓùå_Òqå_ß҃Ïéó փ!Ó5'¼Öƒ&GåJÓFԓփԭÓæÓ£H،;ÑsÔ­DJëÁÒqI'Ô­â[Ý_=LՓԭ×[Ø¿K*ՀÏMN،§[Ï!H'Ñ¡ƒOÔ­ž_،P$ •ÏzšsQR¤‚KSê1Þ_óHÒ6Òr#å‰"%èr*ԀåJÓ1)(ÒrÝpâ[Tqޕçì փU¨Ó£ÞíFÑòÓ ÏÒ79Þ_Î[8Ñs:'ԓÝÒq*;ß@ê1ӣԀØ[Vó?BA(ݲCå_Ô­)(ÓkԓփDEÞ_ÓÒ; çã£1ՀÒqÏåLÞ2ÝL܌ΣÝLÏÞ_åJÏ!ϨßÇÒrÓ¹ÖrÓ£Î[Ø¹Ò òûÏükÞJò ÏϨӣØ[ã£Ï!å•ØøÝpÞ%Ô€Þ Ø[ÏërÔNÏ!ÞJՀÎzÒqç1Ï!Ï:ÖqعÝLÏÂÖÞ_Ó[Ò÷Òrß.Ó[é@ÖråJÏõrç[ÏfխԓÐ'ÑÖUâŒÞJã1Ï!Ý!Ø ê Þ_،ÒqÒÁå_Ï!ÜÝÔ­Ó[ݲÒrÓ[Þ'ÒrΣ޲ÖPÑërå_ϺÏ:ÖUç8Þ_ÏÏ:åJØXß.WqÖrÔ­ÝJÓ£ÝLØÂÔ­ÒrÓ·ëÁԓÞ_ÑsÒ¨Ïé@ëqß.ÏҌå•Ý_،֣ԀóHê ÜÂÞJÎ[Î[ÏϺÓ
㣼ò Õ­ÏråJêŒÔ“ÖƒÞJÓÂÎ[Ï-â[Ó1،،ԭå_ÒÁÏ:Ï!љÝé ÝLÔ­ß.ç[ՀÜf×kܷ،Ï!ÑÕ­Örå_Ô­Ó[è¨ÖrÑsÞ_Ô­ÒrÓÝLÏ!ò ß.ÖrÓkÞ_ԓÑݲÞ_Ò.ípÑÏ î â[×8Ïrì Þ_Î[Ï-Ø[ԀåJÏ!ÑsÞ_ÒråJÜÂÑsåJÏ!փÞ_Ô­ÒrÓ0êÁÞJÎ[Ï ò åJÔNÞJÏԓÝ*òփՓÝ_Òâ£Ó£ØŒÒrÓ£Ïrì

/ a x

ylz { Z { } p Zj~ o s\| p { |_z ~ | o

mkdir /a/x move /b/c /a

Anne’s PC

Y Z\[

b c

c

d

h

zY p Za~ o € | { sjz ~ | o

/ a c

c

d

/ a

b c

c

d

undo “mkdir /a/c” redo “mkdir /a/c” commit schedule 2

d

ƒ‚…„E†V‡'ˆ