基本介紹
- 書名：面向普適環境的自適應中間件模型與方法
- 作者：吳卿，殷昱煜
- ISBN：9787308081283
- 頁數：268
- 定價：45.00元
- 出版社：浙江大學出版社
- 出版時間：2010-12
內容簡介,圖書目錄,
內容簡介
《面向普適環境的自適應中間件模型與方法》針對普適計算對中間件的全新要求，集中突破基於構件的中間件在設計部署和運行階段如何實現自適應以及面向服務的動態配置正確性驗證的方法難點，為普適計算套用提供自適應中間件的理論和方法支持。
全書共分十章，主要內容包括：自適應中間件模型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章 自適應中間件模型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 不足之處和進一步工作
參考文獻
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 不足之處和進一步工作
參考文獻
