We introduce and investigate a weighted propositional configuration logic over De Morgan algebras. This logic is able to describe software architectures with quantitative features such as the uncertainty of the interactions that occur in the architecture. We deal with the equivalence problem of formulas in our logic by proving that every formula can be written in a specific form. To our surprise, there are formulas which are equivalent only over specific De Morgan algebras. We provide examples of formulas in our logic which describe well-known software architectures equipped with quantitative features.
翻译:我们引入并调查德摩根代数的加权参数配置逻辑。 这种逻辑可以描述具有数量特征的软件结构,例如结构中相互作用的不确定性。 我们通过证明每种公式都可以以特定的形式写成,来解决逻辑中公式的等同问题。 令我们惊讶的是,有些公式只相当于特定的德摩根代数。 我们提供了我们逻辑中描述具有数量特征的著名软件结构的公式实例。