基于PAR平臺的短信系統(tǒng)的應(yīng)用研究.pdf

1、軟件的可靠性差和開發(fā)效率低一直是困擾軟件產(chǎn)業(yè)界的兩大難題，高效率地開發(fā)正確、可靠的軟件已成為軟件產(chǎn)業(yè)的迫切要求。尤其在現(xiàn)在各種大型數(shù)據(jù)庫處理系統(tǒng)，商業(yè)網(wǎng)站特別是一些尖端應(yīng)用領(lǐng)域(國防、醫(yī)療、通信等)對數(shù)據(jù)庫應(yīng)用程序的可靠性、安全性和開發(fā)效率的要求不斷提高，傳統(tǒng)的數(shù)據(jù)庫應(yīng)用程序的開發(fā)方法已經(jīng)無法滿足最終用戶的需求。軟件開發(fā)的形式化與自動化被認(rèn)為是克服軟件危機(jī)、提高軟件開發(fā)效率和可靠性的有效方法。 PAR方法是一種實用的形式化開發(fā)方

2、法，它實現(xiàn)了由算法規(guī)約到抽象程序以及到可執(zhí)行程序的自動轉(zhuǎn)換，這樣就部分實現(xiàn)了軟件開發(fā)的自動化。而由于PAR方法描述的程序是經(jīng)過嚴(yán)格的推導(dǎo)、證明的，所以程序的正確性、可靠性得到了很好的保證。但是，目前PAR方法和PAR自動轉(zhuǎn)換系統(tǒng)應(yīng)用只是僅僅停留在短小應(yīng)用程序和算法程序的開發(fā)中，并沒有真正應(yīng)用到實際大型應(yīng)用軟件開發(fā)過程中。為了在大型應(yīng)用程序開發(fā)應(yīng)用PAR方法和PAR平臺，充分體現(xiàn)PAR方法在解決軟件危機(jī)中優(yōu)勢，使眾多數(shù)據(jù)庫應(yīng)用軟件得到PA

3、R方法高可靠性保障。 本文介紹了在開發(fā)短信平臺系統(tǒng)中成功運用PAR方法和PAR平臺的方法。在系統(tǒng)中的算法設(shè)計部分由PAR算法描述得到；系統(tǒng)中的數(shù)據(jù)庫操作由PAR關(guān)系數(shù)據(jù)庫機(jī)制描述得到。在開發(fā)過程中充分利用PAR方法的高可靠性和PAR自動轉(zhuǎn)換器的自動化特性，在上述兩方面均由轉(zhuǎn)換器自動生成實現(xiàn)代碼，有效的提高了應(yīng)用程序開發(fā)過程中編寫和調(diào)試代碼的時間，減少軟件測試過程，從根本上提高了代碼的可靠性。同時系統(tǒng)的開發(fā)過程中結(jié)合當(dāng)前比較流行的

4、軟件開發(fā)模式，有效的提高了該方法和平臺應(yīng)用的效率。 本文創(chuàng)新之處主要體現(xiàn)在以下幾個方面： 1 在對系統(tǒng)進(jìn)行需求分析和設(shè)計的過程中，我們積極結(jié)合PAR方法中算法和數(shù)據(jù)庫機(jī)制開發(fā)方法得到貼切實際軟件開發(fā)的開發(fā)流程。提供了在實際軟件開發(fā)過程中的算法開發(fā)流程和數(shù)據(jù)庫訪問層開發(fā)流程。 2 使用PAR方法中的自動轉(zhuǎn)換系統(tǒng)尤其是APLA->C++實現(xiàn)數(shù)據(jù)庫訪問層。使得數(shù)據(jù)庫訪問接口得到高可靠性保證，同時也有效地提高了開發(fā)數(shù)據(jù)庫