Showing 1–3 of 3 results for author: Paraponiari, P

Fuzzy propositional configuration logics

Authors: Paulina Paraponiari

Abstract: 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,… ▽ More 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. △ Less

Submitted 28 November, 2021; v1 submitted 9 June, 2021; originally announced June 2021.

Weighted PCL over product valuation monoids

Authors: Vagia Karyoti, Paulina Paraponiari

Abstract: 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 prov… ▽ More 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. △ Less

Submitted 20 April, 2020; v1 submitted 25 February, 2020; originally announced February 2020.

Comments: 22 pages, 3 figures. arXiv admin note: text overlap with arXiv:1704.04969

Weighted propositional configuration logics: A specification language for architectures with quantitative features

Authors: Paulina Paraponiari, George Rahonis

Abstract: We introduce and investigate a weighted propositional configuration logic over commutative semirings. Our logic is intended to serve as a specification language for software architectures with quantitative features. We prove an efficient construction of full normal forms and decidability of equivalence of formulas in this logic. We illustrate the motivation of this work by describing well-known ar… ▽ More We introduce and investigate a weighted propositional configuration logic over commutative semirings. Our logic is intended to serve as a specification language for software architectures with quantitative features. We prove an efficient construction of full normal forms and decidability of equivalence of formulas in this logic. We illustrate the motivation of this work by describing well-known architectures equipped with quantitative characteristics using formulas in our logic. △ Less

Submitted 17 January, 2020; v1 submitted 17 April, 2017; originally announced April 2017.

Comments: 25 pages, 5 figures