Chi Zhang

Show more
School of Software and Communication Engineering, Jiangxi University of Finance and Economics, Nanchang, China.
Show less

Abstract: 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.

Keywords: Component, Behavioral Protocol, Synchronous Vector, Adaptation Contract, LTS

Cite this paper: Zhang, C. (2015) Software Components Behavioral Adaptation Based on LTS. Journal of Computer and Communications, 3, 44-53. doi: 10.4236/jcc.2015.35006.

References

[1]   Yang, F.Q., Mei, H. and Lv, J. (2002) Some Discussion on the Development of Software Technology. Journal of Electronic, 30, 1901-1906.

[2]   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

[3]   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

[4]   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

[5]   Han, J. (2000) Temporal Logic Based Specification of Component Interaction Protocols. Proceedings of the ECOOP’2000 Workshop on Object Interoperability (WOI’00), June.

[6]   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

[7]   Deng, S.G., Li, Y., Wu, J., Kuang, L. and Wu, Z.H. (2007) Determination and Computation of Behavioral Compatibility for Web Services. Journal of Software, 18, 3001-3014.

[8]   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

[9]   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.

[10]   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

[11]   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

[12]   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

[13]   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

[14]   Cao, G.R., Tan, Q.P. and Wu, H. (2013) An Approach to Web Service Adaptation Based on Semantic Service Flow Nets. Journal of Chinese Computer Systems, 34, 2696-2701.

[15]   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

[16]   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

[17]   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

[18]   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

[19]   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