Apla→C＃自動(dòng)程序轉(zhuǎn)換系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、用形式化方法開(kāi)發(fā)軟件,被當(dāng)今計(jì)算機(jī)界譽(yù)為克服"軟件危機(jī)"、提高軟件可靠性和生產(chǎn)效率的革命性途徑,是實(shí)現(xiàn)軟件自動(dòng)化的關(guān)鍵.薛錦云教授在國(guó)家863和多項(xiàng)國(guó)家自然科學(xué)基金的資助下,根據(jù)多年從事算法程序設(shè)計(jì)理論研究的成果,提出了一種實(shí)用的開(kāi)發(fā)和證明算法程序的方法------PAR方法.該項(xiàng)研究是PAR方法開(kāi)發(fā)算法程序的一個(gè)重要步驟,也是兩項(xiàng)國(guó)家自然科學(xué)基金課題《基于PAR方法的算法設(shè)計(jì)形式化和自動(dòng)化研究》和《PAR方法應(yīng)用于Java程序開(kāi)發(fā)方法

2、研究》的子課題.該研究主要完成了以下工作:1、比較Apla語(yǔ)言和C＃語(yǔ)言的文法,研究?jī)煞N語(yǔ)言之間的關(guān)系,并得出Apla->C＃的轉(zhuǎn)換規(guī)則.2、利用PAR方法,研制了核心轉(zhuǎn)換器,以自擴(kuò)展的方式將Apla語(yǔ)言定義的組合數(shù)據(jù)類(lèi)型轉(zhuǎn)換為C＃類(lèi),從而將其進(jìn)一步生成動(dòng)態(tài)鏈接庫(kù)(DLL).3、研究Apla語(yǔ)言中的泛型程序設(shè)計(jì)機(jī)制,得出C＃實(shí)現(xiàn)Apla中類(lèi)型參數(shù)化機(jī)制的方法,并在C＃預(yù)定義組合數(shù)據(jù)類(lèi)型庫(kù)中實(shí)現(xiàn)了泛型思想.4、研制Apla到C＃自動(dòng)程序轉(zhuǎn)

3、換系統(tǒng).在部件庫(kù)的支持下,轉(zhuǎn)換系統(tǒng)能實(shí)現(xiàn)帶有類(lèi)型參數(shù)化的Apla程序的轉(zhuǎn)換.5、用PAR方法推導(dǎo)了大量典型的Apla程序,用其對(duì)自動(dòng)程序轉(zhuǎn)換系統(tǒng)進(jìn)行了測(cè)試.在該系統(tǒng)的研制過(guò)程中,進(jìn)行了多方面的創(chuàng)新:集成化的軟件開(kāi)發(fā)環(huán)境、組合數(shù)據(jù)類(lèi)型的方便使用性、精巧和復(fù)雜算法的語(yǔ)言描述及實(shí)現(xiàn)、.NET Generic機(jī)制實(shí)現(xiàn)的C＃可重用部件庫(kù)等.該系統(tǒng)中的Apla語(yǔ)言預(yù)定義組合數(shù)據(jù)類(lèi)型均由PAR方法推導(dǎo)得到,由核心轉(zhuǎn)換器轉(zhuǎn)換生成C?？芍赜貌考?kù),充分保