Configuration logics: modeling architecture styles

DOI10.1016/J.JLAMP.2016.05.002zbMATH Open1353.68055OpenAlexW2405958894MaRDI QIDQ347359FDOQ347359

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

Recommendations

• Behavioural logics for configuration structures
• On modeling some software architectural styles
• Logical architectures and the object oriented approach
• scientific article

zbMATH Keywords

coordinationarchitecture stylesBIPcomponent interactionconfiguration logics

Mathematics Subject Classification ID

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

Cites Work

• Handbook of Graph Grammars and Computing by Graph Transformation
• 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
• Title not available (Why is that?)
• Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Algebra of Connectors—Structuring Interaction in BIP
• Foundations of Software Science and Computation Structures
• Causal semantics for the algebra of connectors

Cited In (10)

• Fuzzy Propositional Configuration Logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Decision problems in a logic for reasoning about reconfigurable distributed systems
• Modelling Uncertainty in Architectures of Parametric Component-Based Systems
• Verification of component-based systems with recursive architectures
• Title not available (Why is that?)
• Weighted propositional configuration logics: a specification language for architectures with quantitative features
• Weighted propositional configuration logic over De Morgan algebras
• Formal reliability analysis of redundancy architectures

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

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