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

摘要：为满足软件系统24/7/365不中断运行的需求,提出了对运行中的软件进行动态演化的要求.分析了软件演化的基本种类,叙述了多线程可动态演化软件的演化步骤,并对该类程序设计中涉及到的一些关键问题展开讨论.最后以数据集成软件为例分析了多线程可动态演化程序实例的运行状况.