Behaviour, Interaction and Dynamics

ROBERTO BRUNI; HERNÁN MELGRATTI; UGO MONTANARI

LECTURE NOTES IN COMPUTER SCIENCE

Springer

Año: 2014

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 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).