Weighted PCL over product valuation monoids
Abstract
We introduce a weighted propositional configuration logic over a product valuation monoid. Our logic is intended to serve as a specification language for software architectures with quantitative features such as the average of all interactions' costs of the architecture and the maximum cost among all costs occurring most frequently within a specific number of components in an architecture. We provide formulas of our logic which describe well-known architectures equipped with quantitative characteristics. Moreover, we prove an efficient construction of a full normal form which leads to decidability of equivalence of formulas in this logic.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2020
- DOI:
- 10.48550/arXiv.2002.10973
- arXiv:
- arXiv:2002.10973
- Bibcode:
- 2020arXiv200210973K
- Keywords:
-
- Computer Science - Logic in Computer Science
- E-Print:
- 22 pages, 3 figures. arXiv admin note: text overlap with arXiv:1704.04969