SLAC: A Formal Service-Level-Agreement Language for Cloud Computing | Synapse