Weighted propositional configuration logics: A specification language for architectures with quantitative features
Logic in Computer Science
2020-01-20 v6
Abstract
We introduce and investigate a weighted propositional configuration logic over commutative semirings. Our logic is intended to serve as a specification language for software architectures with quantitative features. We prove an efficient construction of full normal forms and decidability of equivalence of formulas in this logic. We illustrate the motivation of this work by describing well-known architectures equipped with quantitative characteristics using formulas in our logic.
Cite
@article{arxiv.1704.04969,
title = {Weighted propositional configuration logics: A specification language for architectures with quantitative features},
author = {Paulina Paraponiari and George Rahonis},
journal= {arXiv preprint arXiv:1704.04969},
year = {2020}
}
Comments
25 pages, 5 figures