Integrating Formal Reasoning Into Component-Based Approach To Reconfigurable Distributed Systems