Some institutional requirements for temporal reasoning on dynamic reconfiguration of component based systems

DOI10.1007/B12001MaRDI QIDQ5305652zbMATH OpenOpenAlexFDO

Authors Nazareno Aguirre, Tim Maibaum

Publication date 23 March 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b12001

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 1956478
• scientific article; zbMATH DE number 860045
• When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations
• A basic logic for reasoning about connector reconfiguration
• Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting

Cited in

(5)

• A basic logic for reasoning about connector reconfiguration
• scientific article; zbMATH DE number 1956478 (Why is no real title available?)
• Default \(\alpha \)-logic for modeling customizable failure semantics in workflow systems using dynamic reconfiguration constraints
• Dynamic Reconfiguration via Typed Modalities
• When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations

This page was built for publication: Some institutional requirements for temporal reasoning on dynamic reconfiguration of component based systems

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