并发分布式事务处理机制在PAR平台中的设计与实现

发布时间：2020-03-31 05:36

【摘要】：当前大数据、云计算、人工智能和可信软件等前沿技术已经成为计算机和信息领域的研究热点。本文指导老师薛锦云教授主持承担的国家自然科学基金重大国际合作项目“若干软件新技术及其在PAR平台中的实验研究”、基金面上项目“高可靠软件建模语言及模型自动转换方法”的研究目标均是这些热点问题。其中PAR平台中的Apla-Java程序自动转换系统正是这两项国家级课题需要设计实现上述前沿技术的主要开发平台。本文的研究目标就是在原有的Apla-Java程序自动转换系统中有效地实现并发分布式事务处理机制,使之和原有的Apla-Java程序自动转换系统自然融合。本文首先认真分析研究了分布式事务处理的原理、特点和最新Java程序开发平台和支撑工具,提出了和原有建模语言Apla以及原有本地事务处理机制融合的并发分布式事务处理机制,并构建了从Apla并发分布式事务处理模型到Java语言并发分布式事务处理程序的自动转换系统。基于该转换系统可以自动生成并发分布式事务处理的Java程序,最后用两个实例验证了该转换系统的正确性和可靠性。本文的主要创新点如下:(1)本文提出了抽象的并发分布式事务处理的语言机制并将其和Apla语言中的本地事务处理机制自然融合,并构建了将抽象的并发分布式事务处理程序转换成对应的Java程序的系统,使得可以用建模语言Apla便捷地构建十分复杂的并发分布式事务处理应用程序,有利于进行形式化验证。转换系统可以将经过验证的并发分布式事务处理程序转换成对应的Java程序,大幅度提高了并发分布式事务处理程序的可靠性和研发效率。这一成果在国际国内均属首创。世界著名计算机科学家美国Texas大学的Misra教授非常希望在他提出的建模语言Orc中能实现事务处理机制,但至今尚未成功。(2)本文提出的抽象的并发分布式事务处理语言机制处理的是广义的分布式事务,而不是狭义的数据库分布式事务,使得使用Apla语言不仅可以便捷地构建非常复杂的数据库并发分布式事务应用程序,而且还可以便捷地构建非常复杂的数据库之外的一般性并发分布式事务应用程序,构建的抽象并发分布式事务应用程序可以通过转换系统自动地转换成具体的Java应用程序。这一功能和方法国际国内尚不多见。
【图文】：

5.1.1 系统界面原 Apla->Java 程序自动转换系统的界面坚持着简洁、方便用户使用的特点，整个系统只有一个主界面，此次在该系统中增加并发分布式事务处理机制，并没有对系统的界面做过修改，因此，，系统界面较之前没有任何变化。图 5-1 是Apla->Java 程序自动转换系统主界面的显示效果：

程序运行开始的部分截图
【学位授予单位】：江西师范大学
【学位级别】：硕士
【学位授予年份】：2018
【分类号】：TP312;TP311.52

【相似文献】

相关期刊论文 前10条

1 黄琼;杨树强;;基于CORBA的分布式事务处理分析[J];微计算机信息;2008年30期

2 王焕涛,佘X;一种基于数组的在线事务处理方法[J];计算机时代;2005年10期

3 郑红,李师贤;CORBA系统事务处理的模拟和分析[J];系统仿真学报;2003年S1期

4 齐勇,马莉,赵季中,齐向明,侯迪;分布式事务处理技术及其模型[J];计算机工程与应用;2001年09期

5 卜方玲,徐新;时变事务处理数据的管理方法[J];计算机系统应用;1999年06期

6 周继雄;相互依赖数据管理的多事务处理[J];武汉交通科技大学学报;1996年01期

7 杨守忠;在线事务处理的特点与要求[J];信息系统工程;1997年05期

8 杨则正;不同种类信息的事务处理:述评[J];管理科学文摘;1994年03期

9 王国中;;开发事务处理专家系统——快速原型化方法[J];郑州工学院学报;1990年03期

10 ;中国兵工物资计算机管理信息系统通过部级鉴定[J];兵工自动化;1989年03期

相关会议论文 前10条

1 张春海;闫晓多;李海涛;;一种基于语义规则的事务处理机制[A];第十八届全国数据库学术会议论文集（研究报告篇）[C];2001年

2 张鹏;李昭原;;基于组件技术的事务处理研究与实现[A];第十九届全国数据库学术会议论文集（技术报告篇）[C];2002年

3 彭舰;谢汶;孙淑霞;;分布环境中多数据库的事务处理[A];第二十届全国数据库学术会议论文集（技术报告篇）[C];2003年

4 石双元;陈琦;;事务处理协议及其在Web Services中的应用分析[A];第11届海峡两岸信息管理发展策略研讨会论文集[C];2005年

5 王黎维;彭智勇;林兰佳;杨巍;邹现军;;PostgreSQL事务处理的分析与扩展[A];第二十届全国数据库学术会议论文集（技术报告篇）[C];2003年

6 李敏;费丽娟;胡金柱;;数据库系统中大事务处理问题的研究[A];第二十届全国数据库学术会议论文集（技术报告篇）[C];2003年

7 李鑫;窦勇;邓林;张劲;;多核平台下事务处理类应用性能分析及评价[A];2010年第16届全国信息存储技术大会（IST2010）论文集[C];2010年

8 顾晓波;钱方;贾焰;;面向分布式事务处理应用的多数据库管理服务[A];第十七届全国数据库学术会议论文集（技术报告篇）[C];2000年

9 蒋荟;王石生;曹松;董学娟;;TPDS后台事务处理关键技术的研究[A];铁道科学技术新进展——铁道科学研究院五十五周年论文集[C];2005年

10 张静;韩伟红;贾焰;;基于Informix数据库的分布对象事务处理技术[A];第十八届全国数据库学术会议论文集（技术报告篇）[C];2001年

相关重要报纸文章 前10条

1 本报记者 杜军玲;“微小事务处理机制”：心中有人以小见大[N];人民政协报;2012年

2 本报记者 康翔;高端事务处理的巨擎[N];计算机世界;2005年

3 ;将传统事务处理应 用带入SOA时代[N];中国计算机报;2005年

4 ;将事务处理推向边缘[N];网络世界;2001年

5 石竹;应用的守护神[N];计算机世界;2003年

6 士康;做好您的事务管理[N];计算机世界;2002年

7 ;Unix夺回服务器速度王冠[N];计算机世界;2003年

8 记者 何学民;四川电力公司紧急事务处理机制出台[N];中国电力报;2005年

9 本报记者 翟海涌;数据调节的价值[N];网络世界;2001年

10 ;HP成为Red Hat Linux首选服务商[N];计算机世界;2003年

相关博士学位论文 前5条

1 朱涛;分布式存储上的高性能事务处理[D];华东师范大学;2018年

2 张孝;移动事务转接与恢复技术研究[D];中国科学院研究生院（计算技术研究所）;2001年

3 王文乐;基于替代/补偿的实时事务处理策略研究[D];江西财经大学;2013年

4 常青;瘦型服务器及个人/家庭事务处理应用研究[D];太原理工大学;2011年

5 石伟;基于闪存特性的存储优化及应用研究[D];清华大学;2015年

相关硕士学位论文 前10条

1 夏鲸;并发分布式事务处理机制在PAR平台中的设计与实现[D];江西师范大学;2018年

2 王鑫;昊千公司销售事务处理及分析系统设计与实现[D];大连理工大学;2016年

3 王琦;企业级异步事务处理问题的研究和实践[D];东北大学;2005年

4 冯琳;分布事务处理中间件的优化与测试技术研究[D];中国科学院研究生院（软件研究所）;2005年

5 潘华蓉;行政信访事务处理委托制度研究[D];山西大学;2010年

6 高进;基于长事务处理的分布式框架设计研究[D];电子科技大学;2005年

7 李熠;事务处理软件体系结构的研究[D];西安电子科技大学;2005年

8 阮春荣;长事务处理协调框架[D];电子科技大学;2008年

9 严刚;分布式工作流事务处理建模与设计[D];上海交通大学;2009年

10 崔永花;工作流管理系统中的事务处理[D];国防科学技术大学;2004年

本文编号：2608645