移动环境下的数据同步模型研究  

Research on data synchronization model under mobile environment

作　　者：杨志和[1] 胡虚怀[1] 

机构地区：[1]湖南理工学院计算机与信息工程系,湖南岳阳414006

出　　处：《计算机工程与应用》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)。

摘　　要：移动环境下数据应用的一个重要难题是数据同步过程控制。数据同步过程是指移动客户机与服务器间实现数据的一致性。论文提出了基于时间戳的数据同步模型,详细阐述了各功能部件的分工、协作和位置。采用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.

关 键 词：移动环境 数据同步模型 时间戳 PETRI网 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]