Behaviour, interaction and dynamics

The growth and diffusion of reconfigurable and adaptive systems motivate the foundational study of models of software connectors that can evolve dynamically, as opposed to the better understood notion of static connectors. In this paper we investigate the interplay of behaviour, interaction and dyna...

Descripción completa

Guardado en:
Detalles Bibliográficos
Publicado: 2014
Materias:
Computer science
Computers
Component framework
Infinite state systems
New components
Reachability
Reconfigurable
Software connectors
Artificial intelligence
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v8373_n_p382_Bruni
http://hdl.handle.net/20.500.12110/paper_03029743_v8373_n_p382_Bruni
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id paper:paper_03029743_v8373_n_p382_Bruni
record_format dspace
spelling paper:paper_03029743_v8373_n_p382_Bruni2023-06-08T15:28:52Z Behaviour, interaction and dynamics Computer science Computers Component framework Infinite state systems New components Reachability Reconfigurable Software connectors Artificial intelligence The growth and diffusion of reconfigurable and adaptive systems motivate the foundational study of models of software connectors that can evolve dynamically, as opposed to the better understood notion of static connectors. In this paper we investigate the interplay of behaviour, interaction and dynamics in the context of the BIP component framework, here denoted BI(P), as we disregard priorities. We introduce two extensions of BIP: 1) reconfigurable BI(P) allows to reconfigure the set of admissible interactions, while preserving the set of interacting components; 2) dynamic BI(P) allows to spawn new components and interactions during execution. Our main technical results show that reconfigurable BI(P) is as expressive as BI(P), while dynamic BI(P) allows to deal with infinite state systems. Still, we show that reachability remains decidable for dynamic BI(P). © 2014 Springer-Verlag Berlin Heidelberg. 2014 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v8373_n_p382_Bruni http://hdl.handle.net/20.500.12110/paper_03029743_v8373_n_p382_Bruni
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Computer science
Computers
Component framework
Infinite state systems
New components
Reachability
Reconfigurable
Software connectors
Artificial intelligence
spellingShingle Computer science
Computers
Component framework
Infinite state systems
New components
Reachability
Reconfigurable
Software connectors
Artificial intelligence
Behaviour, interaction and dynamics
topic_facet Computer science
Computers
Component framework
Infinite state systems
New components
Reachability
Reconfigurable
Software connectors
Artificial intelligence
description The growth and diffusion of reconfigurable and adaptive systems motivate the foundational study of models of software connectors that can evolve dynamically, as opposed to the better understood notion of static connectors. In this paper we investigate the interplay of behaviour, interaction and dynamics in the context of the BIP component framework, here denoted BI(P), as we disregard priorities. We introduce two extensions of BIP: 1) reconfigurable BI(P) allows to reconfigure the set of admissible interactions, while preserving the set of interacting components; 2) dynamic BI(P) allows to spawn new components and interactions during execution. Our main technical results show that reconfigurable BI(P) is as expressive as BI(P), while dynamic BI(P) allows to deal with infinite state systems. Still, we show that reachability remains decidable for dynamic BI(P). © 2014 Springer-Verlag Berlin Heidelberg.
title Behaviour, interaction and dynamics
title_short Behaviour, interaction and dynamics
title_full Behaviour, interaction and dynamics
title_fullStr Behaviour, interaction and dynamics
title_full_unstemmed Behaviour, interaction and dynamics
title_sort behaviour, interaction and dynamics
publishDate 2014
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v8373_n_p382_Bruni
http://hdl.handle.net/20.500.12110/paper_03029743_v8373_n_p382_Bruni
_version_ 1768545736808464384

Ejemplares similares