Component Reconfiguration in the Presence of Conflicts

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-00909336
Contributor : Davide Sangiogi <>
Submitted on : Tuesday, November 26, 2013 - 10:52:53 AM
Last modification on : Friday, January 4, 2019 - 5:32:58 PM
Long-term archiving on : Monday, March 3, 2014 - 4:12:12 PM

File

icalp-2013.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

311

Files downloads

212