Language Support For Service-Level Agreements For Application-Service Provision