Apla→C＃自動程序轉換系統(tǒng)的設計與實現(xiàn).pdf

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

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

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