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

2023/03/01 by Rahonis, George, Soula, Melpomeni
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)

paper · doi:10.48550/arxiv.2303.00794

Abstract

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.

Related

• Local Reasoning about Parametric and Reconfigurable Component-based Systems
• Reasoning about Reconfigurations of Distributed Systems
• Fuzzy propositional configuration logics
• Weighted propositional configuration logics: A specification language for architectures with quantitative features
• Decision Problems in a Logic for Reasoning about Reconfigurable Distributed Systems