We study a logic adapted for the purpose of specifying component based systems with support for run time reconfiguration. In particular, we analyse some institutional properties of this logic, related to compositional reasoning in specifications. The logic is an adaptation of the Manna-Pnueli logic, a first-order temporal logic originally proposed to describe reactive systems. We present our variant in detail, and motivate the required extensions by showing how reconfigurable systems can be specified and how reasoning can be carried out in the presence of these properties. Some issues regarding the use of STeP for proof support are discussed. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Aguirre, N., & Maibaum, T. (2004). Some institutional requirements for temporal reasoning on dynamic reconfiguration of component based systems. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2772, 407–435. https://doi.org/10.1007/978-3-540-39910-0_20
Mendeley helps you to discover research relevant for your work.