Configuration logics: modeling architecture styles

DOI10.1016/j.jlamp.2016.05.002zbMath1353.68055OpenAlexW2405958894MaRDI QIDQ347359

Eduard Baranov, Joseph Sifakis, Anastasia Mavridou, Simon Bliudze

Publication date: 30 November 2016

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2016.05.002

zbMATH Keywords

coordinationBIParchitecture stylescomponent interactionconfiguration logics

Mathematics Subject Classification ID

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

Related Items (8)

Modelling Uncertainty in Architectures of Parametric Component-Based Systems ⋮ Fuzzy Propositional Configuration Logics ⋮ Weighted propositional configuration logic over De Morgan algebras ⋮ Verification of component-based systems with recursive architectures ⋮ Unnamed Item ⋮ Formal reliability analysis of redundancy architectures ⋮ Weighted propositional configuration logics: a specification language for architectures with quantitative features ⋮ Decision problems in a logic for reasoning about reconfigurable distributed systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modeling dynamic reconfigurations in Reo using high-level replacement systems
• A Context-sensitive Graph Grammar Formalism for the Specification of Visual Languages
• Connector Rewriting with High-Level Replacement Systems
• Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
• Handbook of Graph Grammars and Computing by Graph Transformation
• The Algebra of Connectors—Structuring Interaction in BIP
• Foundations of Software Science and Computation Structures
• Causal semantics for the algebra of connectors

This page was built for publication: Configuration logics: modeling architecture styles