Behaviour, Interaction and Dynamics

Autores
Bruni, Roberto; Melgratti, Hernan Claudio; Montanari, Ugo
Año de publicación
2014
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
The growth and diffusion of reconfigurable and adaptive sys- tems motivate the foundational study of models of software connectors that can evolve dynamically, as opposed to the better understood no- tion of static connectors. In this paper we investigate the interplay of behaviour, interaction and dynamics in the context of the BIP com- ponent framework, here denoted BI(P), as we disregard priorities. We introduce two extensions of BIP: 1) reconfigurable BI(P) allows to re- configure the set of admissible interactions, while preserving the set of interacting components; 2) dynamic BI(P) allows to spawn new compo- nents 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).
Fil: Bruni, Roberto. Università degli Studi di Pisa; Italia
Fil: Melgratti, Hernan Claudio. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Montanari, Ugo. Università degli Studi di Pisa; Italia
Materia
Concurrencia
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/41630
Acceder
id CONICETDig_268874f101fb713d30eb753a8cf3aaf9
oai_identifier_str oai:ri.conicet.gov.ar:11336/41630
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Behaviour, Interaction and DynamicsBruni, RobertoMelgratti, Hernan ClaudioMontanari, UgoConcurrenciahttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1The growth and diffusion of reconfigurable and adaptive sys- tems motivate the foundational study of models of software connectors that can evolve dynamically, as opposed to the better understood no- tion of static connectors. In this paper we investigate the interplay of behaviour, interaction and dynamics in the context of the BIP com- ponent framework, here denoted BI(P), as we disregard priorities. We introduce two extensions of BIP: 1) reconfigurable BI(P) allows to re- configure the set of admissible interactions, while preserving the set of interacting components; 2) dynamic BI(P) allows to spawn new compo- nents 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).Fil: Bruni, Roberto. Università degli Studi di Pisa; ItaliaFil: Melgratti, Hernan Claudio. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Montanari, Ugo. Università degli Studi di Pisa; ItaliaSpringer2014-04info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/41630Bruni, Roberto; Melgratti, Hernan Claudio; Montanari, Ugo; Behaviour, Interaction and Dynamics; Springer; Lecture Notes in Computer Science; 8373; 4-2014; 382-4010302-9743CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/https://link.springer.com/chapter/10.1007/978-3-642-54624-2_19info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-54624-2_19info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-10-15T14:25:00Zoai:ri.conicet.gov.ar:11336/41630instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-10-15 14:25:01.023CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Behaviour, Interaction and Dynamics
title Behaviour, Interaction and Dynamics
spellingShingle Behaviour, Interaction and Dynamics
Bruni, Roberto
Concurrencia
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
dc.creator.none.fl_str_mv Bruni, Roberto
Melgratti, Hernan Claudio
Montanari, Ugo
author Bruni, Roberto
author_facet Bruni, Roberto
Melgratti, Hernan Claudio
Montanari, Ugo
author_role author
author2 Melgratti, Hernan Claudio
Montanari, Ugo
author2_role author
author
dc.subject.none.fl_str_mv Concurrencia
topic Concurrencia
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv The growth and diffusion of reconfigurable and adaptive sys- tems motivate the foundational study of models of software connectors that can evolve dynamically, as opposed to the better understood no- tion of static connectors. In this paper we investigate the interplay of behaviour, interaction and dynamics in the context of the BIP com- ponent framework, here denoted BI(P), as we disregard priorities. We introduce two extensions of BIP: 1) reconfigurable BI(P) allows to re- configure the set of admissible interactions, while preserving the set of interacting components; 2) dynamic BI(P) allows to spawn new compo- nents 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).
Fil: Bruni, Roberto. Università degli Studi di Pisa; Italia
Fil: Melgratti, Hernan Claudio. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Montanari, Ugo. Università degli Studi di Pisa; Italia
description The growth and diffusion of reconfigurable and adaptive sys- tems motivate the foundational study of models of software connectors that can evolve dynamically, as opposed to the better understood no- tion of static connectors. In this paper we investigate the interplay of behaviour, interaction and dynamics in the context of the BIP com- ponent framework, here denoted BI(P), as we disregard priorities. We introduce two extensions of BIP: 1) reconfigurable BI(P) allows to re- configure the set of admissible interactions, while preserving the set of interacting components; 2) dynamic BI(P) allows to spawn new compo- nents 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).
publishDate 2014
dc.date.none.fl_str_mv 2014-04
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/41630
Bruni, Roberto; Melgratti, Hernan Claudio; Montanari, Ugo; Behaviour, Interaction and Dynamics; Springer; Lecture Notes in Computer Science; 8373; 4-2014; 382-401
0302-9743
CONICET Digital
CONICET
url http://hdl.handle.net/11336/41630
identifier_str_mv Bruni, Roberto; Melgratti, Hernan Claudio; Montanari, Ugo; Behaviour, Interaction and Dynamics; Springer; Lecture Notes in Computer Science; 8373; 4-2014; 382-401
0302-9743
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/chapter/10.1007/978-3-642-54624-2_19
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-54624-2_19
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Springer
publisher.none.fl_str_mv Springer
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1846082679028580352
score 12.891075

Publicaciones similares