A heterogeneous characterisation of component-based system design in a categorical setting

In component-based design, components and communication mechanisms have a different nature; while the former represent the agents that cooperate to fulfill a certain goal, the latter formalise the communication mechanism through which these agents interact. A proper formalisation of the heterogeneit...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Lopez Pombo, C.G., Castro, P.F., Aguirre, N., Maibaum, T.S.E.
Formato:	SER
Materias:	Computational linguistics Software engineering Communication device Communication mechanisms Component based design Component-based system design Formalisation System specification Specifications
Acceso en línea:	http://hdl.handle.net/20.500.12110/paper_03029743_v8687_n_p314_LopezPombo
Aporte de:	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

id	todo:paper_03029743_v8687_n_p314_LopezPombo
record_format	dspace
spelling	todo:paper_03029743_v8687_n_p314_LopezPombo2023-10-03T15:19:38Z A heterogeneous characterisation of component-based system design in a categorical setting Lopez Pombo, C.G. Castro, P.F. Aguirre, N. Maibaum, T.S.E. Computational linguistics Software engineering Communication device Communication mechanisms Component based design Component-based system design Formalisation System specification Specifications In component-based design, components and communication mechanisms have a different nature; while the former represent the agents that cooperate to fulfill a certain goal, the latter formalise the communication mechanism through which these agents interact. A proper formalisation of the heterogeneity that arises from this difference requires one to employ the most adequate formalism for each of the parts of a specification and then proceed to merge the parts of the system specification characterised in different languages. The approach we propose in this paper is based on the notion of institution, and makes extensive use of institution representations in order to relate the specifications of components and communication mechanisms, each of which might be expressed in different formalisms. The contribution focuses on providing tools needed to engineer heterogeneous languages arising from particular choices for the specification of components and communication devices. © Springer International Publishing Switzerland 2014. Fil:Lopez Pombo, C.G. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. SER info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_03029743_v8687_n_p314_LopezPombo
institution	Universidad de Buenos Aires
institution_str	I-28
repository_str	R-134
collection	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic	Computational linguistics Software engineering Communication device Communication mechanisms Component based design Component-based system design Formalisation System specification Specifications
spellingShingle	Computational linguistics Software engineering Communication device Communication mechanisms Component based design Component-based system design Formalisation System specification Specifications Lopez Pombo, C.G. Castro, P.F. Aguirre, N. Maibaum, T.S.E. A heterogeneous characterisation of component-based system design in a categorical setting
topic_facet	Computational linguistics Software engineering Communication device Communication mechanisms Component based design Component-based system design Formalisation System specification Specifications
description	In component-based design, components and communication mechanisms have a different nature; while the former represent the agents that cooperate to fulfill a certain goal, the latter formalise the communication mechanism through which these agents interact. A proper formalisation of the heterogeneity that arises from this difference requires one to employ the most adequate formalism for each of the parts of a specification and then proceed to merge the parts of the system specification characterised in different languages. The approach we propose in this paper is based on the notion of institution, and makes extensive use of institution representations in order to relate the specifications of components and communication mechanisms, each of which might be expressed in different formalisms. The contribution focuses on providing tools needed to engineer heterogeneous languages arising from particular choices for the specification of components and communication devices. © Springer International Publishing Switzerland 2014.
format	SER
author	Lopez Pombo, C.G. Castro, P.F. Aguirre, N. Maibaum, T.S.E.
author_facet	Lopez Pombo, C.G. Castro, P.F. Aguirre, N. Maibaum, T.S.E.
author_sort	Lopez Pombo, C.G.
title	A heterogeneous characterisation of component-based system design in a categorical setting
title_short	A heterogeneous characterisation of component-based system design in a categorical setting
title_full	A heterogeneous characterisation of component-based system design in a categorical setting
title_fullStr	A heterogeneous characterisation of component-based system design in a categorical setting
title_full_unstemmed	A heterogeneous characterisation of component-based system design in a categorical setting
title_sort	heterogeneous characterisation of component-based system design in a categorical setting
url	http://hdl.handle.net/20.500.12110/paper_03029743_v8687_n_p314_LopezPombo
work_keys_str_mv	AT lopezpombocg aheterogeneouscharacterisationofcomponentbasedsystemdesigninacategoricalsetting AT castropf aheterogeneouscharacterisationofcomponentbasedsystemdesigninacategoricalsetting AT aguirren aheterogeneouscharacterisationofcomponentbasedsystemdesigninacategoricalsetting AT maibaumtse aheterogeneouscharacterisationofcomponentbasedsystemdesigninacategoricalsetting AT lopezpombocg heterogeneouscharacterisationofcomponentbasedsystemdesigninacategoricalsetting AT castropf heterogeneouscharacterisationofcomponentbasedsystemdesigninacategoricalsetting AT aguirren heterogeneouscharacterisationofcomponentbasedsystemdesigninacategoricalsetting AT maibaumtse heterogeneouscharacterisationofcomponentbasedsystemdesigninacategoricalsetting
_version_	1782027382617538560

A heterogeneous characterisation of component-based system design in a categorical setting

Ejemplares similares