中文摘要：

随着电子商务和金融软件应用日益广泛,提高这类软件系统的可靠性和安全性就显得特别重要。虽然能够提高这类软件可靠性的事务处理技术早在数据库管理系统中普遍使用,近几年在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.