Abstractions for software-defined networks | Synapse