復雜信息系統(tǒng)能力需求技術

第一章 復雜信息系統(tǒng)能力需求開發(fā)技術
1．1 復雜信息系統(tǒng)能力需求背景介紹
1．1．1 復雜信息系統(tǒng)需求開發(fā)技術
1．1．2 復雜信息系統(tǒng)能力需求開發(fā)
1．1．3 能力概念定義
1．2 復雜信息系統(tǒng)能力需求開發(fā)過程
1．3 能力需求描述的概念框架
1．3．1 概念框架的基本構(gòu)成
1．3．2 業(yè)務目標視圖模型
1．3．3 節(jié)點視圖模型
1．3．4 資源視圖模型
1．3．5 活動視圖模型
1．3．6 信息視圖模型
1．3．7 能力視圖模型
1．3．8 互操作性視圖模型
1．3．9 事件跟蹤視圖模型
1．4 能力需求描述方法
1．4．1 能力需求三層建?？蚣?br />1．4．2 復雜信息系統(tǒng)能力需求元概念模型
1．4．3 支持領域特定描述語言的對象建模技術
1．5 能力需求獲取方法
1．5．1 需求獲取概念框架
1．5．2 能力概念框架引導的對象建模過程
第二章 復雜信息系統(tǒng)能力需求領域知識復用技術
2．1 基于本體的領域知識復用技術
2．2 領域知識復用層次
2．2．1 基于應用概念的領域本體抽取與合并
2．2．2 領域知識復用方法
2．3 領域復用算法
2．4 本體映射方法
2．4．1 本體描述語言符號
2．4．2 特征解析
2．4．3 候選映射選擇
2．4．4 相似度計算與綜合
2．4．5 閾值的選取及生成映射
2．4．6 迭代
2．4．7 用戶篩選
2．4．8 具體算法
2．5 本體合并方法
2．6 算法復雜度分析
2．6．1 映射的復雜性
2．6．2 合并的復雜性
第三章 復雜信息系統(tǒng)能力需求形式化驗證技術
3．1 需求模型形式化驗證框架
3．2 模型語義定義及其形式化
3．2．1 復雜信息系統(tǒng)能力概念化元本體
3．2．2 OWL DL本體與SHOIN（D）知識庫之間的轉(zhuǎn)換規(guī)則
3．2．3 領域概念模型定義及其形式化
3．2．4 系統(tǒng)知識模型定義及其形式化
3．3 互操作性知識定義及其形式化
3．3．1 互操作性定義
3．3．2 系統(tǒng)互操作性等級評估方法
3．3．3 系統(tǒng)互操作性知識定義及形式化
3．4 領域知識一致性驗證
3．4．1 領域一致性問題分析
3．4．2 領域知識一致性檢查
3．5 系統(tǒng)互操作性等級判定
3．5．1 單系統(tǒng)互操作性判定
3．5．2 多系統(tǒng)互操作性等級判定
第四章 基于SysML的復雜信息系統(tǒng)效能分析技術
4．1 復雜信息系統(tǒng)效能與能力需求
4．1．1 能力與效能的概念
4．1．2 能力與效能的關系
4．2 基于SysML的復雜信息系統(tǒng)效能分析建模方法
4．2．1 SysML對復雜信息系統(tǒng)效能分析建模的支持
4．2．2 基于需求圖的系統(tǒng)目標需求分析
4．2．3 基于活動圖的系統(tǒng)動態(tài)行為建模
4．2．4 基于塊圖的靜態(tài)結(jié)構(gòu)建模
4．2．5 基于參數(shù)圖的參數(shù)關系建模
第五章 基于fUML的復雜信息系統(tǒng)能力需求可執(zhí)行技術
5．1 復雜信息系統(tǒng)行為的建模語義
5．2 能力需求模型的動作語義
5．2．1 動作語義的基本概念
5．2．2 可執(zhí)行動作語義元模型
5．3 能力需求模型的基本動作
5．3．1 讀寫動作
5．3．2 激活動作
5．3．3 復合動作
5．3．4 計算動作
5．3．5 動作的執(zhí)行機制
5．4 動作語義在能力需求建模語言中的映射
第六章 基于MDA的復雜信息系統(tǒng)能力需求模型轉(zhuǎn)換技術
6．1 基于QVT的模型轉(zhuǎn)換框架
6．1．1 模型轉(zhuǎn)換基本定義
6．1．2 模型轉(zhuǎn)換框架
6．1．3 轉(zhuǎn)換定義語言QVT
6．2 能力需求模型到可執(zhí)行仿真模型轉(zhuǎn)換的設計與實現(xiàn)
6．2．1 模型轉(zhuǎn)換過程
6．2．2 應用活動圖模型的形式化
6．2．3 基于QVT和XSLT的模型轉(zhuǎn)換實現(xiàn)
第七章 復雜信息系統(tǒng)能力需求方案組合魯棒優(yōu)化技術
7．1 復雜信息系統(tǒng)能力需求方案組合基本問題分析
7．2 復雜信息系統(tǒng)能力需求方案組合基本問題模型
7．3 復雜信息系統(tǒng)能力需求方案組合模型
7．3．1 經(jīng)典Markowitz模型
7．3．2 復雜信息系統(tǒng)能力需求方案組合模型
7．3．3 復雜信息系統(tǒng)能力需求方案組合的開發(fā)風險建模
7．3．4 目標函數(shù)和約束條件
7．3．5 綜合主、客觀權(quán)重信息的組合賦權(quán)方法
7．4 復雜信息系統(tǒng)能力需求方案組合魯棒優(yōu)化模型
7．4．1 不確定集的構(gòu)造
7．4．2 能力需求方案組合的魯棒優(yōu)化模型
7．4．3 魯棒優(yōu)化模型的求解方法
參考文獻