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