SLAng: a language for defining service level agreements | IEEE Conference Publication | IEEE Xplore