在已有的研究基础上、基于接口自动机理论提出了一种构件交互形式化方法模型。它将接口自动机的输入输出动作分别对应为构件接口所提供的调用接口和使用接口,以接口自动机的组合来描述构件间的交互。在此构件模型基础上,提出了为不匹配的构件自动产生构件适配器的构件适配算法。