Precise Service Level Agreements

SLAng is an XML language for defining service level agreements, the part of a contract between the client and provider of an Internet service that describes the quality attributes that the service is required to possess. We define the semantics of SLAng precisely by modelling the syntax of the language in UML, then embedding the language model in an environmental model that describes the structure and behaviour of services. The presence of SLAng elements imposes behavioural constraints on service elements, and the precise definition of these constraints using OCL constitutes the semantic description of the language. We use the semantics to define a notion of SLA compatibility, and an extension to UML that enables the modelling of service situations as a precursor to analysis, implementation and provisioning activities.

• Type: Conference
• Year: 2004
• Where: ICSE
• Authors: James Skene, D. Davide Lamanna, Wolfgang Emmerich
• Keywords: ICSE 2004, Language Model, Service Elements, SLAng Elements, Software Engineering