大规模动态网络环境中协同组操作一致性维护算法的正确性证明及其验证的研究

项目名称： 大规模动态网络环境中协同组操作一致性维护算法的正确性证明及其验证的研究

项目编号： No.60803118

项目类型： 青年科学基金项目

立项/批准年度： 2009

项目学科： 金属学与金属工艺

项目作者： 卢暾

作者单位： 复旦大学

项目金额： 20万元

中文摘要： 本项目组围绕大规模动态环境下一致性维护算法正确性评价框架，算法建模及其正确性证明方法，算法设计的准则，算法建模、正确性分析的软件工具与验证环境进行了深入研究，形成了一套证明和验证一致性维护算法的模型、理论、方法与工具。主要创新成果包括：网络游戏、移动、协同设计等动态网络环境下一致性维护算法正确性评价框架，基于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人次。

中文关键词： 计算机支持的协同工作; 一致性维护; 正确性; 证明; 验证

英文摘要： This project focused on the research of consistency maintenance algorithms' correctness evaluation framework, correctness model & its proof approaches, design criterion, correctness analysis tools & verification environments in large-scale dynamic network. A set of models, theories, methods and tools of the consistency maintenance algorithms' proof and verification was proposed. The main innovative research results included: 1) Correctness evaluation framework for consistency maintenance algorithms in networked games, mobile applications and collaborative design; 2) CA theory based modelling and proof approaches for consistency maintenance algorithms; 3) Design criterion for consistency maintenance algorithms in Web, collaborative design and cloud environments; 4) Social network oriented consistency maintenance algorithms for the prediction, analysis and verification of user interests and privacy. These results were published in important conferences and journals, including the one in CSCW'12, two in CSCW'11, one in CSCW'10 and one in IEEE TPDS. Under the support of the project, Totally, 17 papers were published, among which there were 5 in SCI-indexed international journals and 11 in international conferences. Of the 17 papers, 2 and 11 of them were indexed by SCI and EI respectively. The ACM CSCW'10 paper was nominated for best paper award, and the CSCWD'11 paper won the best paper award. 2 national invention patents were applied. 3 Doctor dissertations and 3 Master thesis passed the defense. The hosting of CSCWD'10 conference was partially supported by this project, and the corresponding proceedings were also published. 6 project participants went abroad to attend international conferences.

英文关键词： CSCW; Consistency Maintenance; Correctness; Proof; Verfication