Research On Component Composition Based On CSP Formal Semantic

As the size and complexity of software increase, there are many repeated processes that affect efficiency and quality of software development. CBSE/CBD, a process of creating efficient application system by reuse of one or more software components in reusable software component library, is a new style of software development that improves software development efficiency and quality.This paper proposes a research on component composition and discusses behavior and specification of component centered on the mechanism and methods of component composition by formal methods. Firstly, it imports the concepts of atom component and compound component and presents a specification definition of component model. Based on studies on basic structure of software programming design and software architecture, four different types of component composition mechanisms .i.e. sequential, selected, circulative and interface binding, are analyzed and studied. Then a three-level component model is set forth and specified by graph and text specification conforming to a technical way of function selection. Finally, a formal description of a specification deduction algorithm on compound component interface and behavior is set forth, behaviors of component composition are analyzed and corresponding deductions of specification are completed.Based on CSP formal semantic, the research on component composition has meaningful value of theoretical reference to research on behavior of component composition and automatic component composition.