TY - GEN
T1 - Component reconfiguration in the presence of conflicts
AU - Di Cosmo, Roberto
AU - Mauro, Jacopo
AU - Zacchiroli, Stefano
AU - Zavattaro, Gianluigi
PY - 2013/7/23
Y1 - 2013/7/23
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-642-39212-2_19
DO - 10.1007/978-3-642-39212-2_19
M3 - Article in proceedings
AN - SCOPUS:84880271211
SN - 9783642392115
T3 - Lecture Notes in Computer Science
SP - 187
EP - 198
BT - Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Proceedings
T2 - 40th International Colloquium on Automata, Languages, and Programming, ICALP 2013
Y2 - 8 July 2013 through 12 July 2013
ER -