電信運(yùn)營(yíng)支撐系統(tǒng)：軟件體系結(jié)構(gòu)模式系統(tǒng)

第1章　緒論　1
1.1　研究背景　1
1.1.1　軟件領(lǐng)域背景　1
1.1.2　電信領(lǐng)域背景　2
1.2　研究目的及思路　2
1.3　研究意義　3
1.4　主要研究工作　3
1.5　研究方式　5
1.6　內(nèi)容安排　6
第2章　相關(guān)軟件理論與領(lǐng)域知識(shí)綜述　8
2.1　軟件理論綜述　8
2.1.1　軟件發(fā)展歷程　8
2.1.2　軟件體系結(jié)構(gòu)　12
2.1.3　軟件復(fù)用　22
2.1.4　軟件體系結(jié)構(gòu)模式系統(tǒng)　27
2.2　電信運(yùn)營(yíng)支撐系統(tǒng)綜述　34
2.2.1　支撐系統(tǒng)簡(jiǎn)介　34
2.2.2　支撐系統(tǒng)的發(fā)展歷程　38
2.2.3　支撐系統(tǒng)的發(fā)展目標(biāo)　40
2.2.4　支撐系統(tǒng)的現(xiàn)狀及存在的問(wèn)題　41
2.2.5　支撐系統(tǒng)的研究方向　42
2.3　小結(jié)　43
第3章　SAPS生命周期模型　45
3.1　元模型　45
3.1.1　元模型所處的知識(shí)層次　45
3.1.2　元模型的應(yīng)用過(guò)程　46
3.2　軟件微生命周期模型實(shí)例　47
3.2.1　軟件微生命周期模型的概念　47
3.2.2　幾種典型的軟件微生命周期模型　48
3.3　軟件微生命周期元模型　50
3.3.1　軟件微生命周期模型的特點(diǎn)　50
3.3.2　軟件微生命周期元模型的定義　50
3.4　SAPS生命周期模型　51
3.4.1　加入復(fù)用的軟件過(guò)程特征　52
3.4.2　SAPS生命周期模型定義　52
3.5　小結(jié)　55
第4章　支撐系統(tǒng)的參考SA　56
4.1　支撐系統(tǒng)SA現(xiàn)狀　56
4.1.1　國(guó)內(nèi)運(yùn)營(yíng)商SA現(xiàn)狀　57
4.1.2　國(guó)際TMF論壇的研究成果　59
4.2　支撐系統(tǒng)SA現(xiàn)狀分析　65
4.2.1　現(xiàn)存問(wèn)題　65
4.2.2　正確思維方式　66
4.3　通用SA研究現(xiàn)狀分析　67
4.3.1　現(xiàn)存問(wèn)題　67
4.3.2　正確的思維方式　68
4.4　支撐系統(tǒng)本質(zhì)分析　71
4.4.1　支撐系統(tǒng)的本質(zhì)　71
4.4.2　支撐系統(tǒng)本質(zhì)的描述方法　73
4.4.3　支撐系統(tǒng)的構(gòu)成要素　76
4.5　支撐系統(tǒng)參考SA的組成原則　76
4.6　支撐系統(tǒng)參考SA的組成　77
4.6.1　應(yīng)用體系結(jié)構(gòu)　78
4.6.2　視圖體系結(jié)構(gòu)　78
4.6.3　業(yè)務(wù)場(chǎng)景體系結(jié)構(gòu)　79
4.7　支撐系統(tǒng)參考SA的特點(diǎn)　79
4.7.1　與現(xiàn)有SA的比較　79
4.7.2　各組成結(jié)構(gòu)間的關(guān)系　80
4.8　小結(jié)　81
第5章　支撐系統(tǒng)SAPS的定義　83
5.1　公用符號(hào)及取值定義　83
5.2　模式系統(tǒng)定義　83
5.3　具體模式定義　84
5.3.1　應(yīng)用體系結(jié)構(gòu)模式(Application-SAP)　84
5.3.2　視圖體系結(jié)構(gòu)模式(View-SAP)　85
5.3.3　業(yè)務(wù)場(chǎng)景體系結(jié)構(gòu)模式(Service-Scenario-SAP)　92
5.4　支撐系統(tǒng)SAPS定義的特點(diǎn)　94
5.5　小結(jié)　95
第6章　支撐系統(tǒng)SAPS的形式化描述　96
6.1　形式化方法概述　96
6.1.1　形式化的定義　96
6.1.2　形式化的起源與發(fā)展　96
6.1.3　形式化的作用　97
6.1.4　形式化的認(rèn)識(shí)　97
6.1.5　形式化方法的分類(lèi)　99
6.2　本書(shū)引入形式化方法的意義　100
6.3　形式化描述語(yǔ)言簡(jiǎn)介　100
6.3.1　基于采用技術(shù)的分類(lèi)　101
6.3.2　基于系統(tǒng)特征的分類(lèi)　101
6.3.3　基于用途的分類(lèi)　102
6.4　SAPS形式化描述要求　103
6.5　一種適于描述SAPS的形式化語(yǔ)言——Z語(yǔ)言　103
6.5.1　Z語(yǔ)言選擇分析　104
6.5.2　Z語(yǔ)言簡(jiǎn)介　104
6.5.3　Z語(yǔ)言基本結(jié)構(gòu)　105
6.5.4　Z語(yǔ)言基本符號(hào)集　106
6.5.5　Z語(yǔ)言擴(kuò)展內(nèi)容　108
6.6　支撐系統(tǒng)的SAPS形式化描述　109
6.6.1　形式化描述內(nèi)容　109
6.6.2　形式化描述　109
6.7　小結(jié)　122
第7章　支撐系統(tǒng)SAPS的形式化分析　124
7.1　形式化分析簡(jiǎn)介　124
7.1.1　分析過(guò)程簡(jiǎn)述　124
7.1.2　分析方式比較　125
7.2　本書(shū)采用的分析方式與分析過(guò)程　126
7.3　SAPS的本質(zhì)分析　126
7.3.1　元素間組織結(jié)構(gòu)特性　126
7.3.2　元素上運(yùn)算特性　127
7.3.3　SAPS的數(shù)學(xué)本質(zhì)定論　128
7.4　SAPS的性質(zhì)判定標(biāo)準(zhǔn)　128
7.4.1　SAPS的性質(zhì)判定因素　128
7.4.2　SAPS的性質(zhì)判定運(yùn)算　129
7.4.3　SAPS范式　130
7.5　支撐系統(tǒng)的SAPS分析　131
7.5.1　一致性分析　131
7.5.2　正交性分析　132
7.5.3　場(chǎng)景覆蓋能力分析　133
7.5.4　支撐系統(tǒng)SAPS的性質(zhì)定論　134
7.6　小結(jié)　134
第8章　支撐系統(tǒng)SAPS的應(yīng)用　136
8.1　支撐系統(tǒng)SAPS的應(yīng)用內(nèi)容　136
8.2　建立、交付支撐系統(tǒng)的SAPS應(yīng)用系統(tǒng)　137
8.2.1　SAPS應(yīng)用系統(tǒng)的組成結(jié)構(gòu)　137
8.2.2　SAPS應(yīng)用系統(tǒng)的初始化　138
8.2.3　SAPS應(yīng)用系統(tǒng)的運(yùn)行維護(hù)　140
8.3　利用SAPS應(yīng)用系統(tǒng)生成支撐系統(tǒng)的SA　140
8.4　支撐系統(tǒng)SAPS的應(yīng)用價(jià)值　142
8.5　小結(jié)　142
第9章　結(jié)束語(yǔ)　144
9.1　研究工作的創(chuàng)新之處　144
9.2　需進(jìn)一步開(kāi)展的研究工作　146
參考文獻(xiàn)　148