On the verification of architectural reconfigurations

DOI10.1016/j.cl.2015.07.001zbMath1387.68071OpenAlexW1241911937MaRDI QIDQ1749140

Alexandre Madeira, Luís Soares Barbosa, Alejandro D. Sánchez

Publication date: 15 May 2018

Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave)

Full work available at URL: http://repositorio.inesctec.pt/handle/123456789/6311

zbMATH Keywords

modal logicarchitectural description languagearchitectural reconfigurationgraded hybrid logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Interactive verification of architectural design patterns in FACTum

Cites Work

• On bisimulations for description logics
• Structural reconfiguration of systems under behavioral adaptation
• Refinement in hybridised institutions
• Hybrid logics: characterization, interpolation and complexity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item