中文摘要：

本项目组围绕大规模动态环境下一致性维护算法正确性评价框架，算法建模及其正确性证明方法，算法设计的准则，算法建模、正确性分析的软件工具与验证环境进行了深入研究，形成了一套证明和验证一致性维护算法的模型、理论、方法与工具。主要创新成果包括网络游戏、移动、协同设计等动态网络环境下一致性维护算法正确性评价框架，基于CA理论的一致性维护算法的建模与正确性证明方法，Web、协同设计、云计算等大规模网络环境下一致性维护算法设计准则，面向社会网络用户兴趣和隐私的一致性、安全性维护算法的正确性预测、分析与验证环境与工具。这些成果发表在国际高水平会议和期刊上，其中包括ACM CSCW'12一篇、ACM CSCW'11两篇、CSCW'10一篇和IEEE TPDS一篇。在项目的资助下共发表（录用）论文17篇，其中SCI期刊论文5篇，国际学术会议论文11篇；SCI检索2篇，EI检索11篇；获ACM CSCW'10最佳论文奖题目；获CSCWD'11最佳论文奖。申请国家发明专利2项；培养博士3名、硕士3名；参与主办国际学术会议CSCWD'10，出版会议论文集1本；参加国际学术会议6人次。