Article citationsMore>>

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

has been cited by the following article:

• TITLE: Software Components Behavioral Adaptation Based on LTS

  AUTHORS: Chi Zhang

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

  JOURNAL NAME: Journal of Computer and Communications, Vol.3 No.5, May 25, 2015

  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.