Research on Behavior Adaptation of Software Component

Behavior adaptation of Software component is a crucial problem in component-based software engineering. A general approach is proposed to solve the behavior mismatch. Firstly, the synchronous vector between component behaviors according to the abstract specification of component behavior is calculated, and the specification of the adaptor is given. Then, in order to detect automatically deadlock mismatch, the synchronous product of Symbolic Transition Systems, which are the abstract specification of component behavior, is computed. The behavior of adaptor can be automatically calculated according to the synchronous vector. The adaptor can make component interaction correct. Finally, an example is presented to illustrate the proposed approach.