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...
Guardado en:
Autor principal: | |
---|---|
Publicado: |
2014
|
Materias: | |
Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v8687_n_p314_LopezPombo http://hdl.handle.net/20.500.12110/paper_03029743_v8687_n_p314_LopezPombo |
Aporte de: |
id |
paper:paper_03029743_v8687_n_p314_LopezPombo |
---|---|
record_format |
dspace |
spelling |
paper:paper_03029743_v8687_n_p314_LopezPombo2023-06-08T15:28:54Z A heterogeneous characterisation of component-based system design in a categorical setting López Pombo, Carlos Gustavo 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. 2014 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v8687_n_p314_LopezPombo 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 López Pombo, Carlos Gustavo 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. |
author |
López Pombo, Carlos Gustavo |
author_facet |
López Pombo, Carlos Gustavo |
author_sort |
López Pombo, Carlos Gustavo |
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 |
publishDate |
2014 |
url |
https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v8687_n_p314_LopezPombo http://hdl.handle.net/20.500.12110/paper_03029743_v8687_n_p314_LopezPombo |
work_keys_str_mv |
AT lopezpombocarlosgustavo aheterogeneouscharacterisationofcomponentbasedsystemdesigninacategoricalsetting AT lopezpombocarlosgustavo heterogeneouscharacterisationofcomponentbasedsystemdesigninacategoricalsetting |
_version_ |
1768546252562104320 |