A Contract-Based Language to Specify Design Components
For component-based software development to be successful in organizations, the software developers must give close attention to the design of components as independent abstractions with well-specified behaviors. Without well-specified behaviors the possibility to distribute and acquire software components will be limited. In this paper, the authors present a contract-based approach to analyze and model the properties of design components and their composition in order to detect and correct composition errors. This approach permits to characterize the structural, interface and behavioural aspects of design component. As a matter of fact, they give a specific form of their instantiation, evolution and integration.