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

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