Dynamic reconfiguration of component-based systems described by propositional configuration logic
Logic in Computer Science
2023-03-08 v2
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.
Cite
@article{arxiv.2303.00794,
title = {Dynamic reconfiguration of component-based systems described by propositional configuration logic},
author = {George Rahonis and Melpomeni Soula},
journal= {arXiv preprint arXiv:2303.00794},
year = {2023}
}
Comments
17 pages, 6 figures