Apla組合數(shù)據(jù)類型的Delphi實(shí)現(xiàn).pdf

1、薛錦云教授在國家863和多項(xiàng)國家自然科學(xué)基金的資助下，創(chuàng)造性地提出了一種形式化開發(fā)方法——PAR方法。就是用數(shù)學(xué)與邏輯的方法來描述和驗(yàn)證軟件，而PAR方法描述的程序又是經(jīng)過嚴(yán)格的推導(dǎo)、證明，所以保證了程序的正確性和可靠性。而且由于PAR方法和PAR自動轉(zhuǎn)換系統(tǒng)實(shí)現(xiàn)有算法規(guī)約到抽象程序以及到可執(zhí)行程序的自動轉(zhuǎn)換，這樣就部分實(shí)現(xiàn)了軟件開發(fā)的自動化。 其中Apla是一種抽象算法描述語言，它具有高度抽象、表達(dá)力強(qiáng)等特點(diǎn)。Apla語言把樹

2、、圖、集合、序列等組合數(shù)據(jù)類型作為預(yù)定義類型，并且含有明顯的語法機(jī)制支持泛型程序設(shè)計(jì)和用戶自定義ADT類型。相反，Object Pascal中不能直接使用樹、圖、集合、序列等組合類型。如何在Delphi中很好的支持Apla的這些機(jī)制是本文所要研究的重點(diǎn)和難點(diǎn)，Apla—Delphi自動程序轉(zhuǎn)換系統(tǒng)的目標(biāo)是使得所有正確的Apla程序都能通過轉(zhuǎn)換器得到正確的Delphi程序，并且能運(yùn)行得到正確結(jié)果。該轉(zhuǎn)換器的源語言是Apla，目標(biāo)語言是De

3、lphi編譯器所使用的Object Pascal。 本文所做的研究是PAR方法的重要組成部分。也是國家自然科學(xué)基金課題《實(shí)用的軟件形式化方法及其開發(fā)工具研究》的重要組成部分。本項(xiàng)研究的主要目標(biāo)是進(jìn)一步的完善自動轉(zhuǎn)換器中的部件庫的內(nèi)容。正確地實(shí)現(xiàn)Apla語言中的組合數(shù)據(jù)類型在Delphi中的實(shí)現(xiàn)。 針對上述研究目標(biāo)，本論文主要進(jìn)行了以下工作： 分析比較現(xiàn)有的形式化方法及其配套工具，并以PAR方法作為本文研究的理論基

4、礎(chǔ)。 研究Apla語言中的泛型程序設(shè)計(jì)機(jī)制轉(zhuǎn)換為Delphi語言程序的方法。 研究Apla—Delphi轉(zhuǎn)換器，實(shí)現(xiàn)Apla中的組合數(shù)據(jù)類型到Delphi中的具體實(shí)現(xiàn)。 完善Apla—Delphi自動程序轉(zhuǎn)換系統(tǒng)。 進(jìn)一步的工作包括完善Apla—Delphi自動程序轉(zhuǎn)換系統(tǒng)的轉(zhuǎn)換機(jī)制；提高Apla—Delphi自動程序轉(zhuǎn)換系統(tǒng)的可靠性；增加Apla轉(zhuǎn)換實(shí)例，使產(chǎn)品的商品化程度提高，可以進(jìn)一步產(chǎn)品化并應(yīng)用到