Formalization in Component Based Development

Jens Peter Holmegaard, John Knudsen, Piotr Makowski, Anders Peter Ravn

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch


We present a unifying conceptual framework for components, component interfaces,
contracts and composition of components by focusing on the collection of properties or qualities that they must share. A specific property, such as signature, functionality
behaviour or timing is an aspect. Each aspect may be specified in a formal language
convenient for its purpose and, in principle, unrelated to languages for other aspects.
Each aspect forms its own semantic domain, although a semantic domain may be parameterized by values derived from other aspects.

The proposed conceptual framework is introduced by small examples, using UML as concrete syntax for various aspects, and is illustrated by one larger case study based on an industrial prototype of a complex component based system.

Original languageEnglish
Title of host publicationMathematical Frameworks for Component Software
EditorsZhiming Liu, Jifeng He
Number of pages27
PublisherWorld Scientific
Publication date2006
ISBN (Print)978981270017x
Publication statusPublished - 2006
SeriesComponent-Based Software Development


  • software development
  • Software technology

Fingerprint Dive into the research topics of 'Formalization in Component Based Development'. Together they form a unique fingerprint.

  • Cite this

    Holmegaard, J. P., Knudsen, J., Makowski, P., & Ravn, A. P. (2006). Formalization in Component Based Development. In Z. Liu, & J. He (Eds.), Mathematical Frameworks for Component Software (pp. 255-281). World Scientific. Component-Based Software Development No. 2