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

George Rahonis, Melpomeni Soula

We investigate dynamic reconfigurable component-based systems whose architectures are described by formulas of Propositional Configuration Logics. We present several examples of re…