Software Components Behavioral Adaptation Based on LTS

• 作者: Chi Zhang
• 来源期刊: 电脑和通信(英文)
• 学科: 医学
• 关键词: Component BEHAVIORAL Protocol SYNCHRONOUS VECTOR ADAPTATION CONTRACT LTS
• 年，卷（期）: 2015,（5）
• 页码范围: 44-53
• 页数: 10页
• 分类号: R73

摘要

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.