圖書信息
出版社: 科學出版社; 第1版 (2008年10月1日)
平裝: 246頁
正文語種: 簡體中文
開本: 16
ISBN: 9787030231604
條形碼: 9787030231604
尺寸: 26 x 19 x 2.4 cm
重量: 640 g
內容簡介
《網路式軟體》針對網路式軟體涉眾需求的差異性、需求和環境的動態多變，系統地論述了網路式軟體需求工程的理論與方法。《網路式軟體》分四個部分，總計十三章。第一部分(第一章至第三章)主要介紹了網路式軟體產生的背景；第二部分(第四章和第五章)重點闡述了網路式軟體的需求元建模框架；第三部分(第六章至第十一章)系統介紹了在RGPS需求元建模框架的指導下的需求獲取、分析、演化建模、驗證與管理方法，以及面向網路服務的軟體規模化制定；第四部分(第十二章和第十三章)主要介紹了網路式軟體複雜系統群體湧現的調控機理，明確了今後的研究方向。
目錄
序言
前言
第一章 緒論
1.1 軟體的網路化
1.2 軟體工程的重點向需求工程轉移
1.3 本書擬解決的關鍵問題
1.3.1 統一需求元描述問題
1.3.2 網路式軟體需求獲取及建模過程中的適應性問題
1.3.3 共性與個性化需求的協同整合問題
1.4 本書的組織結構
參考文獻
第二章 軟體新范型
2.1 軟體范型的發展歷史
2.1.1 面向過程范型
2.1.2 面向對象范型
2.1.3 基於構件的范型
2.1.4 網際網路和面向服務的范型
2.2 面向語義服務的新范型
2.2.1 網際網路上的軟體工程
2.2.2 一種面向語義SOA的新范型
2.3 小結
參考文獻
第三章 網路式軟體研究進展
3.1 網路式軟體
3.1.1 網路式軟體的新特點
3.1.2 網路式軟體的開發模式
3.2 網路式軟體需求工程
3.2.1 什麼是網路式軟體需求工程
3.2.2 網路式軟體需求工程的難點
3.3 理論和實踐基礎
3.3.1 本體
3.3.2 本體元建模
3.3.3 語義SOA
3.4 小結
參考文獻
第四章 網路式軟體的需求元建模框架
4.1 需求建模研究進展
4.1.1 面向目標的建模
4.1.2 基於本體的建模
4.1.3 面向特徵的建模
4.1.4 現有建模技術分析
4.2 需求元建模框架RGPS概述
4.2.1 需求元建模框架RG3PS的提出
4.2.2 需求元建模框架RGPS的定義及其設計思路
4.2.3 需求元建模框架RGPS的作用
4.3 在RGPS中融人情境需求
4.3.1 情境建模相關研究
4.3.2 情境元模型
4.3.3 情境元模型的融入
4.3.4 情境信息的描述
4.4 在RGPS中融入可信性需求
4.4.1 可信性建模相關研究
4.4.2 可信性元模型及其與RGPS的融合
4.4.3 可信性信息的描述
4.5 RGPS需求元建模框架中的元模型
4.5.1 角色層元模型
4.5.2 目標層元模型
4.5.3 過程層元模型
4.5.4 服務層元模型
4.5.5 層次間關係的元模型
4.6 小結
參考文獻
第五章 基於RGPS的領域建模
5.1 領域建模基礎
5.1.1 什麼是領域
5.1.2 領域建模
5.1.3 本體與領域建模
5.2 一種基於RGPS的領域建模方法
5.3 城市交通領域建模分析
5.3.1 領域本體的構造
5.3.2 需求用例分析
5.4 建模工具介紹
5.5 領域模型演化的系統動力學分析
5.5.1 領域吸收率
5.5.2 基於RGPS元模型的領域吸收率及其計算
5.5.3 QoE與網路式軟體生命周期
5.5.4 一種領域模型演化的系統動力學模型
5.6小結
參考文獻
第六章 網路式軟體需求獲取
6.1 需求獲取研究進展
6.1.1 需求獲取的對象
6.1.2 需求獲取技術
6.1.3 需求描述語言
6.2 網路式軟體需求獲取框架
6.3 一種面向服務的需求描述語言
6.3.1 需求描述模型
6.3.2 自然語言模式
6.3.3 需求描述自然語言模式
6.3.4 SORL的基本構成
6.4 需求預處理
6.4.1 構建SORL樹
6.4.2 結構化
6.5 需求獲取工具和實例
6.5.1 需求獲取平台
6.5.2 需求獲取實例
6.6 小結
參考文獻
第七章 網路式軟體需求分析
7.1 需求分析研究進展
7.1.1 需求分析的任務
7.1.2 需求分析方法
7.1.3 非功能需求分類和建模
7.2 非功能需求衝突管理
7.2.1 非功能需求的形式化表示
7.2.2 非功能需求衝突檢測
7.2.3 非功能需求衝突消解
7.3 非功能需求衝突管理實例
7.3.1 非功能需求建模實例
7.3.2 衝突檢測和消解實例
7.4 小結
參考文獻
第八章 網路式軟體需求演化建模
8.1 軟體演化技術的研究進展
8.1.1 基於方面的軟體演化方法
8.1.2 基於反射體系結構的軟體演化方法
8.2 網路式軟體的演化建模
8.2.1 基本過程
8.2.2 面向方面的目標需求規格的形成
8.2.3 網路式軟體運行時反射的演化框架
8.3 案例分析
8.4 小結
參考文獻
第九章 網路式軟體需求模型的驗證
9.1 需求驗證研究進展
9.1.1 形式化方法的概述
9.1.2 相關工作
9.2 網路式軟體的過程模型
9.2.1 OWL—S概述
9.2.2 服務的靜態信息
9.2.3 服務的過程模型
9.2.4 過程模型的抽象定義
9.3 過程模型的動態語義
9.3.1 進程代數
9.3.2 變數申明及數據流結構
9.3.3 過程結果
9.3.4 控制結構
9.3.5 過程模型
9.4 過程模型驗證及實例
9.4.1 驗證性質
9.4.2 案例分析
9.5 小結
參考文獻
第十章 網路式軟體的需求管理
10.1 網路式軟體的需求管理框架
10.2 需求數據管理
10.2.1 基於XML的需求數據格式
10.2.2 需求數據和需求文檔的存儲
10.3 需求變更控制
10.3.1 需求變更的原因
10.3.2 需求變更的實現基礎
10.3.3 需求變更的處理流程
10.4 需求跟蹤
10.4.1 網路式軟體需求跟蹤的作用
10.4.2 網路式軟體需求項之間的關係
10.4.3 網路式軟體需求跟蹤的實現
10.5 需求狀態跟蹤
10.5.1 網路式軟體需求狀態
10.5.2 網路式軟體需求狀態跟蹤的作用
10.5.3 網路式軟體需求狀態跟蹤圖
10.6 需求管理工具
10.7 小結
參考文獻
第十一章 面向網路服務的軟體規模化定製
11.1 軟體新觀念
11.1.1 軟體的網路觀——軟體是網路
11.1.2 軟體的服務觀——軟體即服務
11.1.3 軟體的價值觀——軟體服務無邊界
11.2 面向網路服務的軟體規模化定製關鍵技術
11.2.1 概念模型
11.2.2 面向服務族的設計技術
11.2.3 網路服務實現技術
11.2.4 用戶信息記錄和行為分析技術
11.2.5 用戶界面設計技術
11.3 面向網路服務的軟體規模化定製的基礎設施
11.3.1 基於MFI的Web服務註冊聯邦
11.3.2 Web服務註冊聯邦的運行機制
11.4 軟體規模化定製中的按需模型選擇
11.4.1 模型驅動的軟體開發
11.4.2 按需模型選擇
11.5 小結
參考文獻
第十二章 網路式軟體複雜系統群體行為湧現的調控機理
12.1 網路式軟體複雜系統
12.2 網路式軟體系統與非線性系統和複雜系統的關係
12.3 從系統整體論到生成整體論
12.4 網路式軟體複雜系統的湧現行為
12.5 鬆散耦合和語義互操作性能力
12.6 網路式軟體“整體”構架的元屬性及其機理
12.7 網路式軟體複雜系統的互操作性聚類機理
12.8 網路式軟體複雜系統互操作性調控的基本規則
12.9 語義互操作性能力計算和群體行為湧現的調控技術
12.9.1 語義互操作性能力的計算方法
12.9.2 多LME互作業系統的結構及其動態演變
12.9.3 面向期望行為目標的群體行為湧現調控技術
12.10 小結
參考文獻
第十三章 總結和展望
附錄A 縮寫詞對照表
附錄B 英漢名詞對照表
