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 to specify a reconfigurable (sub)system via layers defining component templates, association/connector templates and a layer specifying reconfiguration operations used to dynamically change the system architecture. We also illustrate the expressive power and proof capabilities of the logic. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Aguirre, N., & Maibaum, T. (2003). A logical basis for the specification of reconfigurable component-based systems. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2621, 37–51. https://doi.org/10.1007/3-540-36578-8_4
Mendeley helps you to discover research relevant for your work.