Research on Safe Behavior Adaptation of Software Component

The behavior adaptation of Software component is a crucial problem in component-based software engineering. Software Adaptation aims at generating, as automatically as possible, adaptors to compensate mismatch between component interfaces, and ensure the deadlock-freedom of component interaction at the architectural level. A general and safe approach is proposed to solve the behavior mismatch. Firstly, the model of component behavior adaptation is given. Then, the formal specification of component behavior protocol and the definition of adaptor are given. The deadlock is used to check the mismatch of component behavior. The behavior of adaptor can be calculated automatically from the adapted components and the adaptor specification. The adaptor can make the correctness of the component interaction with data exchange, and realize the reordering of message. Finally, an example is presented to illustrate the approach proposed.