Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, June 29, 2021 - 4:12:33 PM
Last modification on : Tuesday, June 29, 2021 - 4:30:52 PM
Long-term archiving on: : Thursday, September 30, 2021 - 7:12:13 PM


 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2023-01-01

Please log in to resquest access to the document


Distributed under a Creative Commons Attribution 4.0 International License



Vagia Karyoti, Paulina Paraponiari. Weighted PCL over Product Valuation Monoids. 22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.301-319, ⟨10.1007/978-3-030-50029-0_19⟩. ⟨hal-03273981⟩



Record views