Analysis of Component Behaviors in Dynamic Architecture Evolution

HUANG Chong-de,PENG Xin,ZHAO Wen-yun
DOI: https://doi.org/10.3321/j.issn:1002-8331.2007.10.027
2007-01-01
Abstract:With the requirements of continuous service in mission and safety critical software applications,shutdown and restart system during software upgrade are unacceptable.Dynamic update with foundation of runtime software evolution becomes a way to solve these problems.But as the variety of component style,ability,and communicating protocols,component substitute may encounter incompatibility.And force updating without adaptation may endanger the stability and correctness of current system.This paper focuses the behaviors of component,uses the architecture description language based on Wright,and uses the description method based on CSP,to describe the behaviors between components,to analyze the difference of behaviors before update.Be sure that the new component behaviors satisfy the system's requirements.And this mechanism ensures the correctness and security of dynamic update,and enhances the self-adaptability of system evolution.
What problem does this paper attempt to address?