对云计算中海量的数据资源进行管理是云计算领域研究的一项重要基础性工作。在考虑到云计算的虚拟化、多粒度、不确定性和软计算这四个重要特征的条件下,本项目针对云数据管理和服务中海量、分布、动态、异构的特点,基于Chu空间理论,研究云数据管理和服务的一致性、可扩展性、可靠性、正确性的形式化建模和特性验证,通过设计和建立基于开放源的云数据管理服务CDMS原型平台,对研究成果和形式化模型进行验证。同时,本项目提出了形式化模型将成为构建大规模高可靠安全可信的云数据管理服务平台奠定理论和实践基础。
对云计算中海量的数据资源进行管理是云计算领域研究的一项重要基础性工作。在考虑到云计算的虚拟化、多粒度、不确定性和软计算这四个重要特征的条件下,本项目针对云数据管理和服务中海量、分布、动态、异构的特点,基于Chu 空间理论,研究云数据管理和服务的一致性、可扩展性、可靠性、正确性的形式化建模和特性验证。本项目做了如下研究:(1)提出了Web服务接口控制流自动机,对Web服务组合中最基本的与伙伴Web服务的交互逻辑进行建模。(2)提出了一种Chu 空间进程代数CSPAB。(3)基于Chu 空间及其进程代数给出了WS-BPEL 的Chu 空间指称语义。(4)设计和构建了一个基于开放源的云数据管理服务 CDMS 原型平台。.在项目的执行过程中,培养了多名博硕士学生,并与国际上多家单位的知名科研人员形成了富有成效的协作关系。项目成果具有广阔的应用前景,作为指导性理论和参考技术体系可以应用于许多相关软件的研制工作。
{{i.achievement_title}}
数据更新时间:2023-05-31
一种基于多层设计空间缩减策略的近似高维优化方法
基于主体视角的历史街区地方感差异研究———以北京南锣鼓巷为例
智能煤矿建设路线与工程实践
贵州织金洞洞穴CO2的来源及其空间分布特征
传统聚落中民间信仰建筑的流布、组织及仪式空间——以闽南慈济宫为例
基于进程网络的Web服务组合建模和验证方法研究
物联网空间内基于位置服务的数据管理技术研究
Web服务组合建模和验证技术研究
组合Web服务的建模与验证