Specifying properties of dynamic architectures using configuration traces

DOI10.1007/978-3-319-46750-4_14MaRDI QIDQ3179403zbMATH OpenOpenAlexFDO

Authors Diego Marmsoler, Mario Gleirscher

Publication date 21 December 2016

Published in Theoretical Aspects of Computing – ICTAC 2016 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-46750-4_14

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)

Recommendations

• On Activation, Connection, and Behavior in Dynamic Architectures
• Towards a calculus for dynamic architectures
• Formal specification and verification of dynamic parametrized architectures
• Runtime verification for dynamic architectures
• Configuration logics: modeling architecture styles

Cites work

• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 176489 (Why is no real title available?)
• scientific article; zbMATH DE number 977452 (Why is no real title available?)
• A model of dynamic systems
• Isabelle/HOL. A proof assistant for higher-order logic
• Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting
• Two graph-based techniques for software architecture reconfiguration

Cited in

(7)

• Interactive verification of architectural design patterns in FACTum
• Formal specification and verification of dynamic parametrized architectures
• Towards a calculus for dynamic architectures
• Runtime verification for dynamic architectures
• Modelling Uncertainty in Architectures of Parametric Component-Based Systems
• scientific article; zbMATH DE number 7471686 (Why is no real title available?)
• APML: an architecture proof modeling language

Describes a project that uses

Uses Software

• HOL
• Isar
• Isabelle/HOL
• Rapide
• Isabelle

This page was built for publication: Specifying properties of dynamic architectures using configuration traces

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