Formalizing class dynamic software updating

被引：0
|
作者：
Zhang, Shi [1 ]
Huang, LinPeng [1 ,2 ]
机构：
[1] Shanghai Jiao Tong Univ, Dept Comp Sci & Engn, Shanghai 200030, Peoples R China
[2] FuJian Normal Univ, Dept Comp Sci & Engn, FuJian, Peoples R China
来源：
QSIC 2006: SIXTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS | 2006年
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Dynamic software updating enables running programs to be updated while executing. In this paper, a simple formal system is established with the goal of understanding the underlying foundations of updating classes, for the purpose of understanding how to best build reliable updatable programs. The update calculus is built for O-O software with a precise mathematical semantics. It is formulated as an extension of a core calculus for Featherweight Java, and supports updating technology similar to that of the programming language Java and C++. The calculus also presents what kind of update can be made dynamically. At the end of the paper, we proof that these update is type safety.
引用
收藏
页码：403 / +
页数：3
相关论文
共 50 条
  • [41] Kitsune: Efficient, General-Purpose Dynamic Software Updating for C
    Hayden, Christopher M.
    Saur, Karla
    Smith, Edward K.
    Hicks, Michael
    Foster, Jeffrey S.
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2014, 36 (04): : 1 - 38
  • [42] Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure?
    Gharaibeh, Bashar
    Rajan, Hridesh
    Chang, J. Morris
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 2011, 6603 : 371 - 385
  • [43] Incrementally updating software
    Keogh, J
    [J]. DR DOBBS JOURNAL, 2006, 31 (05): : 30 - +
  • [44] Languages for formalizing, visualizing and verifying software architectures
    van Ommering, R
    Krikhaar, R
    Feijs, L
    [J]. COMPUTER LANGUAGES, 2001, 27 (1-3): : 3 - 18
  • [45] Toward Formalizing The Emergent Behavior in Software Engineering
    Ailane, Toufik Mohamed
    Abboush, Mohammad
    Knieke, Christoph
    Lawendy, Abram
    Rausch, Andreas
    [J]. 2021 IEEE/ACM JOINT 9TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SYSTEMS-OF-SYSTEMS AND 15TH WORKSHOP ON DISTRIBUTED SOFTWARE DEVELOPMENT, SOFTWARE ECOSYSTEMS AND SYSTEMS-OF-SYSTEMS (SESOS/WDES 2021), 2021, : 32 - 39
  • [46] Low-Disruptive and Timely Dynamic Software Updating of Smart Grid Components
    Neumann, Martin Alexander
    Bach, Christoph Tobias
    Ding, Yong
    Riedel, Till
    Beigl, Michael
    [J]. SMART GRID INSPIRED FUTURE TECHNOLOGIES, 2017, 203 : 155 - 171
  • [47] Dodging Unsafe Update Points in Java']Java Dynamic Software Updating Systems
    Cazzola, Walter
    Jalili, Mehdi
    [J]. 2016 IEEE 27TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2016, : 332 - 341
  • [48] Dynamic Software Updating of IEC 61499 Implementation Using Erlang Runtime System
    Prenzel, Laurin
    Provost, Julien
    [J]. IFAC PAPERSONLINE, 2017, 50 (01): : 12416 - 12421
  • [49] Speedup Automatic Program Repair Using Dynamic Software Updating: An Empirical Study
    Guo, Rongxun
    Gu, Tianxiao
    Yao, Yuan
    Xu, Feng
    Ma, Xiaoxing
    [J]. 11TH ASIA-PACIFIC SYMPOSIUM ON INTERNETWARE (INTERNETWARE 2019), 2019,
  • [50] Tales of Software Updates: The process of updating software
    Vaniea, Kami
    Rashidi, Yasmeen
    [J]. 34TH ANNUAL CHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS, CHI 2016, 2016, : 3215 - 3226
12345