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

https://hal.inria.fr/hal-03273981
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

File

 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

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

11