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

1、隨著云計(jì)算和大數(shù)據(jù)時(shí)代的來臨，用戶對(duì)軟件需求的多樣性要求越來越高，但是，現(xiàn)有軟件開發(fā)方法存在效率低下、算法設(shè)計(jì)中缺乏正確性和可靠性等問題，這些為軟件開發(fā)帶來了困難。因此，軟件的開發(fā)效率和高可靠性一直是現(xiàn)代軟件工程中關(guān)注的焦點(diǎn)，而軟件形式化和自動(dòng)化具有開發(fā)高可靠程序和提高開發(fā)效率的特性，為這類問題提供了一條有效的解決方法。
　　PAR方法是由薛錦云教授提出的一種統(tǒng)一的、實(shí)用的算法設(shè)計(jì)和證明的新型軟件開發(fā)方法，它定義了Radl算法設(shè)計(jì)

2、語(yǔ)言來描述算法規(guī)約和Apla抽象程序設(shè)計(jì)語(yǔ)言來描述抽象程序?；赑AR方法而研制的PAR平臺(tái)是一種自動(dòng)算法程序生成系統(tǒng)，是PAR方法研究抽象算法程序與開發(fā)高級(jí)語(yǔ)言的輔助工具。Apla語(yǔ)言定義了大量的語(yǔ)言機(jī)制來支持泛型程序設(shè)計(jì)，而泛型程序設(shè)計(jì)可大幅度提高程序的可重用性、可靠性和開發(fā)效率,高抽象的泛型機(jī)制則有助于降低程序開發(fā)中的復(fù)雜度。
　　本文的研究選取新型Java8.0作為程序生成的目標(biāo)語(yǔ)言，以Apla為宿主語(yǔ)言，在前期研究的基礎(chǔ)

3、上，進(jìn)行拓展泛型程序設(shè)計(jì)，設(shè)計(jì)和實(shí)現(xiàn)了支持新型Java泛型機(jī)制的Apla-Java自動(dòng)程序生成系統(tǒng)。在早期研制的Apla-Java生成系統(tǒng)中，目標(biāo)語(yǔ)言Java屬于Java5.0之前版本，本身并不支持泛型機(jī)制，如今Java語(yǔ)言已經(jīng)具有成熟的泛型機(jī)制。因此，生成系統(tǒng)中實(shí)現(xiàn)新型 Java泛型機(jī)制成為本課題研究的重點(diǎn)。
　　Apla-Java生成系統(tǒng)中新型Java泛型機(jī)制的實(shí)現(xiàn)，為PAR平臺(tái)的發(fā)展帶來巨大的研究意義和實(shí)踐價(jià)值?？偨Y(jié)本課題的

4、主要研究?jī)?nèi)容和實(shí)用價(jià)值有：
　?。?）基于Apla泛型語(yǔ)言機(jī)制和新型Java泛型的研究，本文提出Apla泛型源程序?qū)?yīng)到Java泛型目標(biāo)程序的自動(dòng)生成規(guī)則，并在Apla-Java算法程序自動(dòng)生成系統(tǒng)中實(shí)現(xiàn)兩種語(yǔ)言機(jī)制的等價(jià)性轉(zhuǎn)換，最后通過大量泛型用例來驗(yàn)證系統(tǒng)設(shè)計(jì)的正確性。
　?。?）在Apla-Java生成系統(tǒng)的目標(biāo)語(yǔ)言中引入新型Java泛型機(jī)制，提高了源程序與目標(biāo)程序之間的功能轉(zhuǎn)換效率，且目標(biāo)程序結(jié)構(gòu)清晰、通用性強(qiáng)。