A software component model and its preliminary formalisation

Kung Kiu Lau; Mario Ornaghi; Zheng Wang

doi:10.1007/11804192_1

A software component model and its preliminary formalisation

Kung Kiu Lau, Mario Ornaghi, Zheng Wang

Research output: Chapter in Book/Conference proceeding › Conference 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 language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)\|Lect. Notes Comput. Sci.
Pages	1-21
Number of pages	20
Volume	4111
DOIs	https://doi.org/10.1007/11804192_1
Publication status	Published - 2006
Event	4th International Symposium on Formal Methods for Components and Objects, FMCO 2005 - Amsterdam Duration: 1 Jul 2006 → …

Conference

Conference	4th International Symposium on Formal Methods for Components and Objects, FMCO 2005
City	Amsterdam
Period	1/07/06 → …

Access to Document

10.1007/11804192_1

Cite this

@inproceedings{2182da5211d64a00b016ea66c7f2faed,

title = "A software component model and its preliminary formalisation",

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. {\textcopyright} Springer-Verlag Berlin Heidelberg 2006.",

author = "Lau, {Kung Kiu} and Mario Ornaghi and Zheng Wang",

year = "2006",

doi = "10.1007/11804192_1",

language = "English",

isbn = "3540367497",

volume = "4111",

pages = "1--21",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.",

note = "4th International Symposium on Formal Methods for Components and Objects, FMCO 2005 ; Conference date: 01-07-2006",

}

Lau, KK, 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)|Lect. Notes Comput. Sci.. vol. 4111, pp. 1-21, 4th International Symposium on Formal Methods for Components and Objects, FMCO 2005, Amsterdam, 1/07/06. https://doi.org/10.1007/11804192_1

A software component model and its preliminary formalisation. / Lau, Kung Kiu; Ornaghi, Mario; Wang, Zheng.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. Vol. 4111 2006. p. 1-21.

Research output: Chapter in Book/Conference proceeding › Conference contribution

TY - GEN

T1 - A software component model and its preliminary formalisation

AU - Lau, Kung Kiu

AU - Ornaghi, Mario

AU - Wang, Zheng

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

U2 - 10.1007/11804192_1

DO - 10.1007/11804192_1

M3 - Conference contribution

SN - 3540367497

SN - 9783540367499

VL - 4111

SP - 1

EP - 21

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.

T2 - 4th International Symposium on Formal Methods for Components and Objects, FMCO 2005

Y2 - 1 July 2006

ER -

A software component model and its preliminary formalisation

Abstract

Conference

Access to Document

Fingerprint

Cite this