-
题名类动态更新事务研究
- 1
-
-
作者
张仕
赖会霞
黄林鹏
-
机构
福建师范大学数学与计算机科学学院
上海交通大学计算机科学与工程系
-
出处
《计算机科学》
CSCD
北大核心
2008年第11期284-289,共6页
-
基金
国家自然科学基金(60673116)
国家高技术研究发展计划(863)(2006AA01Z166)
+1 种基金
福建省自然科学基金计划资助项目(2007J0315)
福建省教育厅资助省属高校项目(2007F5037)资助
-
文摘
针对软件单个类的动态更新操作存在许多限制,例如不允许删除类、方法等,提出类动态更新事务的方法,利用动态更新类集来克服这些限制,同时保证更新的安全性。基于此,对动态更新事务的一些属性,如ACID进行讨论,提出类型安全的类动态更新事务并进行了证明。最后,以Java语言为例,说明了如何构造动态更新程序,并进行了相应的实验,说明了方法的可行性。
-
关键词
软件更新
类动态更新
程序设计
更新事务
-
Keywords
Software updating, Dynamic class update, Program design, Update transaction
-
分类号
TP316.86
[自动化与计算机技术—计算机软件与理论]
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
