《模型驅動的軟體動態演化過程與方法》是2021年冶金工業出版社出版的圖書。
基本介紹
- 中文名：模型驅動的軟體動態演化過程與方法
- 作者：謝仲文
- 出版社：冶金工業出版社
- 出版時間：2021年10月27日
- ISBN：9787502489359
內容簡介,圖書目錄,
內容簡介
本書共分為11章，主要內容包括緒論、相關研究綜述、面向動態演化的需求建模、面向動態演化需求模型的規範化、面向動態演化的體系結構建模、從需求模型到體系結構模型的變換、面向動態演化的行為管程、面向動態演化的構件之間相關性分析、動態演化實施的一致性保持、案例研究、結語。本書可供高等院校軟體工程、計算機科學與技術、系統科學、管理科學與工程等專業的師生閱讀，也可供相關科研人員、工程技術人員參考。
圖書目錄
第一章 緒論
第一節 研究背景
第二節 研究動因
第三節 擬提出的應對之道
第四節 研究意義和創新點
第五節 全書組織結構及其內部關係
第二章 相關研究綜述
第一節 軟體演化綜述
第二節 軟體需求建模綜述
第三節 軟體體系結構綜述
第四節 進程代數
第五節 Petri網
第六節 綜述小結
第三章 面向動態演化的需求建模
第一節 面向動態演化需求建模的思路與框架
第二節 面向動態演化的行為特徵建模
第三節 從面向動態演化的屬性特徵建模
第四節 面向動態演化的需求模型
第四章 面向動態演化需求模型的規範化
第一節 行為特徵模型的規範化
第二節 屬性特徵模型的規範化
第五章 面向動態演化的體系結構建模
第一節 面向動態演化體系結構建模的思路與框架
第二節 靜態視圖建模
第三節 動態視圖建模
第四節 動態演化建模
第六章 從需求模型到體系結構模型的變換
第一節 基本變換
第二節 組合和複合的變換
第三節 變換中的抽象與細化
第四節 變換得到的體系結構模型的結構性質要求
第七章 面向動態演化的行為管程
第一節 行為管程概述
第二節 行為管程的管理職能
第三節 行為管程的監控職能
第四節 行為管程的演化職能
第八章 面向動態演化的構件之間相關性分析
第一節 相關性分析分類
第二節 構件之間的結構相關性分析
第三節 構件之間的行為關係及其相關性分析
第九章 動態演化實施的一致性保持
第一節 一致性的定義
第二節 構件狀態遷移
第三節 構件的行為空間和行為圖
第四節 一致性保持
第十章 案例研究
第一節 面向動態演化的需求建模
第二節 面向動態演化的體系結構建模
第三節 動態演化實施分析
第十一章結語
一、主要研究總結
二、未來展望
