Weighted PCL over Product Valuation Monoids - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

Weighted PCL over Product Valuation Monoids


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.
Fichier principal
Vignette du fichier
495623_1_En_19_Chapter.pdf (397.59 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03273981 , version 1 (29-06-2021)





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⟩
18 View
2 Download



Gmail Facebook X LinkedIn More