基于LTS的软件构件组装行为适配研究.pdfVIP

2016 年5 月第5 期 小型微型计算机系统 Ioumal of Chinese Computer Systems Vol. 37 NO.5 2016 基于 LTS 的软件构件组装行为适配研究 张驰 (江西财经大学软件与通信工程学院，南昌 33∞13) E-mail:zhangcbi_l972@ 163. ∞m 摘 要:在软件构件组装过程中，构件之间的1:容性是保证构件正确交互的前提，对于组装中的失配情况如何生成适配器使构 件间正确协作是一个必须解决的重要问题.本文首先.l.于标签转换系统 LTS 对构件行为进行盖在棋，将构件间交互动作映射关 系农示为同步矢量，将矢量之间的时序关系定义为适配.契约.然后分析了不同失配情况和适量已对笨.最后设计7适配算法，自动 生成i主配器规约，保证了在适配霉的协调下不兼容的构件之间能够正确交互，并通过案例栓证了方法的有效性. 关键词:软件构件;行为协议;同步矢量;适配契约; LTS 中图分类号:τ胃口 文献标识码:A 文章编号:1侧-1220(2016)05明27峭 Rωearch on Software Components 8ehavioral Adaptation in Composition 8ased on LTS ZHANG chi (Sch∞1 of so食ware and Communication Engineering ,Jiangxi University of Fmance 创d Economics ,Nancbang 33∞13 ，China) Abstract:Com归由副ty is the precondition to ens山e the correct interaction among compone脂 in ∞mposition pro习俗， how ωmake 阳mismatcb compone盹C∞rdin创t ∞π冒ctly is a vital problem in ∞mponent ∞mposition. This paper first m叫eled ∞m严Ðeot be- havior by LTS ,expressed 3Ction mapping as synchronωs vector and defined the s吨uential relationship 创nong s归chronωs vectors as adaptation ∞ntract and theo analyzed the di仔ereot mismatcb situationsωd ∞rresponding adaptation strategies. At last desi伊ed adapta- tion a1gorithm to produce adaptation sμdfication automatically thus ensured the mismatch ∞mponents can ∞町ect interaction under the mediation of adaptor and verified the validity of pro阴阳d me也od 也rough an application system . Key words: component ;behavioral protocol; synchronous vector; 副aptation ∞ntract;LTS 发动作对应关系表示为同步矢量，然后通过适配契约定义同 1 引言 步矢量的时序关系.最后分析失配的不同类型和适配策略，据 基于构件的软件开发以复用预先开发、经过验证的构件 此形成适配算法，自动生成适配辑规约，以保证在适配器的协 构造新系统，大大缩短开发周期，提高软件质量，是软件走向