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

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

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

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

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

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