%0 Conference Proceedings
%T Weighted PCL over Product Valuation Monoids
%+ Aristotle University of Thessaloniki
%+ Department of Mathematics
%A Karyoti, Vagia
%A Paraponiari, Paulina
%Z Part 8: Modelling
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 22th International Conference on Coordination Languages and Models (COORDINATION)
%C Valletta, Malta
%Y Simon Bliudze
%Y Laura Bocchi
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-12134
%P 301-319
%8 2020-06-15
%D 2020
%R 10.1007/978-3-030-50029-0_19
%K Software architectures
%K Configuration logics
%K Product valuation monoids
%K Weighted configuration logics
%K Quantitative features
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-03273981/document
%2 https://inria.hal.science/hal-03273981/file/495623_1_En_19_Chapter.pdf
%L hal-03273981
%U https://inria.hal.science/hal-03273981
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-12134