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

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

对云计算中海量的数据资源进行管理是云计算领域研究的一项重要基础性工作。在考虑到云计算的虚拟化、多粒度、不确定性和软计算这四个重要特征的条件下，本项目针对云数据管理和服务中海量、分布、动态、异构的特点，基于Chu 空间理论，研究云数据管理和服务的一致性、可扩展性、可靠性、正确性的形式化建模和特性验证。本项目做了如下研究：（１）提出了Web服务接口控制流自动机，对Web服务组合中最基本的与伙伴Web服务的交互逻辑进行建模。（２）提出了一种Chu 空间进程代数CSPAB。（３）基于Chu 空间及其进程代数给出了WS-BPEL 的Chu 空间指称语义。（４）设计和构建了一个基于开放源的云数据管理服务 CDMS 原型平台。.在项目的执行过程中，培养了多名博硕士学生，并与国际上多家单位的知名科研人员形成了富有成效的协作关系。项目成果具有广阔的应用前景，作为指导性理论和参考技术体系可以应用于许多相关软件的研制工作。