若干軟件新技術(shù)在Apla→Java程序自動(dòng)生成系統(tǒng)的實(shí)現(xiàn)研究.pdf

1、當(dāng)前大數(shù)據(jù)、云計(jì)算、云服務(wù)、可信軟件和模型驅(qū)動(dòng)軟件工程（MDE）等新技術(shù)和新概念已經(jīng)成為計(jì)算機(jī)和信息領(lǐng)域普遍關(guān)注的研究熱點(diǎn)。本文指導(dǎo)老師薛錦云主持承擔(dān)的國家自然科學(xué)基金重大國際合作項(xiàng)目“若干軟件新技術(shù)及其在PAR平臺(tái)中的實(shí)驗(yàn)研究”、基金面上項(xiàng)目“高可靠軟件建模語言及模型自動(dòng)轉(zhuǎn)換方法”的研究目標(biāo)均是這些熱點(diǎn)問題。其中PAR平臺(tái)中的Apla→Java程序自動(dòng)生成系統(tǒng)正是這兩項(xiàng)國家級(jí)課題需要設(shè)計(jì)實(shí)現(xiàn)上述新概念和新技術(shù)的主要開發(fā)平臺(tái)。本文的研究

2、目標(biāo)就是在研發(fā)擴(kuò)充 Apla→Java程序生成系統(tǒng)功能時(shí)，基于模型驅(qū)動(dòng)的軟件工程架構(gòu)，有效地實(shí)現(xiàn)事務(wù)處理、異常處理和多媒體數(shù)據(jù)處理等新技術(shù)，使之和原有的Apla—Java程序自動(dòng)生成系統(tǒng)自然融合。
　　本文首先認(rèn)真分析研究了事務(wù)處理、異常處理和多媒體數(shù)據(jù)處理的原理、特點(diǎn)和最新Java程序開發(fā)平臺(tái)和支撐工具，提出了和原有建模語言Apla融合的事務(wù)處理和異常處理機(jī)制，并構(gòu)建了從Apla事務(wù)處理和異常處理模型到Java語言事務(wù)處理和異常

3、處理程序的自動(dòng)轉(zhuǎn)換系統(tǒng)。基于該轉(zhuǎn)換系統(tǒng)可以自動(dòng)生成本地事務(wù)處理和分布式事務(wù)處理 Java程序，并以兩個(gè)應(yīng)用實(shí)例進(jìn)行驗(yàn)證。本文還根據(jù)多媒體的大數(shù)據(jù)特征，探究了將Apla中原有文本數(shù)據(jù)庫處理的簡(jiǎn)單方法運(yùn)用于多媒體數(shù)據(jù)庫處理的可能性，獲得圓滿成功，進(jìn)而提出和原有文本數(shù)據(jù)庫操作完全融合的多媒體數(shù)據(jù)操作語言機(jī)制，構(gòu)建了相應(yīng)多媒體操作構(gòu)件庫，用基于關(guān)系代數(shù)的文本數(shù)據(jù)庫處理機(jī)制，實(shí)現(xiàn)了多媒體數(shù)據(jù)庫處理模型到Java多媒體數(shù)據(jù)庫處理系統(tǒng)的自動(dòng)轉(zhuǎn)換。最后

4、用多個(gè)實(shí)例驗(yàn)證了該轉(zhuǎn)換系統(tǒng)的正確性和可靠性。
　　本文的主要?jiǎng)?chuàng)新點(diǎn)如下：
　　(1)提出了抽象的事務(wù)處理和異常處理的語言機(jī)制并將其和 Apla語言中的數(shù)據(jù)庫處理機(jī)制自然融合，并構(gòu)建了將自然融合的事務(wù)處理抽象程序轉(zhuǎn)換成對(duì)應(yīng)Java程序的系統(tǒng)，使得可以用建模語言Apla便捷地構(gòu)建十分復(fù)雜的本地和分布事務(wù)處理應(yīng)用程序，有利于進(jìn)行形式化驗(yàn)證。轉(zhuǎn)換系統(tǒng)可以將經(jīng)過驗(yàn)證的事務(wù)處理程序轉(zhuǎn)換成對(duì)應(yīng)的 Java程序，大幅度提高了事務(wù)處理程序的可

5、靠性和研發(fā)效率。這一成果在國際國內(nèi)均屬首創(chuàng)。世界著名計(jì)算科學(xué)家美國Texas大學(xué)Misra教授在他提出的 Orc建模語言中十分希望能實(shí)現(xiàn)事務(wù)處理機(jī)制，但至今尚未成功。
　　(2)本文提出的抽象多媒體數(shù)據(jù)處理語言機(jī)制和 Apla中基于關(guān)系代數(shù)的文本處理語言機(jī)制自然融合，并構(gòu)建了將自然融合的語言程序自動(dòng)轉(zhuǎn)換成對(duì)應(yīng)Java程序的方法和系統(tǒng)，使得可以用Apla語言對(duì)多媒體數(shù)據(jù)便捷地構(gòu)建十分復(fù)雜的多媒體應(yīng)用程序并對(duì)該程序的正確性進(jìn)行形式化驗(yàn)