摘要
移动环境下数据应用的一个重要难题是数据同步过程控制。数据同步过程是指移动客户机与服务器间实现数据的一致性。论文提出了基于时间戳的数据同步模型,详细阐述了各功能部件的分工、协作和位置。采用Petri网对同步过程进行了建模,通过构建、分析可达树,给出了评价结果,验证了模型的正确性和有效性。
Data synchronization process controlling is the important difficult problem to the data applying under mobile environment.Data synchronization is the process of implementing data coherence between mobile client and server.The paper refers the data synchronization model based on time-marked,and expatiates on the function parts＇ responsibility,cooperation and position of the model.The model for data synchronization process is came up based on Petri net,and put forward the evaluating result of the model via building and analyzing reachable tree.The result shows that the data synchronization model is correct and valid.
出处
《计算机工程与应用》
CSCD
北大核心
2007年第13期191-193,196,共4页
Computer Engineering and Applications
基金
湖南省自然科学基金(the Natural Science Foundation of Hunan Province of China under Grant No.04JJ3064)
湖南省教育厅资助科研课题(the Research Project of Department of Education of Hunan Province
China under Grant No.05C597)。
