面向普适环境的自适应中间件模型与方法

第1章 概述

1.1 研究背景

1.1.1 计算模式变革

1.1.2 计算环境融合

1.1.3 软件发展构件化

1.1.4 SOA与Web服务

1.2 中间件概述

1.2.1 中间件的定义

1.2.2 中间件的分类

1.2.3 中间件的体系结构

1.2.4 中间件的发展趋势

1.3 CCM规范概述

1.3.1 CCM规范的简介

1.3.2 CCM规范的优点

1.4 问题与挑战

1.5 研究内容

1.6 本书结构

第2章 研究基础与现状

2.1 自适应中间件概念

2.1.1 自适应的定义

2.1.2 自适应系统的定义

2.1.3 自适应中间件的定义

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

2.2.1 基于AOP的关注分离方法

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

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

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

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

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

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

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

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

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

2.4 研究现状的比较与分析

2.5 本章小结

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

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

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

3.2.1 自适应构件

3.2.2 自适应智能体

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

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

3.3.2 元模型SCUDMM

3.3.3 元数据SCUDMD

3.3.4 元协议SCUDMP

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

3.4.1 上下文的语义视图

3.4.2 智能空间中的本体

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

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

3.5.1 中间件自适应的三阶段

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

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

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

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

3.6.1 SCUDSOS设计思路

3.6.2 SCUDSOS基本组成

3.6.3 SCUDSOS运行时体系

3.7 本章小结

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

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

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

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

4.2.2 RIT方法中的CCAP、SCB和ACDC

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

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

4.3.2 RIT方法的性能分析

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

4.5 自适应构件组合模型

4.5.1 自适应构件组合单元

4.5.2 自适应构件动作行为

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

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

4.6.2 自适应构件组合方法SEACC

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

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

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

4.7.1 自适应因子概念

4.7.2 自适应因子的分类

4.7.3 自适应因子的计算

4.8 动态自适应组合流程

4.9 本章小结

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

5.1 π演算理论基础

5.1.1 π演算概述

5.1.2 π演算的语法定义

5.1.3 π演算的操作语义

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

5.2.1 构件原子行为建模方法

5.2.2 构件复合行为建模方法

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

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

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

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

5.4.2 等价性验证工具MWB

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

5.4.4 利用MWB验证行为等价性

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

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

5.5.2 兼容性验证的一般规则

5.5.3 实例分析与验证

5.6 本章小结

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

6.1 问题概述

6.2 类型理论基础

6.2.1 Martin Lof类型论简介

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

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

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

6.3.2 OWL-S的扩展

6.3.3 Web服务外部行为建模

6.3.4 Web服务内部行为建模

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

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

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

6.5 相关工作比较

6.6 本章小结

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

7.1 SCUDSOS中的动态配置方法

7.1.1 自顶向下动态配置

7.1.2 自底向上动态配置

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

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

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

7.2.3 证明规则与策略

7.2.4 实例研究

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

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

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

7.3.3 实例研究

7.4 相关工作比较

7.5 本章小结

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

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

8.1.1 体系结构

8.1.2 核心组件

8.1.3 主要过程

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

8.2.1 基础服务模块

8.2.2 软件集成开发环境

8.2.3 动态配置管理工具

8.3 本章小结

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

9.1 智能汽车空间

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

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

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

9.2 自适应中间件SCUDWare

9.2.1 SCUDWare的体系

9.2.2 SCUDWare的特点

9.3 CCM规范的改进

9.3.1 CCM规范的不足

9.3.2 SCUDCCM规范

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

9.4.1 移动音乐系统MMS的简介

9.4.2 移动音乐系统MMS的开发

9.5 本章小结

第10章 结束语

10.1 本书工作总结

10.2 不足之处和进一步工作

参考文献

本书针对普适计算对中间件的全新要求，集中突破基于构件的中间件在设计部署和运行阶段如何实现自适应以及面向服务的动态配置正确性验证的方法难点，为普适计算应用提供自适应中间件的理论和方法支持。
全书共分十章，主要内容包括：自适应中间件模型SCUD，SCUD自适应构件分配与组合方法，自适应构件行为等价性与兼容性判定，面向服务的软件动态配置正确性判定，面向服务的软件动态配置平台等。