Behaviour, Interaction and Dynamicity

ROBERTO BRUNI; HERNÁN MELGRATTI; UGO MONTANARI

LECTURE NOTES IN COMPUTER SCIENCE

Springer

Año: 2013

0302-9743

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 dynamicity 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 com- ponents 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 many properties, like reachability, remain decidable for dynamic BI(P).