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

摘要：

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

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

所属期刊栏目：43

分类号：TP311(计算技术、计算机技术)

资助基金：湖南省自然科学基金04JJ3064;湖南省教育厅科研项目05C597

在线出版日期：2007-10-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：191-193,196