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.
Type de document :
Communication dans un congrès
Fedor V. Fomin and Rūsiņš Freivalds and Marta Kwiatkowska and David Peleg. ICALP - International Colloquium on Automata, Languages and Programming - 2013, 2013, Riga, Latvia. Springer, 7966, pp.187-198, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-39212-2_19〉
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00909336
Contributeur : Davide Sangiogi <>
Soumis le : mardi 26 novembre 2013 - 10:52:53
Dernière modification le : samedi 27 janvier 2018 - 01:31:36
Document(s) archivé(s) le : lundi 3 mars 2014 - 16:12:12

Fichier

icalp-2013.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

INRIA | PPS | USPC

Citation

Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro. Component Reconfiguration in the Presence of Conflicts. Fedor V. Fomin and Rūsiņš Freivalds and Marta Kwiatkowska and David Peleg. ICALP - International Colloquium on Automata, Languages and Programming - 2013, 2013, Riga, Latvia. Springer, 7966, pp.187-198, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-39212-2_19〉. 〈hal-00909336〉

Partager

Métriques

Consultations de la notice

233

Téléchargements de fichiers

128