第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章 自适应中间件模型SCUD 73
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元模型SCUDMM 84
3.3.3元数据SCUDMD 85
3.3.4元协议SCU1DMP 86
3.4自适应中间件模型SCUD的外省机制 86
3.4.1上下文的语义视图 87
3.4.2智能空间中的本体 87
3.4.3语义集成的上下文感知模型SCM 88
3.5 SCUD的中间件自适应语义规范 89
3.5.1中间件自适应的三阶段 89
3.5.2基于扩展时序逻辑的上下文感知自适应时序逻辑CATL 90
3.5.3上下文感知的中间件自适应语义规范CMAS 91
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自适应构件分配方法—RIT 103
4.2.2 RIT方法中的CCAP、SCB和ACDC 104
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自适应构件组合方法SEACC 115
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等价性验证工具MWB 138
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自适应中间件SCUDWare 233
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