【摘要】：當前大數(shù)據(jù)、云計算、人工智能和可信軟件等前沿技術(shù)已經(jīng)成為計算機和信息領(lǐng)域的研究熱點。本文指導老師薛錦云教授主持承擔的國家自然科學基金重大國際合作項目“若干軟件新技術(shù)及其在PAR平臺中的實驗研究”、基金面上項目“高可靠軟件建模語言及模型自動轉(zhuǎn)換方法”的研究目標均是這些熱點問題。其中PAR平臺中的Apla-Java程序自動轉(zhuǎn)換系統(tǒng)正是這兩項國家級課題需要設(shè)計實現(xiàn)上述前沿技術(shù)的主要開發(fā)平臺。本文的研究目標就是在原有的Apla-Java程序自動轉(zhuǎn)換系統(tǒng)中有效地實現(xiàn)并發(fā)分布式事務(wù)處理機制,使之和原有的Apla-Java程序自動轉(zhuǎn)換系統(tǒng)自然融合。本文首先認真分析研究了分布式事務(wù)處理的原理、特點和最新Java程序開發(fā)平臺和支撐工具,提出了和原有建模語言Apla以及原有本地事務(wù)處理機制融合的并發(fā)分布式事務(wù)處理機制,并構(gòu)建了從Apla并發(fā)分布式事務(wù)處理模型到Java語言并發(fā)分布式事務(wù)處理程序的自動轉(zhuǎn)換系統(tǒng)�；谠撧D(zhuǎn)換系統(tǒng)可以自動生成并發(fā)分布式事務(wù)處理的Java程序,最后用兩個實例驗證了該轉(zhuǎn)換系統(tǒng)的正確性和可靠性。本文的主要創(chuàng)新點如下:(1)本文提出了抽象的并發(fā)分布式事務(wù)處理的語言機制并將其和Apla語言中的本地事務(wù)處理機制自然融合,并構(gòu)建了將抽象的并發(fā)分布式事務(wù)處理程序轉(zhuǎn)換成對應(yīng)的Java程序的系統(tǒng),使得可以用建模語言Apla便捷地構(gòu)建十分復雜的并發(fā)分布式事務(wù)處理應(yīng)用程序,有利于進行形式化驗證。轉(zhuǎn)換系統(tǒng)可以將經(jīng)過驗證的并發(fā)分布式事務(wù)處理程序轉(zhuǎn)換成對應(yīng)的Java程序,大幅度提高了并發(fā)分布式事務(wù)處理程序的可靠性和研發(fā)效率。這一成果在國際國內(nèi)均屬首創(chuàng)。世界著名計算機科學家美國Texas大學的Misra教授非常希望在他提出的建模語言O(shè)rc中能實現(xiàn)事務(wù)處理機制,但至今尚未成功。(2)本文提出的抽象的并發(fā)分布式事務(wù)處理語言機制處理的是廣義的分布式事務(wù),而不是狹義的數(shù)據(jù)庫分布式事務(wù),使得使用Apla語言不僅可以便捷地構(gòu)建非常復雜的數(shù)據(jù)庫并發(fā)分布式事務(wù)應(yīng)用程序,而且還可以便捷地構(gòu)建非常復雜的數(shù)據(jù)庫之外的一般性并發(fā)分布式事務(wù)應(yīng)用程序,構(gòu)建的抽象并發(fā)分布式事務(wù)應(yīng)用程序可以通過轉(zhuǎn)換系統(tǒng)自動地轉(zhuǎn)換成具體的Java應(yīng)用程序。這一功能和方法國際國內(nèi)尚不多見。
【圖文】：

5.1.1 系統(tǒng)界面原 Apla->Java 程序自動轉(zhuǎn)換系統(tǒng)的界面堅持著簡潔、方便用戶使用的特點，整個系統(tǒng)只有一個主界面，此次在該系統(tǒng)中增加并發(fā)分布式事務(wù)處理機制，并沒有對系統(tǒng)的界面做過修改，因此，，系統(tǒng)界面較之前沒有任何變化。圖 5-1 是Apla->Java 程序自動轉(zhuǎn)換系統(tǒng)主界面的顯示效果：

程序運行開始的部分截圖
【學位授予單位】：江西師范大學
【學位級別】：碩士
【學位授予年份】：2018
【分類號】：TP312;TP311.52

【相似文獻】

相關(guān)期刊論文 前10條

1 黃瓊;楊樹強;;基于CORBA的分布式事務(wù)處理分析[J];微計算機信息;2008年30期

2 王煥濤,佘X;一種基于數(shù)組的在線事務(wù)處理方法[J];計算機時代;2005年10期

3 鄭紅,李師賢;CORBA系統(tǒng)事務(wù)處理的模擬和分析[J];系統(tǒng)仿真學報;2003年S1期

4 齊勇,馬莉,趙季中,齊向明,侯迪;分布式事務(wù)處理技術(shù)及其模型[J];計算機工程與應(yīng)用;2001年09期

5 卜方玲,徐新;時變事務(wù)處理數(shù)據(jù)的管理方法[J];計算機系統(tǒng)應(yīng)用;1999年06期

6 周繼雄;相互依賴數(shù)據(jù)管理的多事務(wù)處理[J];武漢交通科技大學學報;1996年01期

7 楊守忠;在線事務(wù)處理的特點與要求[J];信息系統(tǒng)工程;1997年05期

8 楊則正;不同種類信息的事務(wù)處理:述評[J];管理科學文摘;1994年03期

9 王國中;;開發(fā)事務(wù)處理專家系統(tǒng)——快速原型化方法[J];鄭州工學院學報;1990年03期

10 ;中國兵工物資計算機管理信息系統(tǒng)通過部級鑒定[J];兵工自動化;1989年03期

相關(guān)會議論文 前10條

1 張春海;閆曉多;李海濤;;一種基于語義規(guī)則的事務(wù)處理機制[A];第十八屆全國數(shù)據(jù)庫學術(shù)會議論文集（研究報告篇）[C];2001年

2 張鵬;李昭原;;基于組件技術(shù)的事務(wù)處理研究與實現(xiàn)[A];第十九屆全國數(shù)據(jù)庫學術(shù)會議論文集（技術(shù)報告篇）[C];2002年

3 彭艦;謝汶;孫淑霞;;分布環(huán)境中多數(shù)據(jù)庫的事務(wù)處理[A];第二十屆全國數(shù)據(jù)庫學術(shù)會議論文集（技術(shù)報告篇）[C];2003年

4 石雙元;陳琦;;事務(wù)處理協(xié)議及其在Web Services中的應(yīng)用分析[A];第11屆海峽兩岸信息管理發(fā)展策略研討會論文集[C];2005年

5 王黎維;彭智勇;林蘭佳;楊巍;鄒現(xiàn)軍;;PostgreSQL事務(wù)處理的分析與擴展[A];第二十屆全國數(shù)據(jù)庫學術(shù)會議論文集（技術(shù)報告篇）[C];2003年

6 李敏;費麗娟;胡金柱;;數(shù)據(jù)庫系統(tǒng)中大事務(wù)處理問題的研究[A];第二十屆全國數(shù)據(jù)庫學術(shù)會議論文集（技術(shù)報告篇）[C];2003年

7 李鑫;竇勇;鄧林;張勁;;多核平臺下事務(wù)處理類應(yīng)用性能分析及評價[A];2010年第16屆全國信息存儲技術(shù)大會（IST2010）論文集[C];2010年

8 顧曉波;錢方;賈焰;;面向分布式事務(wù)處理應(yīng)用的多數(shù)據(jù)庫管理服務(wù)[A];第十七屆全國數(shù)據(jù)庫學術(shù)會議論文集（技術(shù)報告篇）[C];2000年

9 蔣薈;王石生;曹松;董學娟;;TPDS后臺事務(wù)處理關(guān)鍵技術(shù)的研究[A];鐵道科學技術(shù)新進展——鐵道科學研究院五十五周年論文集[C];2005年

10 張靜;韓偉紅;賈焰;;基于Informix數(shù)據(jù)庫的分布對象事務(wù)處理技術(shù)[A];第十八屆全國數(shù)據(jù)庫學術(shù)會議論文集（技術(shù)報告篇）[C];2001年

相關(guān)重要報紙文章 前10條

1 本報記者 杜軍玲;“微小事務(wù)處理機制”：心中有人以小見大[N];人民政協(xié)報;2012年

2 本報記者 康翔;高端事務(wù)處理的巨擎[N];計算機世界;2005年

3 ;將傳統(tǒng)事務(wù)處理應(yīng) 用帶入SOA時代[N];中國計算機報;2005年

4 ;將事務(wù)處理推向邊緣[N];網(wǎng)絡(luò)世界;2001年

5 石竹;應(yīng)用的守護神[N];計算機世界;2003年

6 士康;做好您的事務(wù)管理[N];計算機世界;2002年

7 ;Unix奪回服務(wù)器速度王冠[N];計算機世界;2003年

8 記者 何學民;四川電力公司緊急事務(wù)處理機制出臺[N];中國電力報;2005年

9 本報記者 翟海涌;數(shù)據(jù)調(diào)節(jié)的價值[N];網(wǎng)絡(luò)世界;2001年

10 ;HP成為Red Hat Linux首選服務(wù)商[N];計算機世界;2003年

相關(guān)博士學位論文 前5條

1 朱濤;分布式存儲上的高性能事務(wù)處理[D];華東師范大學;2018年

2 張孝;移動事務(wù)轉(zhuǎn)接與恢復技術(shù)研究[D];中國科學院研究生院（計算技術(shù)研究所）;2001年

3 王文樂;基于替代/補償?shù)膶崟r事務(wù)處理策略研究[D];江西財經(jīng)大學;2013年

4 常青;瘦型服務(wù)器及個人/家庭事務(wù)處理應(yīng)用研究[D];太原理工大學;2011年

5 石偉;基于閃存特性的存儲優(yōu)化及應(yīng)用研究[D];清華大學;2015年

相關(guān)碩士學位論文 前10條

1 夏鯨;并發(fā)分布式事務(wù)處理機制在PAR平臺中的設(shè)計與實現(xiàn)[D];江西師范大學;2018年

2 王鑫;昊千公司銷售事務(wù)處理及分析系統(tǒng)設(shè)計與實現(xiàn)[D];大連理工大學;2016年

3 王琦;企業(yè)級異步事務(wù)處理問題的研究和實踐[D];東北大學;2005年

4 馮琳;分布事務(wù)處理中間件的優(yōu)化與測試技術(shù)研究[D];中國科學院研究生院（軟件研究所）;2005年

5 潘華蓉;行政信訪事務(wù)處理委托制度研究[D];山西大學;2010年

6 高進;基于長事務(wù)處理的分布式框架設(shè)計研究[D];電子科技大學;2005年

7 李熠;事務(wù)處理軟件體系結(jié)構(gòu)的研究[D];西安電子科技大學;2005年

8 阮春榮;長事務(wù)處理協(xié)調(diào)框架[D];電子科技大學;2008年

9 嚴剛;分布式工作流事務(wù)處理建模與設(shè)計[D];上海交通大學;2009年

10 崔永花;工作流管理系統(tǒng)中的事務(wù)處理[D];國防科學技術(shù)大學;2004年

本文編號：2608645