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

  • Authors:

  • Junrong Shen;Xi Sun;Gang Huang;Wenpin Jiao;Yanchun Sun;Hong Mei

  • Affiliations:

  • Peking University, Beijing, P.R. China;Peking University, Beijing, P.R. China;Peking University, Beijing, P.R. China;Peking University, Beijing, P.R. China;Peking University, Beijing, P.R. China;Peking University, Beijing, P.R. China

  • Venue:
  • Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.