云环境中容错软件结构模型设计方法

项目名称： 云环境中容错软件结构模型设计方法

项目编号： No.61300041

项目类型： 青年科学基金项目

立项/批准年度： 2014

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

项目作者： 范贵生

作者单位： 华东理工大学

项目金额： 23万元

中文摘要： 云计算近年来已成为一种被广泛接受的计算模式，在商业、交通、卫生等领域的应用日益广泛。然而，云计算的复杂特征对如何有效地设计满足应用需求的软件系统提出了巨大挑战。本项目从形式化语言、容错机制及实施方法三个方面研究云环境中软件结构模型设计方法。定义云软件的形式化模型语言，用于精确描述其软件结构和故障行为。通过构建可扩展的云计算软件结构模型，以刻画软件的运行机理、故障行为等特性；依据云计算的组件与云服务之间的映射关系，立足云服务的可替换性和服务等级协议，提出云服务选择规则和实施方案；协同云软件间竞争与合作关系，提出云计算容错策略，并基于面向方面和反射机制给出相应实施方法；利用模型检查技术验证容错软件结构实施的正确性。本项目研究对于揭示云计算的结构和行为特征、建立云计算容错软件结构模型、提高云计算可靠性具有理论意义和应用价值。

中文关键词： 云计算；容错软件结构；博弈；建模；验证

英文摘要： Cloud computing has emerged as a widely accepted computing paradigm over the past few years, which has been applied in vast areas such as industry, transportation and healthcare. However, due to the complexity of cloud computing system, it is a great challenge to effectively design a software system in cloud environment to meet the actual requirements. This project will investigate the software architecture modeling method for cloud computing systems from three aspects: formal language, fault-tolerant mechanism and enforcement method. Formal model language of cloud software is defined to accurately describe its software structure and fault behavior. By constructing the extensible fault models of cloud computing systems, we can characterize the operational mechanism and fault behaviors of cloud computing. Based on the mapping relationship between the components of cloud computing and cloud service, the replacement of cloud services and Service Level Agreement, we propose the selection rules of cloud service and its enforcement method.The fault-tolerant strategies of cloud computing are proposed based on weighing the competition and cooperation relationship between various software developers, and the corresponding enforcement method is given based on the idea of

英文关键词： Cloud computing；fault tolerant software；Game theory；modeling；verification