基于構(gòu)件的形式化方法在軟件開發(fā)中的應(yīng)用研究.pdf

1、基于構(gòu)件的軟件開發(fā)是提高軟件生產(chǎn)率、提高軟件質(zhì)量、解決軟件危機(jī)的重要方法，是軟件復(fù)用領(lǐng)域的研究熱點(diǎn)；解決軟件危機(jī)的另一方面是如何建立嚴(yán)格的數(shù)學(xué)方法，如何進(jìn)行形式化軟件開發(fā)。如何將基于構(gòu)件的軟件開發(fā)和形式化方法相結(jié)合是軟件開發(fā)發(fā)展的重要方向。
　　 鑒于基于構(gòu)件的軟件開發(fā)缺少嚴(yán)密的數(shù)學(xué)推理，沒有形式化的規(guī)格說明，大部分開發(fā)過程采用自然語言進(jìn)行描述，本文給出了基于構(gòu)件的形式化軟件開發(fā)模型，重點(diǎn)研究該模型中需求分析的形式化、設(shè)計(jì)階段軟

2、件體系結(jié)構(gòu)、形式化構(gòu)件模型及形式化構(gòu)件交互。針對(duì)傳統(tǒng)軟件開發(fā)中需求分析不準(zhǔn)確和二義性等問題，使用Z語言對(duì)需求分析形式化表示進(jìn)行了擴(kuò)充，并通過實(shí)例對(duì)形式化表示進(jìn)行了說明，其具有消除需求分析的二義性和不一致性的能力。需求分析關(guān)注如何刻畫問題空間，軟件體系結(jié)構(gòu)關(guān)注如何刻畫解空間，如何根據(jù)需求分析獲得軟件體系結(jié)構(gòu)沒有定論，文中給出了一種基于功能和三層開發(fā)框架獲取概要設(shè)計(jì)軟件體系結(jié)構(gòu)的方法。針對(duì)現(xiàn)階段構(gòu)件接口定義中構(gòu)件行為和交互協(xié)議信息缺乏，利用