Compatibility is the precondition to ensure the correct interaction among components in composition process, how to make the mismatch components coordinate correctly is a vital problem in component composition. This paper first modeled component behavior by LTS and expressed action mapping as synchronous vector then defined the sequential relationship among synchronous vectors as adaptation contract. Thirdly we analyzed the different mismatch situations and corresponding adaptation strategies. At last designed adaptation algorithm to produce adaptor specification automatically and ensured the mismatch components can correct interaction under the mediation of adaptor and verified the validity of proposed method through an application system.
 Lau, K.K. and Wang, Z. (2007) Software Component Models. IEEE Transactions on Software Engineering, 33, 709- 724. http://dx.doi.org/10.1109/TSE.2007.70726
 Plasil, F. and Visnovsky, S. (2002) Behavior Protocols for software components. IEEE Transactions on Software Engineering, 28, 1056-1076. http://dx.doi.org/10.1109/TSE.2002.1049404
 Schlegel, C. (2007) Communication Patterns as Key Towards Component Interoperability. Springer Tracts in Advanced Robotics, 30, 241-248. http://dx.doi.org/10.1007/978-3-540-68951-5_11
 Canal, C., et al. (2008) Model-Based Adaptation of Behavioral Mismatching Components. IEEE Transac-tions on Software Engineering, 34, 546-563. http://dx.doi.org/10.1109/TSE.2008.31
 Mateescu, R., et al. (2012) Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. IEEE Transactions on Software Engineering, 38, 755-777. http://dx.doi.org/10.1109/TSE.2011.62
 Fan, D.J., Huang, Z.Q., Cao, Z.N. and Wang, J. (2012) Analysis of Behavioral Compatibility and Adaptability of Web Services. Journal of Applied Sciences-Electronics and information Engineering, 30, 661-668.
 Yellin, D.M. and Strom, R.E. (1997) Protocol Specifications and Component Adapters. ACM Transactions on Programming Languages and Systems, 19, 292-333. http://dx.doi.org/10.1145/244795.244801
 Chu, D.H., Meng, F.C., Zhang, D.C. and Xu, X.F. (2011) Multi-Level Component Behavior Matching Model Based on Finite Automata. Journal of Software, 22, 2668-2683. http://dx.doi.org/10.3724/SP.J.1001.2011.03926
 Bracciali, A., Brogi, A. and Canal, C. (2005) A Formal Approach to Component Adaptation. Journal of System and Software, 74, 45-54. http://dx.doi.org/10.1016/j.jss.2003.05.007
 Mateescu, R., Poizat, P. and Salaun, G. (2007) Behavioral Adaptation of Component Compositions Based on Process Algebra Encoding. 2007 IEEE/ACM International Conference on Automated Software Engineering (ASE), 385-388. http://dx.doi.org/10.1145/1321631.1321690
 Tan, W., Fan, Y.S. and Zhou, M.C. (2009) A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language. IEEE Transactions on Automation Science and Engineering, 6, 94-106. http://dx.doi.org/10.1109/TASE.2008.916747
 Li, X.T., Fan, Y.S. and Madnick, S. (2010) A Pattern-Based Approach to Protocol Mediation for Web Services Composition. Information and Software Technology, 52, 304-323. http://dx.doi.org/10.1016/j.infsof.2009.11.002
 Poizat, P. and Salaun, G. (2007) Adaptation of Open Component-Based Systems. In Proc. of FMOODS’07, Springer, 141-156. http://dx.doi.org/10.1007/978-3-540-72952-5_9
 Brogi, A. and Popescu, R. (2007) Service Adaptation through Trace Inspection. International Journal of Business Process Integration and Management, 2, 9-16. http://dx.doi.org/10.1504/IJBPIM.2007.014100
 Benatallah, B. and Casati, F. (2005) Grigori D. Developing Adapters for Web Services Integration. International Conference on Advanced Information Systems Engineering (CAISE), 3520, 415-429. http://dx.doi.org/10.1007/11431855_29