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

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

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

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

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