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

DOI10.1016/J.IC.2020.104647zbMATH Open1483.68088arXiv1704.04969OpenAlexW3099767129MaRDI QIDQ2064516FDOQ2064516

Paulina Paraponiari, George Rahonis

Publication date: 6 January 2022

Published in: Information and Computation (Search for Journal in Brave)

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 architectures equipped with quantitative characteristics using formulas in our logic.

Full work available at URL: https://arxiv.org/abs/1704.04969

zbMATH Keywords

software architecturespropositional configuration logicweighted propositional configuration logic

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Cites Work

• Metamathematics of fuzzy logic
• Handbook of weighted automata
• Configuration logics: modeling architecture styles
• Weighted automata and weighted MSO logics for average and long-time behaviors
• A general framework for architecture composability
• Privacy-preserving attribute-keyword based data publish-subscribe service on cloud platforms

Cited In (5)

• Fuzzy Propositional Configuration Logics
• A formal algebraic approach for the quantitative modeling of connectors in architectures
• Modelling Uncertainty in Architectures of Parametric Component-Based Systems
• Title not available (Why is that?)
• Weighted propositional configuration logic over De Morgan algebras

This page was built for publication: Weighted propositional configuration logics: a specification language for architectures with quantitative features

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2064516)