Software components composition compatibility checking based on behavior description

Software component interface description is one of the most important problems in Component-Based software development, and formal description methods are considered to be a promising approach for component interface. Presently the typical Interface Description Languages (IDLs) initially were designed for Client/Server applications in closure environment and only provided the syntax level information that needed by the components interaction without containing any dynamic behavioral protocol information. So it can not guarantee the correct interaction and usage of the software component in the open environment. The paper first defined the signature view and the behavior view of the software component then designed the modeling method that transfer the component behavior into π calculus process expression and proposed the algorithm that makes the transfer automatically. At last use one Electronic Commerce application as example and with the help of operational and transitional semantics and formal deduction we can check whether two components are behavior compatible when their composition.