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

基本信息
批准号:61170061
项目类别:面上项目
资助金额:15.00
负责人:邢春晓
学科分类:
依托单位:清华大学
批准年份:2011
结题年份:2012
起止时间:2012-01-01 - 2012-12-31
项目状态: 已结题
项目参与者:张勇,朝乐门,杜旭涛,胡庆成,崔纪锋,邓泉松,田洪亮,高旸,夏双
关键词:
服务建模Chu空间云数据管理验证
结项摘要

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

项目摘要

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

项目成果
{{index+1}}

{{i.achievement_title}}

{{i.achievement_title}}

DOI:{{i.doi}}
发表时间:{{i.publish_year}}

暂无此项成果

数据更新时间:2023-05-31

其他相关文献

1

一种基于多层设计空间缩减策略的近似高维优化方法

一种基于多层设计空间缩减策略的近似高维优化方法

DOI:10.1051/jnwpu/20213920292
发表时间:2021
2

基于主体视角的历史街区地方感差异研究———以北京南锣鼓巷为例

基于主体视角的历史街区地方感差异研究———以北京南锣鼓巷为例

DOI:
发表时间:2019
3

智能煤矿建设路线与工程实践

智能煤矿建设路线与工程实践

DOI:10.13199/j.cnki.cst.2020.07.010
发表时间:2020
4

贵州织金洞洞穴CO2的来源及其空间分布特征

贵州织金洞洞穴CO2的来源及其空间分布特征

DOI:
发表时间:2016
5

传统聚落中民间信仰建筑的流布、组织及仪式空间——以闽南慈济宫为例

传统聚落中民间信仰建筑的流布、组织及仪式空间——以闽南慈济宫为例

DOI:
发表时间:2017

邢春晓的其他基金

相似国自然基金

1

基于进程网络的Web服务组合建模和验证方法研究

批准号:60973013
批准年份:2009
负责人:张秀国
学科分类:F0203
资助金额:30.00
项目类别:面上项目
2

物联网空间内基于位置服务的数据管理技术研究

批准号:61003058
批准年份:2010
负责人:谷峪
学科分类:F0202
资助金额:19.00
项目类别:青年科学基金项目
3

Web服务组合建模和验证技术研究

批准号:60973149
批准年份:2009
负责人:李必信
学科分类:F0203
资助金额:33.00
项目类别:面上项目
4

组合Web服务的建模与验证

批准号:60873018
批准年份:2008
负责人:段振华
学科分类:F0201
资助金额:36.00
项目类别:面上项目