Computer Engineering and Applications ›› 2007, Vol. 43 ›› Issue (13): 191-193.

• 数据库与信息处理 • Previous Articles     Next Articles

Research on data synchronization model under mobile environment

ZhiHE Yang   

  • Received:2006-05-29 Revised:1900-01-01 Online:2007-05-01 Published:2007-05-01
  • Contact: ZhiHE Yang

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

杨志和 胡虚怀   

  1. 湖南理工学院计算机系应用教研室 岳阳师范学院计算机系
  • 通讯作者: 杨志和

Abstract: 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 show that the data synchronization model is correct and valid.

Key words: data synchronization model, Time-marked, mobile environment, Petri net

摘要: 移动环境下数据应用的一个重要难题是数据同步过程控制。数据同步过程是指移动客户机与服务器间实现数据的一致性。本文提出了基于时间戳的数据同步模型,详细阐述了各功能部件的分工、协作和位置。采用Petri网对同步过程进行了建模,通过构建、分析可达树,给出了评价结果,验证了模型的正确性和有效性。

关键词: 时间戳, Petri网, 移动环境, 数据同步模型