SLAng: A language for defining service level agreements | Synapse