Towards a unified formal model for supporting mechanisms of dynamic component update | |
Shen, Junrong ; Sun, Xi ; Huang, Gang ; Jiao, Wenpin ; Sun, Yanchun ; Mei, Hong | |
2005 | |
英文摘要 | The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to find ways of updating software as it runs. Dynamic update is a kind of software evolution that updates a running program without interruption. This paper covers the fundamental issues of the mechanisms of dynamic update theoretically. Based on a similarity analysis of many typical approaches to dynamic update during the past decades, we propose a unified formal model (namely, Dynamic Update Connector) to specify mechanisms of updating an architectural component, and reason about its properties. The model borrows the concept of connectors from software architecture community and is specified using process algebra CSP. We also demonstrate the applications of our DUC model. Copyright 2005 ACM.; EI; 0 |
语种 | 英语 |
内容类型 | 其他 |
源URL | [http://ir.pku.edu.cn/handle/20.500.11897/295257] |
专题 | 信息科学技术学院 |
推荐引用方式 GB/T 7714 | Shen, Junrong,Sun, Xi,Huang, Gang,et al. Towards a unified formal model for supporting mechanisms of dynamic component update. 2005-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论