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

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

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

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

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