Research On Component Behavior Consistency Of Constraint-based Interaction Automata

In the component-based system, because of software requirements, software operatingenvironment continually happening changes, so the systems in operations need to keepchanging. However, some long-running critical systems, such as satellite navigation systems,financial systems and so on, these business-critical systems must not be interrupted andcontinually work, so it is required that dynamic evolution system should own the dynamicevolution ablity. Unconstrained dynamic evolution of software systems is very easy to destroythe consistency and completeness of software system behavior. The current research is lack ofrelevant formal methods to ensure the consistency of dynamic evolution. Therefore, before itcan use formal method in order to ensure the rationality of dynamic evolution.Based on the existing component dynamic evolution behavior, this paper analyzes theconstraint conditions in the dynamic evolution which can be introduced to ensure behaviorconsistency before and after the dynamic evolution，then master and become familiar withcomponent-interaction automata. This paper based on the component-interaction automataintroduces QoS constraint conditions and it becomes a constraint component-interactionautomata, according to the above，propose a component model which is based on a constraintcomponent-interaction automata. Using the proposed component model defines constraintconditions of behavior consistency, then according to formal definitions, the paper gives andproposes a specific validation method.This paper mainly introduces the research background, analyzes the research status ofcurrent dynamic evolution and component behavior specification, then points out the existinginadequacies. Mainly research formal method of component behavior and respectivelyintroduces four formal methods including Input/Output automata, Interface automata, Teamautomata, component-interaction automata, then compare the four formal methods. Then givewhy the paper selects the component-interaction automata to research. Here focus onintroducing the definition and characteristics of component-interaction automata in order toresearch subsequent chapters laying the foundation. Mainly introduces component model, theformal methods of constraint component-interaction automata, and proposes componentmodel based on constraint component interaction automata. Then if it meets the constraintcondition, then carries out the formal description. Finally, according to the formal definition, carry out the validation process, then give and propose a validation algorithm.