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.
CITATION STYLE
Lau, K. K., Ornaghi, M., & Wang, Z. (2006). A software component model and its preliminary formalisation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4111 LNCS, pp. 1–21). Springer Verlag. https://doi.org/10.1007/11804192_1
Mendeley helps you to discover research relevant for your work.