Abstract:

Component’s plugandplay and substitution is the primary means to implement assembly development and support customization and evolution in CBSD. Component behavioral substitutability analysis and verification is the core research subject of CBSD. Based on Finite Automata and characteristics of serviceoriented software components, the component behavior automata is proposed to describe component behavior protocols formally, a conceptual hierarchy of component behavioral substitutability is defined formally to increase component reuse, and related verification algorithms are developed to analyze component behavioral substitutability automatically.

Key words: component based software engineering；component substitutability；component automata；formal analysis;formal verification