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

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

2、用,從系統(tǒng)需求規(guī)范的形式化描述,核心算法的形式化開發(fā)和轉(zhuǎn)換,擴(kuò)充Apla語言中數(shù)據(jù)庫描述機(jī)制并研制Apla→SQL自動(dòng)程序轉(zhuǎn)換系統(tǒng)等幾個(gè)方面作了初步的研究和探索.在MIS系統(tǒng)的需求建模方面,我們嘗試著采用PAR方法中嚴(yán)格定義的形式化語言Radl描述MIS系統(tǒng)及其行為模式,刻畫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)的核心算法開發(fā)方面,我們以PAR方法中嚴(yán)格定義的抽象程序設(shè)計(jì)語言Apla語言為源語言,高可靠性部件庫為支持基礎(chǔ),開發(fā)了MIS系統(tǒng)的幾個(gè)智能算法,并利用Apla→Delphi自動(dòng)程序轉(zhuǎn)換系統(tǒng)將抽象算法語言Apla描述的智能算法自動(dòng)轉(zhuǎn)換到了可執(zhí)行高級(jí)語言Delphi描述的智能算法.由于在抽象層次上關(guān)注算法的核心實(shí)現(xiàn),這種開發(fā)方法極大地提高了軟件的開發(fā)效率,并保證了系統(tǒng)的正確

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