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

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