An Approach for Component-Based Software Development

Component-based software development (CBSD) has been viewed the future trend in software development due to not only saving the time and cost of system development, but also increasing the reliability and maintainability of the system. It is thought to be one of the most important approaches to solve software crisis. We propose a method for CBSD in this paper, where the coupling between components and system reliability are given special consideration. We propose a conceptual component model, where the Z specification language is used to describe the component. At composition phase, we use interaction graph and isomorphic tree of the interaction graph to simulate component assembly and system integration with appropriate components. At last, we present a component-based system reliability model with isomorphic tree of the component interaction graph.