学位论文 > 优秀研究生学位论文题录展示

动态重构网格应用系统的鲁棒一致性研究

作　者: 王源
导　师: 徐志伟
学　校: 中国科学院研究生院（计算技术研究所）
专　业: 计算机系统结构
关键词: 网格网格应用鲁棒一致性动态重构抽象状态机
分类号: TP393.01
类　型: 博士论文
年　份: 2004年
下　载: 205次
引　用: 1次
阅　读: 论文下载

内容摘要

为了使运行在网格上的提供连续服务的长周期运行的应用能适应用户需求的变化,以及适应网格环境的动态变化,同时由于经济或安全性的原因,将系统停下来进行调整再重新启动是不允许的,因此要求系统网格应用系统具有动态重构功能。使得网格应用能从一种组态动态演化到另外一种组态,无需中断整个应用系统的运行,并且保证系统的一致性不变。本文对动态重构网格应用系统进行了理论分析和证明。基于基本组件模型,给出了可重构服务组件的形式化模型,给出了网格应用的形式化模型,在此基础上给出一致性,鲁棒一致性,结构完整性,状态接续性的定义,给出并证明了动态重构网格应用的鲁棒一致性定理,并给出了网格应用动态可重构的推论。建立了动态可重构网格应用系统的ASM模型GAS,考虑GAS的初始状态和约束条件,通过对GAS模块行为规则分析得出了以下结论:GAS具有结构完整性。GAS具有状态接续性。GAS对于用户任一请求操作发生后的有限时间内总有对应的响应发生。GAS具有可重构安全状态可达性。GAS是动态可重构的。GAS具有鲁棒一致性。

全文目录

摘要  3-4
Abstract  4-7
第一章绪论  7-11
  1.1 研究目的和意义  7
  1.2 研究背景和现状  7-9
  1.3 本报告的研究内容  9-10
  1.4 本报告的主要创新点  10-11
第二章动态重构网格应用系统的鲁棒一致性  11-23
  2.1 引言  11-12
  2.2 抽象状态机（ASM）简介  12-14
  2.3 可重构服务组件模型与网格应用模型  14-18
  2.4 动态重构网格应用系统的基本性质  18-20
  2.5 鲁棒一致性定理  20-22
  2.6 小结  22-23
第三章动态重构网格应用系统的ASM 模型与性质分析  23-34
  3.1 动态重构网格应用系统  23-24
  3.2 服务组件模块Π_(comp)  24-26
  3.3 信息服务模块Π_(info)  26-28
  3.4 动态重构服务模块Π_(recon)  28-30
  3.5 认证授权服务模块Π_(auth)  30-31
  3.6 网格应用系统ASM 模型的初始状态和约束条件  31-32
  3.7 动态重构网格应用系统的性质分析  32-33
  3.8 小结  33-34
第四章结束语  34-35
参考文献  35-43
致谢  43-44
学术论文  44-45
个人简历  45

动态重构网格应用系统的鲁棒一致性研究

内容摘要

全文目录

相似论文