Component Reconfiguration in the Presence of Conflicts - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Component Reconfiguration in the Presence of Conflicts


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.
Fichier principal
Vignette du fichier
icalp-2013.pdf (234.62 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00909336 , version 1 (26-11-2013)



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⟩
144 View
162 Download



Gmail Facebook X LinkedIn More