On the Complexity of Reconfiguration in Systems with Legacy Components - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2015

On the Complexity of Reconfiguration in Systems with Legacy Components

Résumé

In previous works we have proved that component reconfig-uration in the presence of conflicts among components is non-primitive recursive, while it becomes poly-time if there are no conflicts and under the assumption that there are no components in the initial configuration. The case with non-empty initial configurations was left as an open problem, that we close in this paper by showing that, if there are legacy components that cannot be generated from scratch, the problem turns out to be PSpace-complete.
Fichier principal
Vignette du fichier
main.pdf (430.01 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01233482 , version 1 (25-11-2015)

Identifiants

Citer

Jacopo Mauro, Gianluigi Zavattaro. On the Complexity of Reconfiguration in Systems with Legacy Components. MFCS, Aug 2015, Milan, Italy. pp.382--393, ⟨10.1007/978-3-662-48057-1_30⟩. ⟨hal-01233482⟩
75 Consultations
124 Téléchargements

Altmetric

Partager

More