Fuzzy propositional configuration logics

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.

[1]  Weighted PCL over Product Valuation Monoids , 2020, COORDINATION.

[2]  Nelly Bencomo,et al.  RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems , 2009, 2009 17th IEEE International Requirements Engineering Conference.

[3]  Brian A. Davey,et al.  Introduction to Lattices and Order: Frontmatter , 2002 .

[4]  David Garlan,et al.  Software engineering in an uncertain world , 2010, FoSER '10.

[5]  J. Mordeson,et al.  Fuzzy Automata and Languages: Theory and Applications , 2002 .

[6]  M. Droste,et al.  Handbook of Weighted Automata , 2009 .

[7]  George Rahonis,et al.  On Weighted Configuration Logics , 2017, FACS.

[8]  Rüdiger Schollmeier,et al.  A definition of peer-to-peer networking for the classification of peer-to-peer architectures and applications , 2001, Proceedings First International Conference on Peer-to-Peer Computing.

[9]  Joseph Sifakis,et al.  Configuration logics: Modeling architecture styles , 2017, J. Log. Algebraic Methods Program..

[10]  Petr Hájek,et al.  On Logics of Approximate Reasoning , 1992, Logic at Work.

[11]  J. Goguen.  L-fuzzy sets , 1967 .

[12]  Shahzadi Tayyaba,et al.  Fuzzy-Based Approach Using IoT Devices for Smart Home to Assist Blind People for Navigation , 2020, Sensors.

[13]  Earl T. Barr,et al.  Uncertainty, risk, and information value in software requirements and architecture , 2014, ICSE.

[14]  Sam Malek,et al.  Dealing with uncertainty in early software architecture , 2012, SIGSOFT FSE.

[15]  Katerina Goseva-Popstojanova,et al.  Architecture-based approaches to software reliability prediction , 2003 .

[16]  Joseph Sifakis,et al.  Configuration Logics: Modelling Architecture Styles , 2015, FACS.

[17]  J. A. Kalman,et al.  Lattices with involution , 1958 .

[18]  Manfred Droste,et al.  Multi-Valued MSO Logics OverWords and Trees , 2008, Fundam. Informaticae.

[19]  Chawanangwa Lupafya.  A framework for managing uncertainty in software architecture , 2019, ECSA.

[20]  Ali Sunyaev,et al.  Internet Computing: Principles of Distributed Systems and Emerging Internet-Based Technologies , 2020 .

[21]  Lars Grunske,et al.  Architecture-based reliability evaluation under uncertainty , 2011, QoSA-ISARCS '11.

[22]  Refractor.  Uncertainty , 2001, The Lancet.

[23]  George Rahonis,et al.  Weighted propositional configuration logics: A specification language for architectures with quantitative features. , 2017 .

[24]  Mai Gehrke,et al.  A Mathematical Setting for Fuzzy Logics , 1997, Int. J. Uncertain. Fuzziness Knowl. Based Syst..