基于形式化描述的構(gòu)件庫(kù)應(yīng)用研究.pdf

1、隨著信息技術(shù)的迅猛發(fā)展，計(jì)算機(jī)軟件已滲透到社會(huì)生活的方方面面。與此同時(shí)，軟件項(xiàng)目規(guī)模的不斷壯大、功能的增強(qiáng)和復(fù)雜度的增加，軟件的成本、進(jìn)度、質(zhì)量也變得更加難以控制，這使得軟件開(kāi)發(fā)難度不斷上升，軟件開(kāi)發(fā)周期加長(zhǎng)，修改與返工情況嚴(yán)重[1]。因此，如何復(fù)用以往成功的開(kāi)發(fā)方案以快速生產(chǎn)出高質(zhì)量軟件產(chǎn)品成為軟件產(chǎn)業(yè)重要的熱點(diǎn)問(wèn)題。 基于構(gòu)件的軟件工程(Componem-Based Software Engineering， CBSE)或基

2、于構(gòu)件的開(kāi)發(fā)(Component-Based Development，CBD)，是一種新的軟件開(kāi)發(fā)方式，它是在一定構(gòu)件模型的支持下，復(fù)用構(gòu)件庫(kù)中的一個(gè)或多個(gè)軟件構(gòu)件，以組裝的方式高效率、高質(zhì)量地構(gòu)造應(yīng)用軟件系統(tǒng)的過(guò)程，有效地提高了軟件開(kāi)發(fā)效率和質(zhì)量。 隨著軟件復(fù)用研究不斷深入，構(gòu)件的準(zhǔn)確描述與高效檢索已成為面向構(gòu)件的軟件復(fù)用研究的熱點(diǎn)和難點(diǎn)。本文首先參照3C構(gòu)件模型，提出一種基于形式化方法的，可擴(kuò)展的構(gòu)件描述模型，包括構(gòu)件的功能

3、描述、接口描述、環(huán)境依賴描述等，并保留了構(gòu)件關(guān)鍵字、非功能屬性等描述項(xiàng)。在此描述模型基礎(chǔ)上提出了構(gòu)件的分步檢索法，首先通過(guò)構(gòu)件的非功能屬性描述，構(gòu)件的分類(lèi)描述等信息進(jìn)行類(lèi)似于刻面方法的非形式化檢索；然后根據(jù)構(gòu)件接口描述中的構(gòu)件執(zhí)行前件與后件進(jìn)行多模糊級(jí)的形式化檢索；最后在前兩步檢索的結(jié)果中，根據(jù)構(gòu)件的復(fù)用歷史信息、演示文件等進(jìn)行手工篩選，以最終選出最適合需求的構(gòu)件?；?C構(gòu)件模型，本文第三章提出了構(gòu)件的描述模型，第四章在描述模型的基礎(chǔ)