Registro completo de metadatos
| Campo DC | Valor | Lengua/Idioma |
|---|---|---|
| dc.creator | Bruni, Roberto | - |
| dc.creator | Melgratti, Hernan Claudio | - |
| dc.creator | Montanari, Ugo | - |
| dc.date | 2018-04-10T20:39:50Z | - |
| dc.date | 2018-04-10T20:39:50Z | - |
| dc.date | 2014-04 | - |
| dc.date | 2017-12-29T14:19:15Z | - |
| dc.date.accessioned | 2019-04-29T15:41:49Z | - |
| dc.date.available | 2019-04-29T15:41:49Z | - |
| dc.date.issued | 2014-04 | - |
| dc.identifier | Bruni, Roberto; Melgratti, Hernan Claudio; Montanari, Ugo; Behaviour, Interaction and Dynamics; Springer; Lecture Notes in Computer Science; 8373; 4-2014; 382-401 | - |
| dc.identifier | 0302-9743 | - |
| dc.identifier | http://hdl.handle.net/11336/41630 | - |
| dc.identifier | CONICET Digital | - |
| dc.identifier | CONICET | - |
| dc.identifier.uri | http://rodna.bn.gov.ar:8080/jspui/handle/bnmm/299793 | - |
| dc.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). | - |
| dc.description | Fil: Bruni, Roberto. Università degli Studi di Pisa; Italia | - |
| dc.description | 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 | - |
| dc.description | Fil: Montanari, Ugo. Università degli Studi di Pisa; Italia | - |
| dc.format | application/pdf | - |
| dc.format | application/pdf | - |
| dc.language | eng | - |
| dc.publisher | Springer | - |
| dc.relation | info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/chapter/10.1007/978-3-642-54624-2_19 | - |
| dc.relation | info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/978-3-642-54624-2_19 | - |
| dc.rights | info:eu-repo/semantics/restrictedAccess | - |
| dc.rights | https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | - |
| dc.source | reponame:CONICET Digital (CONICET) | - |
| dc.source | instname:Consejo Nacional de Investigaciones Científicas y Técnicas | - |
| dc.source | instacron:CONICET | - |
| dc.subject | Concurrencia | - |
| dc.subject | Ciencias de la Computación | - |
| dc.subject | Ciencias de la Computación e Información | - |
| dc.subject | CIENCIAS NATURALES Y EXACTAS | - |
| dc.title | Behaviour, Interaction and Dynamics | - |
| dc.type | info:eu-repo/semantics/article | - |
| dc.type | info:eu-repo/semantics/publishedVersion | - |
| dc.type | info:ar-repo/semantics/articulo | - |
| Aparece en las colecciones: | CONICET | |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.