Abstract: In open environment component interfaces that only express syntactic are insufficient to describe behavior information of component interaction, thus can’t verify the compatibility of composited system. This paper presents component view including not only external interface operation call information but also internal logic behavior, uses LTS to express behavior protocol and expresses interaction process as synchronous transition of multi-LTSs. It simulates dynamic interaction behavior by LTS synchronous product and checks whether there are deadlock states in synchronous product of LTSs to judge compatibility of composited system with the help of LTS operation semantics, designs an algorithm to verify behavioral compatibility automatically. It inspects this method is effectual by a typical e-business application.

Key words: interface, component view, behavioral compatibility, Labeled Transition System（LTS）

摘要： 在开放环境下，仅包含了语法层信息的组件接口不足以刻画组件交互的行为信息，从而不能对组装后的系统进行兼容性验证。提出了既包含组件接口调用方法又包含内部逻辑行为的组件视图，采用LTS表示组件行为协议，将组件交互过程表示为多个LTS之间的同步变迁;借助LTS操作语义，通过LTS同步积模拟组合系统交互的动态行为，以此为基础，检查同步积中是否出现死锁状态来进行兼容性判定，并设计了判定算法以实现兼容性的自动判定，通过一个典型的电子商务应用检验该方法的有效性。

关键词: 接口, 组件视图, 行为兼容性, 标签转换系统（LTS）