基于LTS的软件构件组装行为适配研究
Keywords: 软件构件,行为协议,同步矢量,适配契约,LTS
Abstract:
摘要 在软件构件组装过程中,构件之间的兼容性是保证构件正确交互的前提,对于组装中的失配情况如何生成适配器使构件间正确协作是一个必须解决的重要问题.本文首先基于标签转换系统LTS对构件行为进行建模,将构件间交互动作映射关系表示为同步矢量,将矢量之间的时序关系定义为适配契约.然后分析了不同失配情况和适配对策.最后设计了适配算法,自动生成适配器规约,保证了在适配器的协调下不兼容的构件之间能够正确交互,并通过案例验证了方法的有效性
Full-Text