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

出版时间：2010-12  出版社：浙江大学出版社  作者：吴卿，殷昱煜 著  页数：268  

内容概要

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

书籍目录

第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章　自适应中间件模型SCUD3.1　自适应中间件模型SCUD的体系3.2　自适应中间件模型SCUD的实体3.2.1　自适应构件3.2.2　自适应智能体3.3　自适应中间件模型SCUD的内省机制3.3.1　自适应中间件SCUD的反射体系3.3.2　元模型SCUDMM3.3.3　元数据SCUDMD3.3.4　元协议SCUDMP3.4　自适应中间件模型SCUD的外省机制3.4.1　上下文的语义视图3.4.2　智能空间中的本体3.4.3　语义集成的上下文感知模型SCM3.5　SCUD的中间件自适应语义规范3.5.1　中间件自适应的三阶段3.5.2　基于扩展时序逻辑的上下文感知自适应时序逻辑CATL3.5.3　上下文感知的中间件自适应语义规范CMAS3.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　自适应构件分配方法—RIT4.2.2　RIT方法中的CCAP、SCB和ACDC4.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　自适应构件组合方法SEACC4.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　等价性验证工具MWB5.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　自适应中间件SCUDWare9.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　不足之处和进一步工作参考文献