【摘 要】
：
随着电子商务和金融软件应用日益广泛,提高这类软件系统的可靠性和安全性就显得特别重要。虽然能够提高这类软件可靠性的事务处理技术早在数据库管理系统中普遍使用,近几
【机 构】
：
江西师范大学计算机信息与工程学院 南昌330022
【出 处】
：
2015全国理论计算机科学学术年会
论文部分内容阅读
随着电子商务和金融软件应用日益广泛,提高这类软件系统的可靠性和安全性就显得特别重要。虽然能够提高这类软件可靠性的事务处理技术早在数据库管理系统中普遍使用,近几年在Java软件开发环境中也新增了事务处理接口JTA,但是在基于模型驱动架构设计的建模语言中嵌入事务处理机制的成功案例尚不多见。本文在已有体现模型驱动软件架构思想的PAR方法和PAR平台中,融入抽象事务处理机制,获得成功。我们已用融入了事务处理机制的PAR平台及其建模语言开发了具有事务处理功能的金融软件模型,并通过PAR平台的模型自动转换工具生成了Java和SQL程序。实验证明融入了事务处理机制的PAR方法和PAR平台具有建模简单、实用,软件开发效率高,便于形式化推导和证明等特点。
其他文献
本文分析了河北省海洋经济发展的现状及存在问题,结合京津冀协同发展带来的机遇,就加快河北省海洋经济发展提出了加大政府支持力度、提高资源利用效率、加强人才队伍建设、推
目前，大多数方法在判别文本情感极性上采用的是提取情感特征并应用分类器进行分类的方式。然而由于网络文本表述方式多样、主题分散等特点，使得情感特征提取过程变得愈发困
The on-line load balancing is one of the most important problems in the field of algorithm design.Taking into account the practical application scenarios, t
The individual household electricity consumption is major part of the city in the electricity market.The accurate prediction of household power load is very
Text detection is the basis of Optical Character Recognition (OCR) and text information retrieval from natural images.The intrinsic variability of text rend
副本技术广泛应用于云计算及分布式系统中，合理的数据副本放置是降低网络运行成本的重要手段，也是副本技术的核心问题.副本更新是针对网络中数据访问请求的动态变化而进行
在现代基于虚拟化的数据中心上,虚拟机分配是实现云中资源有效调度的首要考虑.在云系统中,大数据被划分成多个数据存储在数据中心的数据结点上等待虚拟机处理.此时,不仅
A color image encryption algorithm based on modified RC4 and chaotic maps is proposed in this paper.The classic RC4 algorithm is modified in cryptography, a
Document databases are becoming popular, but how to present complex document query to obtain useful information from the document remains an important topic
片上网络作为一种将大量嵌入式内核集成到单个晶圆片上的可行性技术，与传统片上系统相比，更能应对未来需要更大规模集成内核的挑战，从而得到了更广泛的应用。然而，目前大多数