一種基于虛構(gòu)件的軟件開發(fā)模型.pdf

1、軟件開發(fā)方法已經(jīng)從面向過程轉(zhuǎn)到面向?qū)ο?面向?qū)ο蠓椒m然大大促進(jìn)了計(jì)算機(jī)科學(xué)和軟件產(chǎn)業(yè)的發(fā)展,但是它依然存在缺陷,特別是在當(dāng)前軟件需求急劇膨脹,軟件規(guī)模迅速擴(kuò)大,軟件開發(fā)周期逐漸縮短的情況下,對(duì)象技術(shù)明顯力不從心了.取而代之的是基于構(gòu)件的軟件開發(fā)技術(shù).基于構(gòu)件的軟件開發(fā)技術(shù)大大提高了軟件復(fù)用率和軟件的可靠性,縮短了軟件開發(fā)周期,有利于軟件開發(fā)的分工與合作.它是當(dāng)前解決軟件需求急劇膨脹和軟件開發(fā)高成本低質(zhì)量之間的矛盾的一個(gè)有效途徑.構(gòu)件技

2、術(shù)的進(jìn)步使得基于構(gòu)件的開發(fā)(Component-based Development,CBD)越來越流行.但要實(shí)現(xiàn)基于構(gòu)件的開發(fā)或者基于構(gòu)件的軟件工程(Component-based Software Engineering,CBSE)還有許多問題需要解決.現(xiàn)在的構(gòu)件模型還有許多不足,基于構(gòu)件的軟件開發(fā)(CBSD)技術(shù)也尚未完善.本文吸取了眾家之長,提出了一些新的概念和方法,最終提出了一種比較完善的(當(dāng)然遠(yuǎn)未達(dá)到完美)構(gòu)件模型.新模型的重

3、點(diǎn)是構(gòu)件依賴性和構(gòu)件形式化規(guī)格說明.在探討了當(dāng)今最新的CBSD技術(shù)之后,我們?yōu)榻鉀Q構(gòu)件的檢索和組裝提出了一個(gè)新技術(shù)"虛構(gòu)件".它能較好地實(shí)現(xiàn)領(lǐng)域知識(shí)的封裝,可以幫助構(gòu)件的復(fù)用人員利用構(gòu)件庫中的構(gòu)件復(fù)合出符合特定要求的構(gòu)件.它實(shí)現(xiàn)了構(gòu)件復(fù)合(組裝)的某種意義上的自動(dòng)化(半自動(dòng)化).任何好的方法學(xué),如果要付諸實(shí)踐就必須有相應(yīng)工具的支持.工具是軟件工程三要素之一.為了實(shí)現(xiàn)基于虛構(gòu)件的軟件開發(fā),本課題組開發(fā)了UMLCASE和可復(fù)用構(gòu)件庫系統(tǒng).并