Kompilierbare Konfiguration eines verteilten Systems