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

第一章 復(fù)雜信息系統(tǒng)能力需求開(kāi)發(fā)技術(shù)
1．1 復(fù)雜信息系統(tǒng)能力需求背景介紹
1．1．1 復(fù)雜信息系統(tǒng)需求開(kāi)發(fā)技術(shù)
1．1．2 復(fù)雜信息系統(tǒng)能力需求開(kāi)發(fā)
1．1．3 能力概念定義
1．2 復(fù)雜信息系統(tǒng)能力需求開(kāi)發(fā)過(guò)程
1．3 能力需求描述的概念框架
1．3．1 概念框架的基本構(gòu)成
1．3．2 業(yè)務(wù)目標(biāo)視圖模型
1．3．3 節(jié)點(diǎn)視圖模型
1．3．4 資源視圖模型
1．3．5 活動(dòng)視圖模型
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)域特定描述語(yǔ)言的對(duì)象建模技術(shù)
1．5 能力需求獲取方法
1．5．1 需求獲取概念框架
1．5．2 能力概念框架引導(dǎo)的對(duì)象建模過(guò)程
第二章 復(fù)雜信息系統(tǒng)能力需求領(lǐng)域知識(shí)復(fù)用技術(shù)
2．1 基于本體的領(lǐng)域知識(shí)復(fù)用技術(shù)
2．2 領(lǐng)域知識(shí)復(fù)用層次
2．2．1 基于應(yīng)用概念的領(lǐng)域本體抽取與合并
2．2．2 領(lǐng)域知識(shí)復(fù)用方法
2．3 領(lǐng)域復(fù)用算法
2．4 本體映射方法
2．4．1 本體描述語(yǔ)言符號(hào)
2．4．2 特征解析
2．4．3 候選映射選擇
2．4．4 相似度計(jì)算與綜合
2．4．5 閾值的選取及生成映射
2．4．6 迭代
2．4．7 用戶(hù)篩選
2．4．8 具體算法
2．5 本體合并方法
2．6 算法復(fù)雜度分析
2．6．1 映射的復(fù)雜性
2．6．2 合并的復(fù)雜性
第三章 復(fù)雜信息系統(tǒng)能力需求形式化驗(yàn)證技術(shù)
3．1 需求模型形式化驗(yàn)證框架
3．2 模型語(yǔ)義定義及其形式化
3．2．1 復(fù)雜信息系統(tǒng)能力概念化元本體
3．2．2 OWL DL本體與SHOIN（D）知識(shí)庫(kù)之間的轉(zhuǎn)換規(guī)則
3．2．3 領(lǐng)域概念模型定義及其形式化
3．2．4 系統(tǒng)知識(shí)模型定義及其形式化
3．3 互操作性知識(shí)定義及其形式化
3．3．1 互操作性定義
3．3．2 系統(tǒng)互操作性等級(jí)評(píng)估方法
3．3．3 系統(tǒng)互操作性知識(shí)定義及形式化
3．4 領(lǐng)域知識(shí)一致性驗(yàn)證
3．4．1 領(lǐng)域一致性問(wèn)題分析
3．4．2 領(lǐng)域知識(shí)一致性檢查
3．5 系統(tǒng)互操作性等級(jí)判定
3．5．1 單系統(tǒng)互操作性判定
3．5．2 多系統(tǒng)互操作性等級(jí)判定
第四章 基于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對(duì)復(fù)雜信息系統(tǒng)效能分析建模的支持
4．2．2 基于需求圖的系統(tǒng)目標(biāo)需求分析
4．2．3 基于活動(dòng)圖的系統(tǒng)動(dò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)行為的建模語(yǔ)義
5．2 能力需求模型的動(dòng)作語(yǔ)義
5．2．1 動(dòng)作語(yǔ)義的基本概念
5．2．2 可執(zhí)行動(dòng)作語(yǔ)義元模型
5．3 能力需求模型的基本動(dòng)作
5．3．1 讀寫(xiě)動(dòng)作
5．3．2 激活動(dòng)作
5．3．3 復(fù)合動(dòng)作
5．3．4 計(jì)算動(dòng)作
5．3．5 動(dòng)作的執(zhí)行機(jī)制
5．4 動(dòng)作語(yǔ)義在能力需求建模語(yǔ)言中的映射
第六章 基于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)換定義語(yǔ)言QVT
6．2 能力需求模型到可執(zhí)行仿真模型轉(zhuǎn)換的設(shè)計(jì)與實(shí)現(xiàn)
6．2．1 模型轉(zhuǎn)換過(guò)程
6．2．2 應(yīng)用活動(dòng)圖模型的形式化
6．2．3 基于QVT和XSLT的模型轉(zhuǎn)換實(shí)現(xiàn)
第七章 復(fù)雜信息系統(tǒng)能力需求方案組合魯棒優(yōu)化技術(shù)
7．1 復(fù)雜信息系統(tǒng)能力需求方案組合基本問(wèn)題分析
7．2 復(fù)雜信息系統(tǒng)能力需求方案組合基本問(wèn)題模型
7．3 復(fù)雜信息系統(tǒng)能力需求方案組合模型
7．3．1 經(jīng)典Markowitz模型
7．3．2 復(fù)雜信息系統(tǒng)能力需求方案組合模型
7．3．3 復(fù)雜信息系統(tǒng)能力需求方案組合的開(kāi)發(fā)風(fēng)險(xiǎn)建模
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)