Transaction在PAR平台中的实现方法及应用研究  

Implementation Approach and Application of Transaction in PAR Platform

作　　者：朱小征[1,2] 薛锦云[2] 徐华珍[1,2] 

机构地区：[1]江西师范大学计算机信息与工程学院,南昌330022 [2]江西师范大学国家网络化支撑软件国际科技合作基地,南昌330022

出　　处：《计算机与数字工程》2015年第10期1884-1890,共7页Computer & Digital Engineering

基　　金：国家自然科学基金重大国际合作研究项目"若干软件新技术及其在PAR平台中的实验研究"(编号:61020106009);国家自然科学基金面上项目:高可靠软件建模语言及模型自动转换方法研究(编号:61272075);国家自然科学基金面上项目:新概念循环不变式及其自动探测技术研究(编号:61472167)资助

摘　　要：随着电子商务和金融软件应用日益广泛,提高这类软件系统的可靠性和安全性就显得特别重要。虽然能够提高这类软件可靠性的事务处理技术早在数据库管理系统中普遍使用,近几年在Java软件开发环境中也新增了事务处理接口JTA,但是在基于模型驱动架构设计的建模语言中嵌入事务处理机制的成功案例尚不多见。论文在已有体现模型驱动软件架构思想的PAR方法和PAR平台中,融入抽象事务处理机制,并使用融入了事务处理机制的PAR平台及其建模语言开发了具有事务处理功能的金融软件模型,通过PAR平台的模型自动转换工具生成了Java和SQL程序。实验证明融入了事务处理机制的PAR方法和PAR平台具有建模简单、实用,软件开发效率高,便于形式化推导和证明等特点。With the growing popularity of e-commerce and financial software,the reliability and security of which embodies great significance of improvement.Although transaction processing technology liable to improve the reliability of this software has been in prevalent utilization early in the database management system,in recent years,transaction processing interface JTA has been created in Java software development environment likewise,scarcely are the cases embedded in transaction processing mechanism successful that underlie modeling language of model driven architecture design.In this paper,the PAR（Partition-and-Recursion）method and PAR platform,representing model driven architecture,where the abstract transaction processing mechanism is integrated.The transaction processing mechanism blending in the PAR platform,via which the financial software model that possesses the function of transaction processing and is developed Java and SQL routines are generated through model automatic conversion tool of PAR platform.The experiments indicate that PAR method and PAR platform blended by transaction processing mechanism is characterized by the modeling simplicity and practicality,software development efficiency,capability of being apt to the formalized implication and proof,etc.

关 键 词：事务处理 异常处理 PAR平台 模型驱动的软件架构 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]