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

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