10.3969/j.issn.1002-137X.2008.11.078
类动态更新事务研究
针对软件单个类的动态更新操作存在许多限制,例如不允许删除类、方法等,提出类动态更新事务的方法,利用动态更新类集来克服这些限制,同时保证更新的安全性.基于此,对动态更新事务的一些属性,如ACID进行讨论,提出类型安全的类动态更新事务并进行了证明.最后,以Java语言为例,说明了如何构造动态更新程序,并进行了相应的实验,说明了方法的可行性.
软件更新、类动态更新、程序设计、更新事务
35
TP3
国家自然科学基金60673116;国家高技术研究发展计划8632006AA01Z166;福建省自然科学基金计划资助项目2007J0315;福建省教育厅资助省属高校项目2007F5037
2009-02-10(万方平台首次上网日期,不代表论文的发表时间)
共6页
284-289