Component Reconfiguration in the Presence of Conflicts

Roberto Di Cosmo (1) , Jacopo Mauro (2, 3) , Stefano Zacchiroli (1) , Gianluigi Zavattaro (2, 3)

1 PPS - Preuves, Programmes et Systèmes
2 DISI - Department of Computer Science and Engineering [Bologna]
3 FOCUS - Foundations of Component-based Ubiquitous Systems

Components are traditionally modeled as black-boxes equipped with interfaces that indicate provided/required ports and, often, also conflicts with other components that cannot coexist with them. In modern tools for automatic system management, components become grey-boxes that show relevant internal states and the possible actions that can be acted on the components to change such state during the deployment and reconfiguration phases. However, state-of-the-art tools in this field do not support a systematic management of conflicts. In this paper we investigate the impact of conflicts by precisely characterizing the increment of complexity on the reconfiguration problem.

Domaines: Informatique

Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro. Component Reconfiguration in the Presence of Conflicts. ICALP - International Colloquium on Automata, Languages and Programming - 2013, 2013, Riga, Latvia. pp.187-198, ⟨10.1007/978-3-642-39212-2_19⟩. ⟨hal-00909336⟩