軟體適應性技術:從個體適應到群體適應

軟體適應性技術:從個體適應到群體適應

《軟體適應性技術:從個體適應到群體適應》從體系結構層面入手,研究適應性軟體的構造技術。首先以較大篇幅對軟體適應領域的已有研究進行較為全面的闡述和分析,在此基礎上闡述作者近年來在個體適應和群體適應方面所取得的成果,包括融合個體適應性和群體適應性的軟體自適應概念模型、自適應軟體個體構造方法、集中決策的群體自適應機制、非集中決策的群體自適應機制等,以及基於這些成果形成的Auxo技術體系。 《軟體適應性技術:從個體適應到群體適應》是對作者近年來在軟體適應性技術領域工作的一次全面梳理和系統闡述,適合軟體工程等相關領域的科研人員閱讀參考。

內容簡介

丁博編著《軟體適應性技術--從個體適應到群體適應》從軟體工程層面入手,首先對軟體適應領域的已有工作進行較為全面的闡述和分析,指出現有工作的不足。在此基礎上,闡述了作者針對現有工作不足展開研究所取得的成果,包括融合個體和群體適應性的軟體自適應概念模型、自適軟體個體構造方法、集中決策的群體自適應機制、非集中決策的群體自適應機制等。本書適合軟體工程等相關領域的科研人員閱讀參考。

圖書目錄


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

相關詞條

熱門詞條

聯絡我們