Sciweavers

Share
SIGSOFT
2005
ACM

Towards a unified formal model for supporting mechanisms of dynamic component update

9 years 7 months ago
Towards a unified formal model for supporting mechanisms of dynamic component update
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. Categories and Subject Descriptors D.2.11 [Software Architectures]: Domain-specific architectures; Patterns (e.g., client/server, pipeline, bla...
Junrong Shen, Xi Sun, Gang Huang, Wenpin Jiao, Yan
Added 20 Nov 2009
Updated 20 Nov 2009
Type Conference
Year 2005
Where SIGSOFT
Authors Junrong Shen, Xi Sun, Gang Huang, Wenpin Jiao, Yanchun Sun, Hong Mei
Comments (0)
books