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

• 作者: 徐华珍 朱小征 薛锦云
• 来源期刊: 计算机与数字工程
• 关键词: 事务处理 异常处理 PAR平台 模型驱动的软件架构
• 年，卷（期）: 2015,（10）
• 所属期刊栏目: 工程实践
• 页码范围: 1884-1890
• 页数: 7页
• 字数: 6137字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2015.10.036

摘要

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