Modelling Uncertainty in Architectures of Parametric Component-Based Systems

DOI10.1142/S0129054123450028MaRDI QIDQ6072401zbMATH OpenOpenAlexFDO

Authors 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 modellingfuzzy extended interaction logicsparametric component-based systemsuncertainty of architectures

Mathematics Subject Classification ID

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

Cites work

• Architecture diagrams: a graphical language for architecture style specification
• Automata theory and its applications
• Binary session types for psi-calculi
• Checking deadlock-freedom of parametric component-based systems
• Configuration logics: modeling architecture styles
• Decidability of parameterized verification
• Elements of automata theory. Translated from the French by Reuben Thomas
• Fuzzy languages
• Fuzzy sets
• Handbook of weighted automata
• scientific article; zbMATH DE number 5366670 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 3511563 (Why is no real title available?)
• scientific article; zbMATH DE number 1862743 (Why is no real title available?)
• scientific article; zbMATH DE number 7471686 (Why is no real title available?)
• On aperiodic and star-free formal power series in partially commuting variables
• Parameterized model checking of rendezvous systems
• Parameterized systems in BIP: design and model checking
• Privacy-preserving attribute-keyword based data publish-subscribe service on cloud platforms
• Software reliability models incorporating testing effort
• Specifying properties of dynamic architectures using configuration traces
• Structural Invariants for the Verification of Systems with Parameterized Architectures
• The Algebra of Connectors—Structuring Interaction in BIP
• Weighted automata and multi-valued logics over arbitrary bounded lattices
• Weighted propositional configuration logics: a specification language for architectures with quantitative features

Cited in

(2)

• scientific article; zbMATH DE number 1342063 (Why is no real title available?)
• scientific article; zbMATH DE number 7471686 (Why is no real title available?)

This page was built for publication: Modelling Uncertainty in Architectures of Parametric Component-Based Systems

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