Conference
A Logical Basis for the Specification of Reconfigurable Component-Based Systems
Abstract
We present a logic and a prototypical specification language for specifying and reasoning about component-based systems with support for dynamic, i.e., run-time, architectural reconfiguration.We present the logic, an adaptation of an existing one proposed for specifying reactive systems, and some results that demonstrate its suitability for the specification of reconfigurable systems.We then explicate how the specification language can be used …
Authors
Aguirre N; Maibaum T
Series
Lecture Notes in Computer Science
Volume
2621
Pagination
pp. 37-51
Publisher
Springer Nature
Publication Date
2003
DOI
10.1007/3-540-36578-8_4
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743