%0 Journal Article
%T FJ Extended Calculus for Multi-Version Class Dynamic Update<br>基于FJ的多版本类动态更新演算
%A ZHANG Shi
%A HUANG Lin-Peng
%A <br>张仕
%A 黄林鹏
%J 软件学报
%D 2008
%I 
%X Aiming at resolving the problem of type-safety in dynamic updating O-O(object-oriented)software,a simple formal system,MCUFJ(multi-version class dynamic updatable calculus based on FJ(featherweight Java) calculus)calculus,is established with the goal of understanding the underlying foundations of updating classes dynamically.MCUFJ is formulated as an extension of a core calculus for Featherweight Java with an update operator.Multi-Version classes make objects with different versions coexisting.This study also discusses what kind of change is type-safe,such as adding,deleting,modifying methods/fields,or changing methods'/fields' type,and concludes some restrictions on type-safe updating.The paper also proves the results formally.This calculus can be used as a foundation of Java and O-O update.
%K dynamic software update
%K FJ(featherweight Java)calculus
%K Java
%K type system
%K program language<br>动态软件更新
%K FJ(featherweight
%K Java)演算
%K Java
%K 类型系统
%K 程序设计语言
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=909FDA06138CCEDF316B7773F676F9EE&yid=67289AFF6305E306&vid=2A8D03AD8076A2E3&iid=F3090AE9B60B7ED1&sid=C4EA75F318381759&eid=2961AC949C1CE2AD&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=12