基于形式化描述的構件庫應用研究.pdf

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

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

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