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