A Formal Model for Component-Based Software

  • Authors:
  • Philip T Cox;Baoming Song

  • Affiliations:
  • -;-

  • Venue:
  • HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

In an effort to manage increasing complexity and to maximisethe reuse of code, the software engineering community has inrecent years put considerable effort into the design and developmentof component-based software development systems andmethodologies. The concept of building software from existingcomponents arose by analogy with the way that hardware is nowdesigned and built, using cheap, reliable standard "off-the-shelf"modules. Because of the analogy with wiring hardware components,component-based software development is a natural candidatefor visual expression. Various component softwaretechnologies have emerged as a result of this attention, but theirevolution has been rather ad hoc. In fact, some systems are definedpurely by their implementation with little or no precise definition.In an attempt to address this shortcoming, we propose awell-defined syntax and semantics for a component softwaremodel that captures the essential concepts.