構件的形式化描述及其組合研究.pdf

1、隨著軟件需求的不斷增加，軟件規(guī)模不斷擴大、功能日趨復雜，傳統(tǒng)的軟件開發(fā)難以滿足用戶的需求，目前，基于構件的開發(fā)方法已經成為一個研究熱點。通過構件的復用和組合來構建軟件系統(tǒng)，可以顯著縮短開發(fā)周期、提高軟件生成效率、確保軟件產品的質量。在基于構件的軟件開發(fā)中，構件庫中的單個構件功能弱于用戶需求，不能有效地實現(xiàn)用戶的業(yè)務功能，需要通過構件交互組合來獲得粒度更大，功能更強的系統(tǒng)構件。對此，本文首先對構件的形式化語義進行研究，然后在此基礎上研究多

2、個構件的交互組合技術。
　　 首先，采用范疇論，給出了一個構件的形式語義描述，定義了構件之間的態(tài)射關系，提出了一個構件的范疇模型。把構件定義為由構件規(guī)約和構件實現(xiàn)組成的二元組集合，通過對構件中的接口、屬性、功能及其結構特征的描述來定義構件規(guī)約，利用接口及屬性間的映射關系來建立構件規(guī)約之間的態(tài)射，進而刻畫出構件之間的關系。在此基礎上，利用構件及其態(tài)射關系建立構件的范疇模型。
　　 其次，利用范疇運算，給出了構件之間的組合關

3、系，利用范疇函子，構造出系統(tǒng)的體系結構。針對兩個相互獨立的構件，采用范疇論中的和運算，組合成一個新的復合構件;針對帶交互的兩個構件組合方式，利用推出運算構造出復合構件。利用函子刻畫了體系結構中表示層、業(yè)務邏輯層和數據訪問層之間的邏輯關系，最終構造出軟件系統(tǒng)的體系結構。
　　 最后，通過勘察設計項目管理信息系統(tǒng)的開發(fā)實例研究，表明基于范疇論語義的構件建模和組合的開發(fā)方法是的可行的。采用三層體系結構為軟件開發(fā)框架，通過在不同抽象層上