The document discusses model-driven distributed software deployment. It introduces the Nix deployment system and proposes Disnix, an extension that allows distributed deployment. Disnix uses three models - services, infrastructure, and distribution - to model a distributed system. It employs a two-phase commit algorithm to allow distributed and atomic upgrades. The document also describes adapting an existing distributed system called SDS2 to be deployable with Disnix, including modifying dependencies and implementing a lookup service. The adaptation demonstrated automatic deployment of SDS2 across multiple machines.