基于B方法的軟件體系結(jié)構(gòu)描述語言的精化研究.pdf

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

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

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