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

03/01/2023
by   George Rahonis, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset