Software Component Composition Compatibility Checking Based on Behavior Description

This paper defines the signature view and the behavior view of the software component,designs the modeling method that transfers the component behavior into π calculus process expression and proposes the algorithm that makes the transfer automatically.An electronic commerce application is used as an example and with the help of operational and transitional semantics and formal deduction,it can be checked whether two components are behavior compatible during their composition.