Loading...

On validity assurance of dynamic reconfiguration for component-based programs

Niamanesh, M ; Sharif University of Technology | 2006

182 Viewed
  1. Type of Document: Article
  2. DOI: 10.1016/j.entcs.2005.12.070
  3. Publisher: 2006
  4. Abstract:
  5. Growing the need for long-life and high-available programs, dynamic reconfiguration is going to be an important research issue. Dynamic reconfiguration enables the software systems to change at runtime to decrease their down-time in case of any updating, upgrading or in any changes. Any invalid reconfiguration at runtime may lead programs into invalid states. In this paper, we investigate on validity of dynamic reconfiguration for component-based programs and propose validity conditions for it. We show that the problem of validity assurance in general is undecidable and there is no general-purpose algorithm to verify dynamic reconfiguration validity. To have a computable algorithm for validity check we present some sufficient conditions for achieving validity. © 2006 Elsevier B.V. All rights reserved
  6. Keywords:
  7. Algorithms ; Computer software ; Problem solving ; Component-based program ; Dynamic Reconfiguration ; Reconfiguration ; State transferring ; Validity Assurance ; Computer programming
  8. Source: Electronic Notes in Theoretical Computer Science ; Volume 159, Issue 1 , 2006 , Pages 227-239 ; 15710661 (ISSN)
  9. URL: https://www.sciencedirect.com/science/article/pii/S1571066106002830