泛型機(jī)制在Apla-Java程序生成系統(tǒng)中實(shí)現(xiàn)的方法研究.pdf

1、眾所周知，軟件危機(jī)的主要特征是軟件開(kāi)發(fā)難度大，生產(chǎn)效率低，其正確性和可靠性得不到保證，而高級(jí)程序設(shè)計(jì)語(yǔ)言中的泛型語(yǔ)言機(jī)制和泛型程序設(shè)計(jì),也稱(chēng)為參數(shù)化程序設(shè)計(jì),是提高軟件可靠性及其生產(chǎn)效率的有效途徑。因此現(xiàn)代高級(jí)程序設(shè)計(jì)語(yǔ)言，如Java、C++、C＃和Ada中均有泛型語(yǔ)言機(jī)制。遺憾的是這類(lèi)高級(jí)程序設(shè)計(jì)語(yǔ)言中的泛型語(yǔ)言機(jī)制種類(lèi)偏少，一般只有類(lèi)型作參數(shù)。少數(shù)語(yǔ)言還有子程序作參數(shù)。這是由在高級(jí)程序設(shè)計(jì)語(yǔ)言中實(shí)現(xiàn)泛型語(yǔ)言機(jī)制的復(fù)雜性造成的。近年來(lái)

2、,國(guó)內(nèi)外軟件界均把在高級(jí)程序設(shè)計(jì)語(yǔ)言中有效地實(shí)現(xiàn)泛型語(yǔ)言機(jī)制作為研究目標(biāo)。本文作者導(dǎo)師薛錦云主持承擔(dān)的多項(xiàng)國(guó)家自然科學(xué)基金課題均以提出并有效地實(shí)現(xiàn)更多的新型泛型語(yǔ)言機(jī)制作為研究目標(biāo)。薛錦云2015年在法國(guó)巴黎召開(kāi)的ICFEM2015國(guó)際會(huì)議上提出了類(lèi)型（type）、動(dòng)作（action）和抽象數(shù)據(jù)類(lèi)型（ADT）作參數(shù)的新型安全泛型機(jī)制。本論文的研究目標(biāo)就是在Apla-Java程序生成系統(tǒng)中，有效地實(shí)現(xiàn)上述新型安全泛型程序設(shè)計(jì)機(jī)制。

3、　　本文首先對(duì)迫切需要在Apla-Java程序自動(dòng)生成系統(tǒng)中實(shí)現(xiàn)的新型泛型語(yǔ)言機(jī)制進(jìn)行了系統(tǒng)的研究，其次簡(jiǎn)化了原有的Apla中多重賦值語(yǔ)句到Java語(yǔ)言程序的自動(dòng)轉(zhuǎn)換方法,有效地實(shí)現(xiàn)了抽象數(shù)據(jù)類(lèi)型語(yǔ)言機(jī)制，緊接著介紹了建模語(yǔ)言Apla中三種安全泛型語(yǔ)言機(jī)制，并提出一種新型泛型語(yǔ)言機(jī)制在Apla-Java程序自動(dòng)生成系統(tǒng)中實(shí)現(xiàn)的新方法，并用大量用例測(cè)試該方法的正確性和新型泛型語(yǔ)言機(jī)制的有效性，在本文中也演示了多種典型泛型算法程序的實(shí)現(xiàn)。<

4、br>　　本文的主要?jiǎng)?chuàng)新點(diǎn)如下：
　　1.基于模型驅(qū)動(dòng)軟件工程（MDE）的技術(shù)框架，在建模語(yǔ)言Apla中擴(kuò)展并實(shí)現(xiàn)了抽象數(shù)據(jù)類(lèi)型（ADT）機(jī)制,三種泛型語(yǔ)言機(jī)制（type、action和ADT）及其安全機(jī)制（region），簡(jiǎn)化了多重賦值語(yǔ)句到對(duì)應(yīng)Java程序的轉(zhuǎn)換算法，使最終生成的Java程序完全具備泛型程序的功能，這在國(guó)內(nèi)外尚未發(fā)現(xiàn)有類(lèi)似的方法和結(jié)果；
　　2.三種新型泛型語(yǔ)言機(jī)制，首次在Apla語(yǔ)言中得到實(shí)現(xiàn)，使通過(guò)模