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.