### Research on verifying of behavioral compatibility for software component composition

ZHANG Chi, CHU Chu

1. School of Software and Communication Engineering, Jiangxi University of Finance and Economics, Nanchang 330013, China
• Online:2016-06-01 Published:2016-06-14

### 软件组件组装行为兼容性检查研究

1. 江西财经大学 软件与通信工程学院，南昌 330013

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.