軟件適應(yīng)性技術(shù)：從個體適應(yīng)到群體適應(yīng)

序
前言
第一部分  發(fā)展分析篇
第1章  軟件適應(yīng)基本概念
  1.1  軟件適應(yīng)的定義
    1.1.1  軟件適應(yīng)案例
    1.1.2  軟件適應(yīng)和適應(yīng)性的概念
    1.1.3  個體適應(yīng)和群體適應(yīng)的概念
  1.2  軟件適應(yīng)研究動機
    1.2.1  軟件運行環(huán)境的變遷
    1.2.2  軟件內(nèi)部結(jié)構(gòu)的變化
  1.3  軟件適應(yīng)的典型應(yīng)用場景
    l.3.1  普適計算和cyber.Physical系統(tǒng)
    1.3.2  云計算
    1.3.3  透明計算
    1.3.4  自主計算
    1.3.5  移動計算和移動云計算
  1.4  軟件適應(yīng)與軟件在線演化
    1.4.1  在線演化的概念和發(fā)展歷史
    1.4.2  在線演化過程模型
    1.4.3  適應(yīng)與在線演化的關(guān)系
  1.5  軟件適應(yīng)的系統(tǒng)科學基礎(chǔ)
    1.5.1  控制理論
    1.5.2  復雜適應(yīng)系統(tǒng)理論
第2章  軟件適應(yīng)使能技術(shù)
  2.1  軟件適應(yīng)活動的特征分類
    2.1.1  感知環(huán)節(jié)的特征分類
    2.1.2  決策環(huán)節(jié)的特征分類
    2.1.3  執(zhí)行環(huán)節(jié)的特征分類
  2.2  軟件適應(yīng)的基礎(chǔ)使能技術(shù)
    2.2.1  計算反射
    2.2.2  中間件和軟件框架
    2.2.3  運行時軟件體系結(jié)構(gòu)
    2.2.4  面向軟件適應(yīng)的設(shè)計模式
  2.3  感知環(huán)節(jié)使能技術(shù)
    2.3.1  環(huán)境上下文處理
    2.3.2  軟件監(jiān)測
  2.4  決策環(huán)節(jié)使能技術(shù)
    2.4.1  基于策略的管理
    2.4.2  人工智能相關(guān)技術(shù)
    2.4.3  交叉學科相關(guān)技術(shù)
  2.5  執(zhí)行環(huán)節(jié)使能技術(shù)
    2.5.1  動態(tài)AOP
    2.5.2  構(gòu)件化系統(tǒng)的動態(tài)配置
    2.5.3  服務(wù)動態(tài)組合
    2.5.4  代碼動態(tài)遷移
第3章  軟件適應(yīng)典型實踐
  3.1  以運行時體系結(jié)構(gòu)技術(shù)為中心
    3.1.1  Rainbow
    3.1.2  K—Component
    3.1.3  MADAM
    3.1.4  網(wǎng)構(gòu)軟件相關(guān)項目
  3.2  以構(gòu)件模型設(shè)計為中心
    3.2.1  Accord
    3.2.2  PCOM
    3.2.3  Fractal&SAFRAN
  3.3  以中間件／軟件框架設(shè)計為中心
    3.3.1  OpenC0M&OpenORB
    3.3.2  Gaia
    3.3.3  GASA
  3.4  現(xiàn)有實踐小結(jié)
第4章  軟件適應(yīng)前沿探索
  4.1  應(yīng)對不確定性
    4.1.1  不確定性及其挑戰(zhàn)
    4.1.2  應(yīng)對不確定性的初步探索
  4.2  實現(xiàn)群體自適應(yīng)
    4.2.1  大規(guī)模環(huán)境感知和狀態(tài)監(jiān)測
    4.2.2  群體協(xié)同決策
  第二部分  研究實踐篇
第5章  Auxo軟件自適應(yīng)技術(shù)體系
  5.1  Auxo技術(shù)體系概述
  5.2  Auxo軟件自適應(yīng)概念模型
    5.2.1  現(xiàn)有軟件自適應(yīng)概念模型
    5.2.2  Auxo概念模型的組成
  5.3  Auxo概念模型應(yīng)用示例
  5.4  Auxo概念模型的參考實現(xiàn)
    5.4.1  Auxo參考實現(xiàn)基本架構(gòu)
    5.4.2  Auxo參考實現(xiàn)的物化
第6章  構(gòu)建自適應(yīng)的軟件個體
  6.1  基于控制理論的軟件自適應(yīng)
    6.1.1  前饋控制與反饋控制
    6.1.2  軟件個體復合控制過程
    6.1.3  基于復合控制過程構(gòu)造自適應(yīng)軟件
  6.2  AUX0構(gòu)件模型
    6.2.1  Auxo構(gòu)件語義
    6.2.2  Auxo構(gòu)件語法
    6.2.3  Auxo構(gòu)件組裝
    6.2.4  Auxo單元組裝實例
  6.3  Auxo單元框架
    6.3.1  構(gòu)件和連接子運行支撐設(shè)施
    6.3.2  元層模型的組織、維護和訪問
    6.3.3  軟件自適應(yīng)的實現(xiàn)
    6.3.4  軟件體系結(jié)構(gòu)在線修改的實現(xiàn)
  6.4  軟件自適應(yīng)能力在線調(diào)整方法
  6.5  AUXODL語言
    6.5.1  AuxoDL語言概述
    6.5.2  構(gòu)件定義方法
    6.5.3  初始體系結(jié)構(gòu)配置定義方法
    6.5.4  體系結(jié)構(gòu)修改規(guī)約定義方法
  6.6  與相關(guān)項目的比較
第7章  集中決策的群體自適應(yīng)
  7.1  任務(wù)規(guī)約驅(qū)動的群體聚合
    7.1.1  場景無關(guān)的任務(wù)規(guī)約
    7.1.2  群體聚合高層視圖
    7.1.3  聚合協(xié)議與個體自主性的體現(xiàn)
    7.1.4  相關(guān)工作比較
  7.2  群體聚合規(guī)劃
    7.2.1  基于效用的環(huán)境需求描述
    7.2.2  使用匈牙利方法實現(xiàn)聚合規(guī)劃
  7.3  跨單元連接子的實例化
第8章  非集中決策的群體自適應(yīng)
  8.1  分布式約束優(yōu)化問題
  8.2  基于分布式約束優(yōu)化的群體自適應(yīng)
    8.2.1  非集中式策略沖突檢測和消解問題
    8.2.2  其他群體自適應(yīng)實例
  8.3  HEDA分布式約束優(yōu)化算法
    8.3.1  低約束密度問題
    8.3.2  相關(guān)工作
    8.3.3  HEDA算法概述
    8.3.4  HEDA算法核心機制
    8.3.5  HEDA算法具體實現(xiàn)
  8.4  HEDA算法性能評估和比較
    8.4.1  算法復雜性
    8.4.2  實驗結(jié)果與分析
第9章  原型實現(xiàn)和驗證
  9.1  自適應(yīng)中間件UbiStar
    9.1.1  LlbiStal。中間件架構(gòu)設(shè)計
    9.1.2  Auxo軟件框架的具體實現(xiàn)
  9.2  應(yīng)用驗證與測試
    9.2.1  自適應(yīng)服務(wù)器池
    9.2.2  智能樓宇火災救難系統(tǒng)
    9.2.3  智能會議室
    9.2.4  其他定量測試
  9.3  第三方應(yīng)用案例
  9.4  未來工作展望
參考文獻
附錄A  Auxo.AAS接口定義
附錄B  AuxoDL語法