A software component model and its preliminary formalisation

Kung Kiu Lau, Mario Ornaghi, Zheng Wang

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Abstract

    A software component model should define what components are, and how they can be composed. That is, it should define a theory of components and their composition. Current software component models tend to use objects or port-connector type architectural units as components, with method calls and port-to-port connections as composition mechanisms. However, these models do not provide a proper composition theory, in particular for key underlying concepts such as encapsulation and compositionality. In this paper, we outline our notion of these concepts, and give a preliminary formalisation of a software component model that embodies these concepts. © Springer-Verlag Berlin Heidelberg 2006.
    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.
    Pages1-21
    Number of pages20
    Volume4111
    DOIs
    Publication statusPublished - 2006
    Event4th International Symposium on Formal Methods for Components and Objects, FMCO 2005 - Amsterdam
    Duration: 1 Jul 2006 → …

    Conference

    Conference4th International Symposium on Formal Methods for Components and Objects, FMCO 2005
    CityAmsterdam
    Period1/07/06 → …

    Fingerprint

    Dive into the research topics of 'A software component model and its preliminary formalisation'. Together they form a unique fingerprint.

    Cite this