A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems**This work was partially supported by the Engineering and Physical Sciences Research Council of the UK, Grant Nr. GR/N00814.

We propose a formal specification language for dynamically reconfigurable component-based systems, based on temporal logic. The main aim of the language is to allow one to specify behaviours of component-based systems declaratively, with special emphasis on behaviours in which the architectural structure of the system changes dynamically. Due to the semantics and organisation of our language, it is straightforward to hierarchically build …