Configuration logics: modeling architecture styles

DOI10.1016/J.JLAMP.2016.05.002MaRDI QIDQ347359zbMATH OpenOpenAlexFDO

Authors Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis

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

coordinationarchitecture stylesBIPcomponent interactionconfiguration logics

Mathematics Subject Classification ID

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

Recommendations

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

Cites work

• scientific article; zbMATH DE number 5605133 (Why is no real title available?)
• scientific article; zbMATH DE number 48148 (Why is no real title available?)
• scientific article; zbMATH DE number 1947731 (Why is no real title available?)
• A context-sensitive graph grammar formalism for the specification of visual languages
• Causal semantics for the algebra of connectors
• Connector rewriting with high-level replacement systems
• Foundations of Software Science and Computation Structures
• Handbook of Graph Grammars and Computing by Graph Transformation
• Modeling dynamic reconfigurations in Reo using high-level replacement systems
• Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
• The Algebra of Connectors—Structuring Interaction in BIP

Cited in

(13)

• Fuzzy Propositional Configuration Logics
• Specifying properties of dynamic architectures using configuration traces
• Architecture diagrams: a graphical language for architecture style specification
• scientific article; zbMATH DE number 2087389 (Why is no real title available?)
• scientific article; zbMATH DE number 2087515 (Why is no real title available?)
• Decision problems in a logic for reasoning about reconfigurable distributed systems
• A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures
• Verification of component-based systems with recursive architectures
• Modelling Uncertainty in Architectures of Parametric Component-Based Systems
• scientific article; zbMATH DE number 7471686 (Why is no real title available?)
• 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)