在交互协议层面讨论构件的可替换性,采用非确定性有限状态自动机（nondeterministic finite automata,简称NFA）来建模构件的交互行为,......