Service-oriented component model

  • Tang L
  • Fei Y
  • Wang Z
  • 3


    Mendeley users who have this article in their library.
  • 11


    Citations of this article.


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.

Author-supplied keywords

  • Atomic service; Component certification; Service e
  • Customer satisfaction; Quality assurance; Softwar
  • Formal methods

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • L.a Tang

  • Y.b Fei

  • Z.a Wang

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free