P. Molli, G. Oster, H. Skaf-Molli, Abdessamad Imine
{"title":"Using the transformational approach to build a safe and generic data synchronizer[24] (abstract only)","authors":"P. Molli, G. Oster, H. Skaf-Molli, Abdessamad Imine","doi":"10.1145/1027232.1027267","DOIUrl":null,"url":null,"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.","PeriodicalId":390207,"journal":{"name":"ACM Siggroup Bulletin","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2003-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACM Siggroup Bulletin","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/1027232.1027267","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
