类动态更新事务研究

作     者：张仕 赖会霞 黄林鹏 ZHANG Shi;LAI Hui-xia;HUANG Lin-peng

作者机构：福建师范大学数学与计算机科学学院福州350007 上海交通大学计算机科学与工程系上海200240 

基　　金：国家自然科学基金(60673116) 国家高技术研究发展计划(863)(2006AA01Z166) 福建省自然科学基金计划资助项目(2007J0315) 福建省教育厅资助省属高校项目(2007F5037)资助 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2008年第35卷第11期

页      码：284-289页

摘      要：针对软件单个类的动态更新操作存在许多限制,例如不允许删除类、方法等,提出类动态更新事务的方法,利用动态更新类集来克服这些限制,同时保证更新的安全性。基于此,对动态更新事务的一些属性,如ACID进行讨论,提出类型安全的类动态更新事务并进行了证明。最后,以Java语言为例,说明了如何构造动态更新程序,并进行了相应的实验,说明了方法的可行性。

主 题 词：软件更新 类动态更新 程序设计 更新事务 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1002-137X.2008.11.078

馆 藏 号：203625206...