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

针对大规模动态网络环境中缺乏协同组操作一致性维护算法正确性的研究，而现有的研究方法和证明技术缺乏对该环境的大规模和动态性等特点进行描述的一致性维护算法正确性评价模型、严格的形式化证明方法和自动验证软件的支持。本项目提出研究一致性维护算法的正确性证明与验证中的关键技术，具体研究内容包括：大规模动态环境下的多层次一致性维护算法正确性评价框架；基于Dynamic I/O自动机的一致性维护算法建模及其正确性证明方法；指导满足正确性的一致性维护算法设计的准则；一致性维护算法建模、正确性分析的软件工具与验证环境。.该研究是对现有大规模动态网络环境中协同组操作一致性维护算法研究的有力推动，富有创新：它不但能在理论上完善一致性维护算法的理论基础，提高一致性维护算法的可信性，具有重要的理论意义；而且能促进一致性维护算法在大规模动态网络环境中的应用(交互式网格、Web2.0应用等)，具有重要重要的现实意义