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

• 作者: 张仕 黄林鹏
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 动态软件更新 FJ(featherweight Java)演算 Java 类型系统 程序设计语言
• 年，卷（期）: 2008,（10）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 2562-2572
• 页数: 11页
• 分类号: TP311
• 字数: 8911字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张仕	上海交通大学计算机科学与工程系	21	116	4.0	10.0
5	黄林鹏	福建师范大学数学与计算机科学学院	1	3	1.0	1.0