SLA: An abstract syntax for Service Level Agreements | Synapse