Research On The Judgment Method Of Component System Evolution Consistency

The constant change in software requirements is normal.In order to not only meet the requirements of users but also adapt to the changes of system dependent environment,the existing component system will have to evolve,making it a component system that is more powerful in business functions,satisfying requirement changes and adapting to the system environment.Each component in the evolved component system can interact with each other normally in a certain order without redundancy and can complete tasks before the evolution to meet user's requirements,namely to meet the consistency.This is a necessary condition for the correct execution of the evolution operation.There are three main problems that have to be solved in judging the evolution consistency of component system,the judgment element selected by the consistency judgment is single and does not apply to the evolutionary stages,the limitation of whether each component interacts normally with each other in a certain order.Component-based software development approach has been the main development method at present.In view of the consistency problem of component-based software before and after dynamic evolution.This paper,which is based on both external and internal aspects and from perspective on interface,process structure,and behavior,proposes an approach to judging the evolution consistency of component systems.The details are as follows:First of all,each component is regarded as a judgement executor in the evolved system,so that all the components can participate in the consistency decision process.From the perspective of interface and process structure,we judge the consistency between the judgment executor and the global.The interface consistency includes interface operation symmetry and interface message type consistency,and the consistency analysis of process structure is based on the UML state diagram.which is external consistency;Secondly,in the case of meeting the consistency of interfaces and process structures,behavior consistency judgments are made by comparing the behavior of evolution components before and after evolution.This is internal consistency;Finally,this paper analyzes the anomalies that may occur in the evolution process and models the anomalies using ?-calculus.In addition,we describe the analysis process of judgement approach proposed in this paper detailedly through an example of book ordering component system,and the ?-calculus is used on modeling detection and deduction.In this paper,we implement a prototype tool to judge the evolution consistency of component system semi-automatically.The experiment and analysis show that our approach is feasible and effective.Overall,this paper proposes an approach to judging the evolution consistency and describes its analysis process completely.