Component reconfiguration in the presence of conflicts. Technical report of the Aeolus project

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: Génie logiciel [cs.SE]; Théorie et langage formel [cs.FL]

Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro. Component reconfiguration in the presence of conflicts. Technical report of the Aeolus project. 2013. ⟨hal-00816468⟩