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

摘要：

随着电子商务和金融软件应用日益广泛，提高这类软件系统的可靠性和安全性就显得特别重要。虽然能够提高这类软件可靠性的事务处理技术早在数据库管理系统中普遍使用，近几年在 Java 软件开发环境中也新增了事务处理接口JTA ，但是在基于模型驱动架构设计的建模语言中嵌入事务处理机制的成功案例尚不多见。论文在已有体现模型驱动软件架构思想的 PAR 方法和 PAR 平台中，融入抽象事务处理机制，并使用融入了事务处理机制的 PAR 平台及其建模语言开发了具有事务处理功能的金融软件模型，通过 PAR 平台的模型自动转换工具生成了 Java 和 SQL 程序。实验证明融入了事务处理机制的 PAR 方法和 PAR 平台具有建模简单、实用，软件开发效率高，便于形式化推导和证明等特点。

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

分类号：TP3;S88

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

在线出版日期：2015-11-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：1884-1890