基于PAR方法的構(gòu)件化軟件開(kāi)發(fā)方法的研究與實(shí)現(xiàn).pdf

1、自從“軟件危機(jī)”爆發(fā)以來(lái)，軟件的可靠性差和開(kāi)發(fā)效率低一直是困擾軟件產(chǎn)業(yè)的兩大難題。高效率地開(kāi)發(fā)正確、可靠的軟件已成為軟件產(chǎn)業(yè)的迫切需求。近年來(lái)人們認(rèn)識(shí)到，要真正解決軟件危機(jī)，實(shí)現(xiàn)軟件的工程化開(kāi)發(fā)和工業(yè)化生產(chǎn)是唯一可行的途徑。而軟件復(fù)用和軟件自動(dòng)化是實(shí)現(xiàn)軟件工程化、工業(yè)化的關(guān)鍵技術(shù)。軟件復(fù)用技術(shù)是在軟件開(kāi)發(fā)中避免重復(fù)勞動(dòng)的解決方案，軟件復(fù)用的核心和基礎(chǔ)為軟件構(gòu)件，軟件復(fù)用過(guò)程即為構(gòu)件化的軟件開(kāi)發(fā)過(guò)程。軟件自動(dòng)化技術(shù)是以軟件形式化為基礎(chǔ)的。

2、PAR方法是一種實(shí)用的形式化開(kāi)發(fā)方法，它實(shí)現(xiàn)了由算法規(guī)約到抽象程序以及由抽象程序到可執(zhí)行程序的自動(dòng)轉(zhuǎn)換，這樣就部分地實(shí)現(xiàn)了軟件開(kāi)發(fā)的自動(dòng)化并對(duì)程序的正確性、可靠性提供了很好的保證。 本文從軟件復(fù)用和軟件自動(dòng)化兩個(gè)方面對(duì)軟件開(kāi)發(fā)過(guò)程進(jìn)行了深入的探討。在構(gòu)件化軟件開(kāi)發(fā)思想的指導(dǎo)下，將PAR方法提供的軟件自動(dòng)化技術(shù)，特別是PAR方法的關(guān)系數(shù)據(jù)庫(kù)操作機(jī)制，運(yùn)用到實(shí)際的軟件開(kāi)發(fā)中來(lái)，實(shí)現(xiàn)了一個(gè)工作流管理系統(tǒng)。我們對(duì)該系統(tǒng)采用自頂向下的方法

3、進(jìn)行分析、設(shè)計(jì)和建模，而采用自底向上的方法進(jìn)行開(kāi)發(fā)和實(shí)現(xiàn)。在系統(tǒng)實(shí)現(xiàn)過(guò)程中，我們成功地應(yīng)用PAR方法、PAR 平臺(tái)對(duì)系統(tǒng)的數(shù)據(jù)訪問(wèn)構(gòu)件和部分算法構(gòu)件進(jìn)行了實(shí)現(xiàn)。在 PAR 方法的高可靠性保證之下，利用 PAR 平臺(tái)的自動(dòng)轉(zhuǎn)換工具自動(dòng)轉(zhuǎn)換得到系統(tǒng)代碼。通過(guò)實(shí)踐我們發(fā)現(xiàn)系統(tǒng)應(yīng)用 PALR 方法、PALR 平臺(tái)實(shí)現(xiàn)的構(gòu)件，其可靠性和開(kāi)發(fā)效率得到了很大的提高。 本文的創(chuàng)新之處主要體現(xiàn)在以下幾個(gè)方面： 1．在對(duì)系統(tǒng)進(jìn)行設(shè)計(jì)和建模的

4、階段，采用軟件體系結(jié)構(gòu)思想對(duì)系統(tǒng)構(gòu)件進(jìn)行分析。通過(guò)將軟件體系結(jié)構(gòu)思想引入現(xiàn)有的構(gòu)件模型，可以很方便地對(duì)復(fù)合構(gòu)件進(jìn)行建模，從而可以更好的完成整個(gè)系統(tǒng)的建模工作。 2．嘗試使用PAR方法中Apla->Java自動(dòng)轉(zhuǎn)換系統(tǒng)實(shí)現(xiàn)該工作流管理系統(tǒng)，特別是系統(tǒng)的數(shù)據(jù)訪問(wèn)層構(gòu)件。通過(guò)采用PAR方法的軟件自動(dòng)化機(jī)制，系統(tǒng)的開(kāi)發(fā)效率和可靠性都得到了大大的提高。 3．采用構(gòu)件組裝的方式實(shí)現(xiàn)整個(gè)系統(tǒng)。用PAR方法實(shí)現(xiàn)的構(gòu)件和直接用Java代碼