Components Composition Compatibility Checking Based on Behavior Description and Roles Division

Component-based software development is necessity current of software engineering and industrialization and components achieve interaction by interfaces. At present the main interface definition languages are designed initially for closure environment to satisfy the requirement of C/S application, only describe static syntax level information of component interaction which can not meet the need of understand, usage and deduce of component in open environment. Formal description methods are getting more and more attention because of its accuracy and the use of automated theorem proving mechanism. In this paper we proposed the extension approach to component interfaces based on pi calculus make them including dynamic behavior information, then divided roles according to the role component acts in the system and researched the compatibility of component composition based on roles division to ensure the correctness of composition and interaction in open environment. To illustrate what we presented we use an electronic commerce application system as an example.