Modelling Uncertainty in Architectures of Parametric Component-Based Systems

DOI10.1142/s0129054123450028OpenAlexW4377822230MaRDI QIDQ6072401

Maria Pittou, George Rahonis

Publication date: 13 October 2023

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054123450028

zbMATH Keywords

architecture modellingparametric component-based systemsfuzzy extended interaction logicsuncertainty of architectures

Mathematics Subject Classification ID

Theory of computing (68Qxx) General logic (03Bxx) Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Configuration logics: modeling architecture styles
• Weighted automata and multi-valued logics over arbitrary bounded lattices
• Handbook of weighted automata
• On aperiodic and star-free formal power series in partially commuting variables
• Parameterized model checking of rendezvous systems
• Software reliability models incorporating testing effort
• Checking deadlock-freedom of parametric component-based systems
• Weighted propositional configuration logics: a specification language for architectures with quantitative features
• Privacy-preserving attribute-keyword based data publish-subscribe service on cloud platforms
• Binary Session Types for Psi-Calculi
• Specifying Properties of Dynamic Architectures Using Configuration Traces
• The Algebra of Connectors—Structuring Interaction in BIP
• Decidability of Parameterized Verification
• Parameterized Systems in BIP: Design and Model Checking
• Structural Invariants for the Verification of Systems with Parameterized Architectures
• Fuzzy Languages
• Fuzzy sets
• Automata theory and its applications