Component reconfiguration in the presence of conflicts

  • Authors:

  • Roberto Di Cosmo;Jacopo Mauro;Stefano Zacchiroli;Gianluigi Zavattaro

  • Affiliations:

  • Sorbonne Paris Cité, PPS, UMR 7126, CNRS, Univ Paris Diderot, Paris, France;Focus Team, Univ of Bologna/INRIA, Bologna, Italy;Sorbonne Paris Cité, PPS, UMR 7126, CNRS, Univ Paris Diderot, Paris, France;Focus Team, Univ of Bologna/INRIA, Bologna, Italy

  • Venue:
  • ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

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.