基于行为自动机的构件可替换性分析与验证

在交互协议层面讨论构件的可替换性，采用非确定性有限状态自动机(nondeterministicfiniteautomata，简称nfa)来建模构件的交互行为，在保证交互兼容性的前提下，提出了按构件环境的透明度和构件交互的变化度两维划分的可替换性模型，给出了4类可替换性的形式化定义及其之间的关系，并基于nfa理论给出了相关的验证算法。另外，该模型以构件的替换行为而不是其全部行为作为构件替换的参照，从而使替换时有更多的候选构件可供使用，提高了构件复用的几率。