面向普适环境的自适应中间件模型与方法PDF|Epub|txt|kindle电子书版本网盘下载

面向普适环境的自适应中间件模型与方法PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章 概述1

1.1研究背景1

1.1.1计算模式变革2

1.1.2计算环境融合3

1.1.3软件发展构件化4

1.1.4 SOA与Web服务7

1.2中间件概述10

1.2.1中间件的定义10

1.2.2中间件的分类12

1.2.3中间件的体系结构13

1.2.4中间件的发展趋势14

1.3 CCM规范概述17

1.3.1CCM规范的简介17

1.3.2CCM规范的优点23

1.4问题与挑战24

1.5研究内容26

1.6本书结构27

第2章 研究基础与现状29

2.1自适应中间件概念29

2.1.1自适应的定义29

2.1.2自适应系统的定义30

2.1.3自适应中间件的定义32

2.2自适应中间件的支撑方法综述33

2.2.1基于AOP的关注分离方法33

2.2.2基于内省和调解的反射方法35

2.2.3基于构件的设计开发方法37

2.2.4基于静态和动态的软件组合方法39

2.2.5基于软件动态配置技术的调整方法43

2.3自适应中间件的研究项目综述59

2.3.1面向基础设施的自适应中间件59

2.3.2面向分布式对象的自适应中间件61

2.3.3面向分布式构件的自适应中间件65

2.3.4面向通用服务的自适应中间件68

2.4研究现状的比较与分析70

2.5本章小结72

第3章 自适应中间件模型SCUD73

3.1自适应中间件模型SCUD的体系73

3.2自适应中间件模型SCUD的实体75

3.2.1自适应构件76

3.2.2自适应智能体80

3.3自适应中间件模型SCUD的内省机制84

3.3.1自适应中间件SCUD的反射体系84

3.3.2元模型SCUDMM84

3.3.3元数据SCUDMD85

3.3.4元协议SCU1DMP86

3.4自适应中间件模型SCUD的外省机制86

3.4.1上下文的语义视图87

3.4.2智能空间中的本体87

3.4.3语义集成的上下文感知模型SCM88

3.5 SCUD的中间件自适应语义规范89

3.5.1中间件自适应的三阶段89

3.5.2基于扩展时序逻辑的上下文感知自适应时序逻辑CATL90

3.5.3上下文感知的中间件自适应语义规范CMAS91

3.5.4中间件自适应语义规范的合成93

3.6 SCUD面向服务的动态配置机制94

3.6.1 SCUDSOS设计思路95

3.6.2 SCUDSOS基本组成97

3.6.3 SCUDSOS运行时体系99

3.7本章小结101

第4章SCUD自适应构件分配与组合方法102

4.1自适应构件分配问题的定义102

4.2资源受限的启发式自适应构件分配方法103

4.2.1自适应构件分配方法—RIT103

4.2.2 RIT方法中的CCAP、SCB和ACDC104

4.3自适应构件分配实验及性能分析105

4.3.1 MMS系统中的自适应构件分配实验106

4.3.2 RIT方法的性能分析108

4.4自适应构件组合问题的定义110

4.5自适应构件组合模型110

4.5.1自适应构件组合单元111

4.5.2自适应构件动作行为111

4.6安全高效的自适应构件组合方法113

4.6.1自适应构件组合中的状态定义114

4.6.2自适应构件组合方法SEACC115

4.6.3自适应构件组合方法实例117

4.6.4自适应构件组合方法性能测试120

4.7构件动态组合的自适应因子122

4.7.1自适应因子概念123

4.7.2自适应因子的分类123

4.7.3自适应因子的计算124

4.8动态自适应组合流程126

4.9本章小结126

第5章 自适应构件行为等价性与兼容性判定129

5.1π演算理论基础129

5.1.1π演算概述129

5.1.2π演算的语法定义130

5.1.3π演算的操作语义131

5.2自适应构件行为的π演算表达132

5.2.1构件原子行为建模方法132

5.2.2构件复合行为建模方法133

5.2.3一个基于π演算的自适应构件行为建模实例134

5.3自适应构件等价性与兼容性概述136

5.4基于π演算的自适应构件行为等价性分析与验证136

5.4.1自适应构件行为等价性相关理论136

5.4.2等价性验证工具MWB138

5.4.3基于π演算的自适应构件行为等价性分析139

5.4.4利用MWB验证行为等价性143

5.5基于π演算的自适应构件行为兼容性分析145

5.5.1自适应构件行为兼容性相关理论145

5.5.2兼容性验证的一般规则146

5.5.3实例分析与验证147

5.6本章小结149

第6章 面向服务的软件动态配置正确性判定150

6.1问题概述150

6.2类型理论基础151

6.2.1Martin_L？f类型论简介151

6.2.2依赖记录类型与强制子类型153

6.3支持大粒度Web服务的形式化建模155

6.3.1大粒度服务与面向服务的软件155

6.3.2 OWL-S的扩展156

6.3.3 Web服务外部行为建模160

6.3.4 Web服务内部行为建模164

6.4面向服务的软件动态配置的正确性判定172

6.4.1服务可替换性的定义与判定173

6.4.2服务兼容性的定义与判定176

6.5相关工作比较184

6.6本章小结185

第7章SCUD面向服务的软件动态配置方法186

7.1 SCUDSOS中的动态配置方法186

7.1.1自顶向下动态配置187

7.1.2自底向上动态配置189

7.2面向功能性动态配置的服务即时组装方法190

7.2.1面向动态配置的服务即时组装过程191

7.2.2服务即时组装需求的表达192

7.2.3证明规则与策略193

7.2.4实例研究194

7.3面向非功能性动态配置的目标选择方法200

7.3.1 Web服务的非功能属性模型201

7.3.2面向非功能性动态配置的目标选择方法202

7.3.3实例研究211

7.4相关工作比较214

7.5本章小结215

第8章 面向服务的软件动态配置平台217

8.1面向服务的软件动态配置平台的设计217

8.1.1体系结构217

8.1.2核心组件218

8.1.3主要过程221

8.2面向服务的软件动态配置原型平台222

8.2.1基础服务模块222

8.2.2软件集成开发环境224

8.2.3动态配置管理工具226

8.3本章小结226

第9章 面向智能汽车空间的自适应中间件227

9.1智能汽车空间227

9.1.1智能汽车空间的体系结构228

9.1.2智能汽车空间的硬件实现229

9.1.3面向智能汽车空间的HMM构建229

9.2自适应中间件SCUDWare233

9.2.1 SCUDWare的体系234

9.2.2 SCUDWare的特点235

9.3 CCM规范的改进237

9.3.1 CCM规范的不足237

9.3.2 SCUDCCM规范238

9.4智能汽车空间中的移动音乐系统239

9.4.1移动音乐系统MMS的简介240

9.4.2移动音乐系统MMS的开发241

9.5本章小结247

第10章 结束语248

10.1本书工作总结248

10.2不足之处和进一步工作250

参考文献252