Architecture diagrams: a graphical language for architecture style specification

MaRDI QIDQ5216331zbMATH OpenFDO

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

Publication date 17 February 2020

Full work available at URL https://arxiv.org/abs/1608.03324, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2016.6

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Configuration logics: modeling architecture styles
• Specification diagrams for actor systems
• Languages for formalizing, visualizing and verifying software architectures
• scientific article; zbMATH DE number 1303990
• scientific article; zbMATH DE number 2016065

Cited in

(5)

• Runtime verification for dynamic architectures
• SMT-based generation of symbolic automata
• scientific article; zbMATH DE number 7471686 (Why is no real title available?)
• Modelling Uncertainty in Architectures of Parametric Component-Based Systems
• A Theory of Architectural Design Patterns

This page was built for publication: Architecture diagrams: a graphical language for architecture style specification

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