Using the Transformational Approach to Build a Safe and Generic Data Synchronizer
Identifieur interne : 003832 ( Crin/Corpus ); précédent : 003831; suivant : 003833Using the Transformational Approach to Build a Safe and Generic Data Synchronizer
Auteurs : Pascal Molli ; Gérald Oster ; Hala Skaf-Molli ; Abdessamad ImineSource :
English descriptors
Abstract
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge tools perform reconciliations. However, they do not define what is the correctness of their synchronisation. In this paper, we propose to use a transformational approach as the basic model for reasonning about synchronisation. We propose an algorithm and specific transformation functions that realize a file system synchronisation. Unlike classic synchronizers, our synchronizer ensures properties of convergence, causality and intention preservation and is extensible to new data types.
Links to Exploration step
CRIN:molli03bLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="414">Using the Transformational Approach to Build a Safe and Generic Data Synchronizer</title></titleStmt><publicationStmt><idno type="RBID">CRIN:molli03b</idno><date when="2003" year="2003">2003</date><idno type="wicri:Area/Crin/Corpus">003832</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">Using the Transformational Approach to Build a Safe and Generic Data Synchronizer</title><author><name sortKey="Molli, Pascal" sort="Molli, Pascal" uniqKey="Molli P" first="Pascal" last="Molli">Pascal Molli</name></author><author><name sortKey="Oster, Gerald" sort="Oster, Gerald" uniqKey="Oster G" first="Gérald" last="Oster">Gérald Oster</name></author><author><name sortKey="Skaf Molli, Hala" sort="Skaf Molli, Hala" uniqKey="Skaf Molli H" first="Hala" last="Skaf-Molli">Hala Skaf-Molli</name></author><author><name sortKey="Imine, Abdessamad" sort="Imine, Abdessamad" uniqKey="Imine A" first="Abdessamad" last="Imine">Abdessamad Imine</name></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>operational transformation</term><term>synchronization</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en" wicri:score="3082">Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge tools perform reconciliations. However, they do not define what is the correctness of their synchronisation. In this paper, we propose to use a transformational approach as the basic model for reasonning about synchronisation. We propose an algorithm and specific transformation functions that realize a file system synchronisation. Unlike classic synchronizers, our synchronizer ensures properties of convergence, causality and intention preservation and is extensible to new data types.</div></front></TEI><BibTex type="inproceedings"><ref>molli03b</ref><crinnumber>A03-R-093</crinnumber><category>3</category><equipe>ECOO</equipe><author><e>Molli, Pascal</e><e>Oster, Gérald</e><e>Skaf-Molli, Hala</e><e>Imine, Abdessamad</e></author><title>Using the Transformational Approach to Build a Safe and Generic Data Synchronizer</title><booktitle>{Group 2003, Sanibel Island, Florida, USA}</booktitle><year>2003</year><editor>ACM</editor><month>Nov</month><organization>ACM SIGGROUP</organization><keywords><e>synchronization</e><e>operational transformation</e></keywords><abstract>Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge tools perform reconciliations. However, they do not define what is the correctness of their synchronisation. In this paper, we propose to use a transformational approach as the basic model for reasonning about synchronisation. We propose an algorithm and specific transformation functions that realize a file system synchronisation. Unlike classic synchronizers, our synchronizer ensures properties of convergence, causality and intention preservation and is extensible to new data types.</abstract></BibTex></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 003832 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Crin/Corpus/biblio.hfd -nk 003832 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Crin
|étape= Corpus
|type= RBID
|clé= CRIN:molli03b
|texte= Using the Transformational Approach to Build a Safe and Generic Data Synchronizer
}}
| This area was generated with Dilib version V0.6.33. |  |