面向普適環(huán)境的自適應中間件模型與方法

第1章  概述
  1.1  研究背景
    1.1.1  計算模式變革
    1.1.2  計算環(huán)境融合
    1.1.3  軟件發(fā)展構(gòu)件化
    1.1.4  SOA與Web服務
  1.2  中間件概述
    1.2.1  中間件的定義
    1.2.2  中間件的分類
    1.2.3  中間件的體系結(jié)構(gòu)
    1.2.4  中間件的發(fā)展趨勢
  1.3 CCM規(guī)范概述
    1.3.1  CCM規(guī)范的簡介
    1.3.2  CCM規(guī)范的優(yōu)點
  1.4  問題與挑戰(zhàn)
  1.5  研究內(nèi)容
  1.6  本書結(jié)構(gòu)
第2章  研究基礎(chǔ)與現(xiàn)狀
  2.1  自適應中間件概念
    2.1.1  自適應的定義
    2.1.2  自適應系統(tǒng)的定義
    2.1.3  自適應中間件的定義
  2.2  自適應中間件的支撐方法綜述
    2.2.1  基于AOP的關(guān)注分離方法
    2.2.2  基于內(nèi)省和調(diào)解的反射方法
    2.2.3  基于構(gòu)件的設(shè)計開發(fā)方法
    2.2.4  基于靜態(tài)和動態(tài)的軟件組合方法
    2.2.5  基于軟件動態(tài)配置技術(shù)的調(diào)整方法
  2.3  自適應中間件的研究項目綜述
    2.3.1  面向基礎(chǔ)設(shè)施的自適應中間件
    2.3.2  面向分布式對象的自適應中間件
    2.3.3  面向分布式構(gòu)件的自適應中間件
    2.3.4  面向通用服務的自適應中間件
  2.4  研究現(xiàn)狀的比較與分析
  2.5  本章小結(jié)
第3章  自適應中間件模型SCUD
  3.1  自適應中間件模型SCUD的體系
  3.2  自適應中間件模型SCUD的實體
    3.2.1  自適應構(gòu)件
    3.2.2  自適應智能體
  3.3  自適應中間件模型SCUD的內(nèi)省機制
    3.3.1  自適應中間件SCUD的反射體系
    3.3.2  元模型SCUDMM
    3.3.3  元數(shù)據(jù)SCUDMD
    3.3.4  元協(xié)議SCUDMP
  3.4  自適應中間件模型SCUD的外省機制
    3.4.1  上下文的語義視圖
    3.4.2  智能空間中的本體
    3.4.3  語義集成的上下文感知模型SCM
  3.5  SCUD的中間件自適應語義規(guī)范
    3.5.1  中間件自適應的三階段
    3.5.2  基于擴展時序邏輯的上下文感知自適應時序邏輯CATL
    3.5.3  上下文感知的中間件自適應語義規(guī)范CMAS
    3.5.4  中間件自適應語義規(guī)范的合成
  3.6  SCUD面向服務的動態(tài)配置機制
    3.6.1  SCUDSOS設(shè)計思路
    3.6.2  SCUDSOS基本組成
    3.6.3  SCUDSOS運行時體系
  3.7  本章小結(jié)
第4章  SCUD自適應構(gòu)件分配與組合方法
  4.1  自適應構(gòu)件分配問題的定義
  4.2  資源受限的啟發(fā)式自適應構(gòu)件分配方法
    4.2.1  自適應構(gòu)件分配方法—RIT
    4.2.2  RIT方法中的CCAP、SCB和ACDC
  4.3  自適應構(gòu)件分配實驗及性能分析
    4.3.1  MMS系統(tǒng)中的自適應構(gòu)件分配實驗
    4.3.2  RIT方法的性能分析
  4.4  自適應構(gòu)件組合問題的定義
  4.5  自適應構(gòu)件組合模型
    4.5.1  自適應構(gòu)件組合單元
    4.5.2  ?適應構(gòu)件動作行為
  4.6  安全高效的自適應構(gòu)件組合方法
    4.6.1  自適應構(gòu)件組合中的狀態(tài)定義
    4.6.2  自適應構(gòu)件組合方法SEACC
    4.6.3  自適應構(gòu)件組合方法實例
    4.6.4  自適應構(gòu)件組合方法性能測試
  4.7  構(gòu)件動態(tài)組合的自適應因子
    4.7.1  自適應因子概念
    4.7.2  自適應因子的分類
    4.7.3  自?應因子的計算
  4.8  動態(tài)自適應組合流程
  4.9  本章小結(jié)
第5章  自適應構(gòu)件行為等價性與兼容性判定
  5.1  π演算理論基礎(chǔ)
    5.1.1  π演算概述
    5.1.2  π演算的語法定義
    5.1.3  π演算的操作語義
  5.2  自適應構(gòu)件行為的兀演算表達
    5.2.1  構(gòu)件原子行為建模方法
    5.2.2  構(gòu)件復合行為建模方法
    5.2.3  一個基于π演算的自適應構(gòu)件行為建模實例
  5.3  自適應構(gòu)件等價性與兼容性概述
  5.4  基于丌演算的自適應構(gòu)件行為等價性分析與驗證
    5.4.1  自適應構(gòu)件行為等價性相關(guān)理論
    5.4.2  等價性驗證工具MWB
    5.4.3  基于π演算的自適應構(gòu)件行為等價性分析
    5.4.4  利用MWB驗證行為等價性
  5.5  基于兀演算的自適應構(gòu)件行為兼容性分析
    5.5.1  自適應構(gòu)件行為兼容性相關(guān)理論
    5.5.2  兼容性驗證的一般規(guī)則
    5.5.3  實例分析與驗證
  5.6  本章小結(jié)
第6章  面向服務的軟件動態(tài)配置正確性判定
  6.1  問題概述
  6.2  類型理論基礎(chǔ)
    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服務內(nèi)部行為建模
  6.4  面向服務的軟件動態(tài)配置的正確性判定
    6.4.1  服務可替換性的定義與判定
    6.4.2  服務兼容性的定義與判定
  6.5  相關(guān)工作比較
  6.6  本章小結(jié)
第7章  SCUD面向服務的軟件動態(tài)配置方法
  7.1  SCUDSOS中的動態(tài)配置方法
    7.1.1  自頂向下動態(tài)配置
    7.1.2  自底向上動態(tài)配置
  7.2  面向功能性動態(tài)配置的服務即時組裝方法
    7.2.1  面向動態(tài)配置的服務即時組裝過程
    7.2.2  服務即時組裝需求的表達
    7.2.3  證明規(guī)則與策略
    7.2.4  實例研究
  7.3  面向非功能性動態(tài)配置的目標選擇方法
    7.3.1  Web服務的非功能屬性模型
    7.3.2  面向非功能性動態(tài)配置的目標選擇方法
    7.3.3  實例研究
  7.4  相關(guān)工作比較
  7.5  本章小結(jié)
第8章  面向服務的軟件動態(tài)配置平臺
  8.1  面向服務的軟件動態(tài)配置平臺的設(shè)計
    8.1.1  體系結(jié)構(gòu)
    8.1.2  核心組件
    8.1.3  主要過程
  8.2  面向服務的軟件動態(tài)配置原型平臺
    8.2.1  基礎(chǔ)服務模塊
    8.2.2  軟件集成開發(fā)環(huán)境
    8.2.3  動態(tài)配置管理工具
  8.3  本章小結(jié)
第9章  面向智能汽車空間的自適應中間件
  9.1  智能汽車空間
    9.1.1  智能汽車空間的體系結(jié)構(gòu)
    9.1.2  智能汽車空間的硬件實現(xiàn)
    9.1.3  面向智能汽車空間的HMM構(gòu)建
  9.2  自適應中間件SCUDWare
    9.2.1  SCUDWare的體系
    9.2.2  SCUDWare的特點
  9.3  CCM規(guī)范的改進
    9.3.1  CCM規(guī)范的不足
    9.3.2  SCUDCCM規(guī)范
  9.4  智能汽車空間中的移動音樂系統(tǒng)
    9.4.1  移動音樂系統(tǒng)MMS的簡介
    9.4.2  移動音樂系統(tǒng)MMS的開發(fā)
  9.5  本章小結(jié)
第10章  結(jié)束語
  10.1  本書工作總結(jié)
  10.2  不足之處和進一步工作
參考文獻