Towards managing dynamic reconfiguration of software systems in a categorical setting

Dynamic reconfiguration, understood as the ability to manage at run time the live components and how these interact in a system, is a feature that is crucial in various languages and computing paradigms, in particular in object orientation. In this paper, we study a categorical approach for characte...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Castro, P.F., Aguirre, N.M., López Pombo, C.G., Maibaum, T.S.E.
Formato: SER
Materias:
Component based
Component based systems
Computing paradigm
Dynamic environments
Dynamic re-configuration
Essential characteristic
Formalisation
Generic specifications
Object orientation
Runtimes
Software systems
Dynamic models
Specification languages
Temporal logic
Specifications
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v6255LNCS_n_p306_Castro
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id todo:paper_03029743_v6255LNCS_n_p306_Castro
record_format dspace
spelling todo:paper_03029743_v6255LNCS_n_p306_Castro2023-10-03T15:19:15Z Towards managing dynamic reconfiguration of software systems in a categorical setting Castro, P.F. Aguirre, N.M. López Pombo, C.G. Maibaum, T.S.E. Component based Component based systems Computing paradigm Dynamic environments Dynamic re-configuration Essential characteristic Formalisation Generic specifications Object orientation Runtimes Software systems Dynamic models Specification languages Temporal logic Specifications Dynamic reconfiguration, understood as the ability to manage at run time the live components and how these interact in a system, is a feature that is crucial in various languages and computing paradigms, in particular in object orientation. In this paper, we study a categorical approach for characterising dynamic reconfiguration in a logical specification language. The approach is based on the notion of institution, which enables us to work in an abstract, logic independent, setting. Furthermore, our formalisation makes use of representation maps in order to relate the generic specification of components (e.g., as specified through classes) to the behaviour of actual instances in a dynamic environment. We present the essential characteristics for dealing with dynamic reconfiguration in a logical specification language, indicating their technical and practical motivations. As a motivational example, we use a temporal logic, component based formalism, but the analysis is general enough to be applied to other logics. Moreover, the use of representation maps in the formalisation allows for the combination of different logics for different purposes in the specification. We illustrate the ideas with a simple specification of a Producer-Consumer component based system. © 2010 Springer-Verlag. Fil:López 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_v6255LNCS_n_p306_Castro
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Component based
Component based systems
Computing paradigm
Dynamic environments
Dynamic re-configuration
Essential characteristic
Formalisation
Generic specifications
Object orientation
Runtimes
Software systems
Dynamic models
Specification languages
Temporal logic
Specifications
spellingShingle Component based
Component based systems
Computing paradigm
Dynamic environments
Dynamic re-configuration
Essential characteristic
Formalisation
Generic specifications
Object orientation
Runtimes
Software systems
Dynamic models
Specification languages
Temporal logic
Specifications
Castro, P.F.
Aguirre, N.M.
López Pombo, C.G.
Maibaum, T.S.E.
Towards managing dynamic reconfiguration of software systems in a categorical setting
topic_facet Component based
Component based systems
Computing paradigm
Dynamic environments
Dynamic re-configuration
Essential characteristic
Formalisation
Generic specifications
Object orientation
Runtimes
Software systems
Dynamic models
Specification languages
Temporal logic
Specifications
description Dynamic reconfiguration, understood as the ability to manage at run time the live components and how these interact in a system, is a feature that is crucial in various languages and computing paradigms, in particular in object orientation. In this paper, we study a categorical approach for characterising dynamic reconfiguration in a logical specification language. The approach is based on the notion of institution, which enables us to work in an abstract, logic independent, setting. Furthermore, our formalisation makes use of representation maps in order to relate the generic specification of components (e.g., as specified through classes) to the behaviour of actual instances in a dynamic environment. We present the essential characteristics for dealing with dynamic reconfiguration in a logical specification language, indicating their technical and practical motivations. As a motivational example, we use a temporal logic, component based formalism, but the analysis is general enough to be applied to other logics. Moreover, the use of representation maps in the formalisation allows for the combination of different logics for different purposes in the specification. We illustrate the ideas with a simple specification of a Producer-Consumer component based system. © 2010 Springer-Verlag.
format SER
author Castro, P.F.
Aguirre, N.M.
López Pombo, C.G.
Maibaum, T.S.E.
author_facet Castro, P.F.
Aguirre, N.M.
López Pombo, C.G.
Maibaum, T.S.E.
author_sort Castro, P.F.
title Towards managing dynamic reconfiguration of software systems in a categorical setting
title_short Towards managing dynamic reconfiguration of software systems in a categorical setting
title_full Towards managing dynamic reconfiguration of software systems in a categorical setting
title_fullStr Towards managing dynamic reconfiguration of software systems in a categorical setting
title_full_unstemmed Towards managing dynamic reconfiguration of software systems in a categorical setting
title_sort towards managing dynamic reconfiguration of software systems in a categorical setting
url http://hdl.handle.net/20.500.12110/paper_03029743_v6255LNCS_n_p306_Castro
work_keys_str_mv AT castropf towardsmanagingdynamicreconfigurationofsoftwaresystemsinacategoricalsetting
AT aguirrenm towardsmanagingdynamicreconfigurationofsoftwaresystemsinacategoricalsetting
AT lopezpombocg towardsmanagingdynamicreconfigurationofsoftwaresystemsinacategoricalsetting
AT maibaumtse towardsmanagingdynamicreconfigurationofsoftwaresystemsinacategoricalsetting
_version_ 1807321415904395264

Ejemplares similares