Research On Behavioral Consistency Of Component Dynamic Evolution

With the increase of requests of software's continue running, component dynamic evolution becomes a research focus. To ensure behavioral consistency of component system is the most important problem and the basic goal during dynamic evolution. Behavior change which is unconstrained maybe causes the system to make a mistake. So, introducing certain constraints in the evolution to ensure the behavioral consistency has a very importent significance to maintain the system correct operation. This paper researchs on behavioral consistency of component dynamic evolution.Firstly, this paper has analyzed the related research which is about the component dynamic evolution and the behavioral protocol, pointed out the insufficiency in verifing the protocol-level behavior compatibility and the integrality of component during dynamic evolution, elaborated the research significance, discussed the research content, and given the correlation theories.Secondly, based on the exsiting research of dynamic evolution and behavioral protocol, the common grounds of behavior consistency in the dynamic evolution system is epurated. Through the analysis the constraints which satisfied the behavior consistency, a component model based on process algebra is defined which formally specifies the components and their interaction behaviors. The initiate request port and internal connection are introduced into the model, and then the direct-viewing chart of state conversion for the behavioral protocol is constructed.Thirdly, by using the component model and according to the definition of deadlock-free behavior and observational equivalences in process algebra, behavior compatibility of component interface and interactive behavioral consistency are formally defined. To define the boundary which ensures integrity, a term of affair is introduced and run-time behavioral integrity is formally defined.Finally, according to the formalization definition of behavioral consistency, some theorems are given. A set of rules and arithmetic are presented to verify the behavioral consistency. An example of component-based system is presented to illustrate the validity and feasibility of the approach.