On recovering from run-time misbehaviour in ADR

zbMATH Open1464.68089arXiv1310.4574MaRDI QIDQ4994124FDOQ4994124

Authors: Kyriakos Poyias, Emilio Tuosto 

Publication date: 17 June 2021

Full work available at URL: https://arxiv.org/abs/1310.4574

Recommendations

• Enforcing architectural styles in presence of unexpected distributed reconfigurations
• Hierarchical design rewriting with Maude
• scientific article; zbMATH DE number 2050823
• Runtime verification for dynamic architectures
• On the verification of architectural reconfigurations

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Cited In (3)

• Hierarchical design rewriting with Maude
• Safer asynchronous runtime monitoring using compensations
• Enforcing architectural styles in presence of unexpected distributed reconfigurations

This page was built for publication: On recovering from run-time misbehaviour in ADR

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