PAR方法應(yīng)用于管理信息系統(tǒng)開(kāi)發(fā)方法的初步研究.pdf

1、形式化方法對(duì)提高軟件的正確性、可靠性意義重大,可大幅度減少軟件的后期維護(hù)費(fèi)用,但由于設(shè)計(jì)周期和人員素質(zhì)的限制,以及使用形式化符號(hào)系統(tǒng)進(jìn)行證明推理是一項(xiàng)相當(dāng)困難的工作,形式化方法未能在實(shí)用軟件開(kāi)發(fā)中得到廣泛應(yīng)用.為了研究形式化方法在實(shí)用軟件開(kāi)發(fā)當(dāng)中的應(yīng)用,該文以薛錦云教授提出的算法程序設(shè)計(jì)、推導(dǎo)和證明的PAR方法及其語(yǔ)言和轉(zhuǎn)換工具為基礎(chǔ),選取江西省自然科學(xué)基金管理信息系統(tǒng)作為研究用例,研究了PAR方法在管理信息系統(tǒng)(MIS系統(tǒng))開(kāi)發(fā)中的應(yīng)

2、用,從系統(tǒng)需求規(guī)范的形式化描述,核心算法的形式化開(kāi)發(fā)和轉(zhuǎn)換,擴(kuò)充Apla語(yǔ)言中數(shù)據(jù)庫(kù)描述機(jī)制并研制Apla→SQL自動(dòng)程序轉(zhuǎn)換系統(tǒng)等幾個(gè)方面作了初步的研究和探索.在MIS系統(tǒng)的需求建模方面,我們嘗試著采用PAR方法中嚴(yán)格定義的形式化語(yǔ)言Radl描述MIS系統(tǒng)及其行為模式,刻畫(huà)MIS系統(tǒng)的性質(zhì),建立MIS系統(tǒng)的數(shù)學(xué)模型,從而提高了MIS系統(tǒng)需求規(guī)范的清晰性和精確性,及早發(fā)現(xiàn)需求中隱藏的規(guī)范和設(shè)計(jì)缺陷,在系統(tǒng)構(gòu)建的初期杜絕了大部分錯(cuò)誤的產(chǎn)生

3、.這部分研究為構(gòu)建高質(zhì)量的軟件需求模型做出了有益的探索.在MIS系統(tǒng)的核心算法開(kāi)發(fā)方面,我們以PAR方法中嚴(yán)格定義的抽象程序設(shè)計(jì)語(yǔ)言Apla語(yǔ)言為源語(yǔ)言,高可靠性部件庫(kù)為支持基礎(chǔ),開(kāi)發(fā)了MIS系統(tǒng)的幾個(gè)智能算法,并利用Apla→Delphi自動(dòng)程序轉(zhuǎn)換系統(tǒng)將抽象算法語(yǔ)言Apla描述的智能算法自動(dòng)轉(zhuǎn)換到了可執(zhí)行高級(jí)語(yǔ)言Delphi描述的智能算法.由于在抽象層次上關(guān)注算法的核心實(shí)現(xiàn),這種開(kāi)發(fā)方法極大地提高了軟件的開(kāi)發(fā)效率,并保證了系統(tǒng)的正確

4、性和可靠性.在MIS系統(tǒng)的數(shù)據(jù)庫(kù)開(kāi)發(fā)方面,作為PAR方法的探索性研究方向,我們分析了數(shù)據(jù)庫(kù)應(yīng)用的特點(diǎn)以及標(biāo)準(zhǔn)查詢(xún)語(yǔ)言SQL的特征,在得到Apla語(yǔ)言和SQL的對(duì)應(yīng)關(guān)系的基礎(chǔ)上擴(kuò)充了Apla語(yǔ)言中的數(shù)據(jù)庫(kù)描述機(jī)制,并構(gòu)建了Apla→SQL自動(dòng)程序轉(zhuǎn)換系統(tǒng).我們將Apla→SQL自動(dòng)程序轉(zhuǎn)換系統(tǒng)應(yīng)用到了實(shí)際MIS系統(tǒng)的開(kāi)發(fā)當(dāng)中.在轉(zhuǎn)換器的幫助下,我們不再需要編寫(xiě)大量為操作數(shù)據(jù)庫(kù)而作輔助工作的代碼,提高了工作效率.我們的研究證明:將PAR方法