Research on dynamic component replacement and its formal specification

In fact, dynamic component replacement is a relatively difficult problem in the practice of software engineering. This paper presents a new approach which based on architecture reflection to achieve the goal of dynamic component replacement. And what´s more, through a concrete case study, the process and formal specification of component replacement were detailed illustrated.