Reliability and quality of a third-party component are still key factors to affect the rapid development of software component technology. But how to improve them is still a hard nut in component-based software engineering (CBSE). In this paper, a service-oriented component model was created, from the component producer's perspective, to improve the usability and reliability of a software component. Then, based on this model, a novel formal method was proposed to describe services a component can implement and, that is, to show capabilities it can provide. Case studies show that this formal description of component services can contribute to closing the gap between the producer's design expectation and the consumer's requirement and also promoting the automatic process of component based software development (CBD). And from that, a valid verification approach, which can help customers automatically determine whether a component satisfies customer's requirement or not, can be proposed. This approach can be certified to promote the reliability and quality of a component.
Mendeley saves you time finding and organizing research
Choose a citation style from the tabs below