基于B方法的軟件體系結構描述語言的精化研究.pdf

1、伴隨著計算機軟件系統(tǒng)的規(guī)模和復雜程度的提高，軟件系統(tǒng)的結構變得日益復雜，軟件設計重心從“算法+數(shù)據(jù)結構”設計轉變成為體系結構設計。軟件體系結構已經(jīng)成為決定軟件系統(tǒng)質量的重要因素，是軟件產(chǎn)品線開發(fā)的關鍵技術之一，并因此成為當前軟件工程領域的一個研究熱點。 體系結構描述語言(ADL，ArchitectureDescriptionLanguage)是軟件體系結構研究的核心問題之一。它不但是形式化描述軟件體系結構的基本工具，而且也是對軟

2、件體系結構進行求精、驗證、演化和分析的前提和基礎。在最近一段時期，人們已經(jīng)提出了很多用于體系結構建模的體系結構描述語言?；谶@些已經(jīng)開發(fā)的體系結構描述語言，Medvidovic和Taylor提出了一種體系結構規(guī)約語言分類和比較的框架，詳細分析了十種體系結構規(guī)約語言存在的優(yōu)點和不足，他們指出現(xiàn)有體系結構規(guī)約語言通常都提供形式化的標記符號描述構件、連接件和系統(tǒng)配置，提供工具支持體系結構的分析和可視化，然而在體系結構精化、動態(tài)體系結構、體系結

3、構分析和體系結構實現(xiàn)等方面存在不足，研究和支持甚少。 據(jù)此，選擇缺乏形式化語義基礎的體系結構描述語言ABC/ADL，使用經(jīng)過事件機制擴展的形式化方法B方法對ABC/ADL語言進行精確描述，提出了構件、連接子觀察模型，基于觀察模型分析了體系結構并提出構件、連接子的定義。其中重點研究了基于軟件體系結構描述語言的構件和連接子的精化方法，通過將ABC/ADL描述的構件或者連接子初始觀察模型進行更深層次的精化達到可執(zhí)行代碼，通過實例數(shù)據(jù)庫