Transaction在PAR平台中的实现方法及应用研究
随着电子商务和金融软件应用日益广泛,提高这类软件系统的可靠性和安全性就显得特别重要.虽然能够提高这类软件可靠性的事务处理技术早在数据库管理系统中普遍使用,近几年在Java软件开发环境中也新增了事务处理接口JTA,但是在基于模型驱动架构设计的建模语言中嵌入事务处理机制的成功案例尚不多见.本文在已有体现模型驱动软件架构思想的PAR方法和PAR平台中,融入抽象事务处理机制,获得成功.已用融入了事务处理机制的PAR平台及其建模语言开发了具有事务处理功能的金融软件模型,并通过PAR平台的模型自动转换工具生成了Java和SQL程序.实验证明融入了事务处理机制的PAR方法和PAR平台具有建模简单、实用,软件开发效率高,便于形式化推导和证明等特点.
软件开发平台 建模语言 抽象事务处理机制 模型驱动架构
朱小征 薛锦云 徐华珍
江西师范大学计算机信息与工程学院 南昌330022;江西师范大学国家网络化支撑软件国际科技合作基地 南昌330022 江西师范大学国家网络化支撑软件国际科技合作基地 南昌330022
国内会议
金华
中文
1-8
2015-10-30（万方平台首次上网日期，不代表论文的发表时间）