構(gòu)件的形式化描述及其組合研究.pdf

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

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

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