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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

8 記者 何學(xué)民;四川電力公司緊急事務(wù)處理機(jī)制出臺(tái)[N];中國電力報(bào);2005年

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

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

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

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

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

3 王文樂;基于替代/補(bǔ)償?shù)膶?shí)時(shí)事務(wù)處理策略研究[D];江西財(cái)經(jīng)大學(xué);2013年

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

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

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

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

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

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

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

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

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

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

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

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

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

本文編號：2608645