Research On A Model Of Component-Based Dynamic Software Architecture

Nowadays existing the research of software architectures has focused on static architectures. But there are many systems, especially which are long running or mission critical systems, such as finance system, navigation system and so on. There will have been the high costs and risks, if they are updated or maintained without shutting down, since the requirements and environments of these systems change. But it is difficult to accurately model and analyze these systems using static architectures which lack notations to express dynamic updating. So the research of dynamic architectures emerges as the times require, which studies primarily architectural changes and supporting platforms.With regard to dynamic updating of the runtime system, in this thesis we do some associated work. Firstly, the concepts and basic questions of dynamic architecture are addressed. Secondly, the difficulties in the research are put forward, that is the lacks of unified structural model and valid formal mechanism for specifying and analyzing.Based on the previous work, we propose a model for ComponentBased Dynamic Architecture(CBDA), which has three layers that respectively implement associated updating requirements. And the thesis analyzes two typical updating examples, which shows that CBDA can well support the dynamic updating of the runtime system. Meanwhile, CBDA is open for extension with the updating mechanism of control and management.A critical issue for formally specifying dynamic architecture is how to describe the interaction among system behaviors when update dynamically the runtime system. Based on CBDA, together with Wright and CSP, we discuss on an approach for formally specifying and analyzing dynamic updating of the runtime system, which has generality and mathematic base. Then, we illustrate the approach by a real system, and apply the analyzing conclusion to check the consistency of the system. By the analyzing of the example , we present that this approach can well support the CBDA model.