Declarative configuration management for complex and dynamic networks