文章解决了构件的可替换性问题。
s1.1 本节首先给出构件动态交互协议的基本概念,用有限状态自动机来形式化描述构件动态交互的时序约束,给出了构件交互兼容性的定义,然后给出在交互协议层面构件替换应考虑的问题.
s1.2 交互的兼容性要求替换后交互双方动作能够继续进行即可。给出了状态兼容性与构件交互兼容性的定义。用有限自动机的形式来表示状态如何兼容以及构件是如何兼容的。
判定动作匹配的主要思路是,基于动作逆变和逆变关系分析(即输入动作存在逆变关系,输出动作存在协变关系).判定步骤可分两步:首先,基于领域本体进行概念层面的判定;其次,基于接口型构进行子类型分析判定。
2.1 环境行为不确定时构件的替换行为 在环境行为不确定的情况下,替换行为是M的行为自动机在动作I上的映射,这样能保证M基本迹的事务性(即交互必须为完整的基本迹的组合)和替换不被环境感
知的原则。
2.2 环境行为确定时构件的替换行为
3 分析了环境确定和不确定下的替换行为,交互等价和交互兼容等四种情况下 定义了状态相似性,行为可替换性,构件可替换性等概念,给出了替换的一些性质。
4 给出了替换性的验证算法
5 用实例对模型进行了分析。
所给出的条件比子类型(subtyping)要宽松。