Abstract: Component-based technology has become a main stream approach for software development,however,how to maintain a high level of consistency of the component system after dynamic evolution is still lacking a generally accepted standard.So a verification method was proposed to verify whether a component system is consistent after dynamic evolution.Firstly,component model was proposed based on process algebraic,and a complex component system model could be obtained by combination of the components model.Secondly,according to the component system model and its state changes,an algorithm for extracting the external behavior of the component system was proposed,and a verification standard of consistency of the component system was presented based on weak bisimulation theory.Finally,the behavior of the component system was obtained,and then these behaviors were converted into a format which is conve-nient for Mobility Workbench to identify and verify.The case study shows that the proposed approach is feasible and effective.

Key words: Component,Component system,Process algebraic,Weak bisimulation,Dynamic evolution