模型驅(qū)動的軟件動態(tài)演化過程與方法

第一章 緒論
第一節(jié) 研究背景
一、新形勢下的軟件自動化
二、軟件發(fā)展構件化
三、軟件演化動態(tài)化
第二節(jié) 研究動因
一、動態(tài)演化面臨的“挑戰(zhàn)”
二、現(xiàn)有的典型研究成果的應對方法與不足
第三節(jié) 擬提出的應對之道
一、以需求模型為驅(qū)動
二、以體系結構模型為視圖
三、以行為管程為支撐
四、以解決動態(tài)演化面臨的挑戰(zhàn)為導向
五、以具有嚴格數(shù)學基礎的形式化方法為基石
第四節(jié) 研究意義和創(chuàng)新點
一、理論意義
二、實際意義
三、創(chuàng)新點
第五節(jié) 全書組織結構及其內(nèi)部關系
一、組織結構
二、各章之間的關系
第二章 相關研究綜述
第一節(jié) 軟件演化綜述
一、軟件演化的概念
二、軟件演化的分類
三、靜態(tài)演化
四、動態(tài)演化
第二節(jié) 軟件需求建模綜述
一、需求建模概述
二、面向特征的需求建模方法
第三節(jié) 軟件體系結構綜述
一、體系結構的概念
二、非形式化的體系結構建模
三、形式化的體系結構建模
第四節(jié) 進程代數(shù)
第五節(jié) Petri網(wǎng)
第六節(jié) 綜述小結
第三章 面向動態(tài)演化的需求建模
第一節(jié) 面向動態(tài)演化需求建模的思路與框架
一、面向動態(tài)演化的需求元模型的設計思路
二、面向動態(tài)演化的需求元模型的框架
第二節(jié) 面向動態(tài)演化的行為特征建模
一、計算行為特征
二、交互行為特征
三、行為特征
四、行為特征元模型的操作語義
第三節(jié) 從面向動態(tài)演化的屬性特征建模
一、屬性特征
二、面向動態(tài)演化建模的一個重要屬性特征
第四節(jié) 面向動態(tài)演化的需求模型
一、需求元模型對需求建模要求的支持
二、需求模型小結
第四章 面向動態(tài)演化需求模型的規(guī)范化
第一節(jié) 行為特征模型的規(guī)范化
一、行為特征規(guī)范化的要求
二、行為特征的規(guī)范形
三、行為特征元模型的公理系統(tǒng)
四、行為特征可規(guī)范化的完備性定理
第二節(jié) 屬性特征模型的規(guī)范化
一、屬性特征模型規(guī)范化的要求
二、需求模型的參照完整性
三、需求模型的依賴一致性
四、需求模型的互斥一致性
五、屬性特征模型范式
六、小結
第五章 面向動態(tài)演化的體系結構建模
第一節(jié) 面向動態(tài)演化體系結構建模的思路與框架
一、面向動態(tài)演化的體系結構元模型的設計思路
二、面向動態(tài)演化的體系結構元模型的框架
第二節(jié) 靜態(tài)視圖建模
一、構件Petri網(wǎng)結構
二、構件
三、連接件
第三節(jié) 動態(tài)視圖建模
一、動態(tài)構件系統(tǒng)
二、動態(tài)體系結構
第四節(jié) 動態(tài)演化建模
一、構件的結構演化
二、連接件的添加、刪除
三、構件的替換、添加和刪除
四、體系結構元模型對建模要求的支持
五、小結
第六章 從需求模型到體系結構模型的變換
第一節(jié) 基本變換
一、原子計算行為特征的變換
二、主動特征和被動特征的變換
第二節(jié) 組合和復合的變換
一、順序組合的變換
二、選擇組合的變換
三、迭代組合的變換
四、并行復合的變換
第三節(jié) 變換中的抽象與細化
一、抽象
二、細化
第四節(jié) 變換得到的體系結構模型的結構性質(zhì)要求
一、構件的結構性質(zhì)要求
二、體系結構的結構性質(zhì)要求
三、小結
第七章 面向動態(tài)演化的行為管程
第一節(jié) 行為管程概述
一、行為管程的概念
二、行為管程在動態(tài)演化實施中所處的位置
第二節(jié) 行為管程的管理職能
一、行為管程的托肯管理
二、行為管程的庫所管理
三、行為管程的變遷管理
第三節(jié) 行為管程的監(jiān)控職能
一、行為管程的監(jiān)視職能
二、行為管程的控制職能
第四節(jié) 行為管程的演化職能
一、驅(qū)動構件進入靜止管理態(tài)
二、驅(qū)動構件進入活動管理態(tài)
三、連接件添加操作
四、連接件刪除操作
五、構件添加操作
六、構件刪除操作
七、小結
第八章 面向動態(tài)演化的構件之間相關性分析
第一節(jié) 相關性分析分類
第二節(jié) 構件之間的結構相關性分析
一、基本結構相關性
二、復合結構相關性
第三節(jié) 構件之間的行為關系及其相關性分析
一、結構相關性對行為相關性的作用
二、行為相關性的部分傳遞性處理
三、構件行為相關性分析
四、小結
第九章 動態(tài)演化實施的一致性保持
第一節(jié) 一致性的定義
第二節(jié) 構件狀態(tài)遷移
一、構件的狀態(tài)保存
二、基于庫所映射方案的托肯更新
三、構件的狀態(tài)恢復
第三節(jié) 構件的行為空間和行為圖
一、構件的行為空間
二、構件的行為圖
第四節(jié) 一致性保持
一、構件的內(nèi)部一致性保持
二、構件的外部一致性保持
三、小結
第十章 案例研究
第一節(jié) 面向動態(tài)演化的需求建模
一、行為特征建模