乘积赋值幺半群上的加权PCL
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
