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.
A Software Component Model and Its Preliminary Formalisation / K. Lau, M. Ornaghi, Z. Wang - In: Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / [a cura di] F.S. de Boer, M.M. Bonsangue, S. Graf, W.P. de Roever. - Berlin : Springer Verlag, 2006. - ISBN 3540367497. - pp. 1-21 (( Intervento presentato al 4. convegno Formal Methods for Components and Objects, FMCO 2005 tenutosi a Amsterdam, The Netherlands nel 2004.
A Software Component Model and Its Preliminary Formalisation
M. OrnaghiSecondo
;
2006
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.Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.