基于Chu空间的云数据管理服务建模和验证研究

项目名称： 基于Chu空间的云数据管理服务建模和验证研究

项目编号： No.61170061

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 自动化技术、计算机技术

项目作者： 邢春晓

作者单位： 清华大学

项目金额： 15万元

中文摘要： 对云计算中海量的数据资源进行管理是云计算领域研究的一项重要基础性工作。在考虑到云计算的虚拟化、多粒度、不确定性和软计算这四个重要特征的条件下，本项目针对云数据管理和服务中海量、分布、动态、异构的特点，基于Chu空间理论，研究云数据管理和服务的一致性、可扩展性、可靠性、正确性的形式化建模和特性验证，通过设计和建立基于开放源的云数据管理服务CDMS原型平台，对研究成果和形式化模型进行验证。同时，本项目提出了形式化模型将成为构建大规模高可靠安全可信的云数据管理服务平台奠定理论和实践基础。

中文关键词： 云数据管理；Chu空间；服务建模；验证；

英文摘要：

英文关键词： Cloud data management；Chu space；Service　modeling；Verification；