论文标题
加权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.
