Conference
Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems
Abstract
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 …
Authors
Aguirre N; Maibaum T
Series
Lecture Notes in Computer Science
Volume
2772
Pagination
pp. 407-435
Publisher
Springer Nature
Publication Date
2003
DOI
10.1007/978-3-540-39910-0_20
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743