AbstractComponent-based distributed systems are hard to deploy for two main reasons: the complexity of their structure and the complexity of the deployment tasks. Current tools do not manage these complexities properly because the descriptions that they allow lack of expressiveness. The absence of proper descriptions of system and component requirements makes it impossible to ensure safe installation and deinstallation. The goal of this paper is to present a formalization of deployment dependencies. These dependencies expressed in a logical language are associated with a deployment engine that allows installation and deinstallation of components in a system to be proved.