基于FJ的多版本类动态更新演算

作     者：张仕 黄林鹏 ZHANG Shi;HUANG Lin-Peng

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

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

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2008年第19卷第10期

页      码：2562-2572页

摘      要：针对面向对象软件在动态更新中遇到类型安全问题,定义了一个多版本类的动态更新演算(MCUFJ演算(multi-version class dynamic updamble calculus based on FJ calculus))来描述类动态更新.MCUFJ演算以FJ(featherweight Java)演算为核心,通过增加update操作表示类的动态更新,运用多版本技术使动态更新可以在保持新旧对象共存的情况下完成,讨论了类的数据域和方法进行增加、删除、修改以及类型变化对程序类型安全性的影响,并且指出MCUFJ上类型安全的动态更新需要满足的约束.定义了类的可动态更新限制,并且证明了在该条件下多版本类的动态更新在类型上的安全性.该演算可以用于指导Java语言和面向对象程序语言的类动态更新.

主 题 词：动态软件更新 FJ(fbathenveight Java)演算 Java 类型系统 程序设计语言 

学科分类：08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 081202[081202] 

核心收录：

D　O　I：10.3724/sp.j.1001.2008.02562

馆 藏 号：203141554...