Dynamic reconfiguration of component-based systems described by propositional configuration logic

03/01/2023

∙

by   George Rahonis, et al.

∙

0

∙

share

We investigate dynamic reconfigurable component-based systems whose architectures are described by formulas of Propositional Configuration Logics. We present several examples of reconfigurable systems based on well-known architectures, and state preliminary decidability results.