P. Molli, G. Oster, H. Skaf-Molli, Abdessamad Imine
{"title":"使用转换方法构建安全和通用的数据同步器[24](仅抽象)","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":"25 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2003-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"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\":\"25 1\",\"pages\":\"0\"},\"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}","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}
Using the transformational approach to build a safe and generic data synchronizer[24] (abstract only)
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号
