A Logical Basis for the Specification of Reconfigurable Component-Based Systems