Precise Service Level Agreements

SLAng is an XML language for defining service levelagreements, the part of a contract between the client andprovider of an Internet service that describes the quality attributesthat the service is required to possess. We definethe semantics of SLAng precisely by modelling the syntax ofthe language i...

Full description

Saved in:
Bibliographic Details
Published in:International Conference on Software Engineering: Proceedings of the 26th International Conference on Software Engineering; 23-28 May 2004 pp. 179 - 188
Main Authors: Skene, James, Lamanna, D. Davide, Emmerich, Wolfgang
Format: Conference Proceeding
Language:English
Published: Washington, DC, USA IEEE Computer Society 23.05.2004
Series:ACM Conferences
Subjects:
Applied computing > Document management and text processing > Document preparation
Applied sciences
Computer science; control theory; systems
Exact sciences and technology
Information systems > World Wide Web > Web applications
Information systems > World Wide Web > Web services
Software
Software and its engineering > Software notations and tools > Context specific languages > Specialized application languages
Software and its engineering > Software notations and tools > Formal language definitions > Semantics
Software and its engineering > Software notations and tools > Formal language definitions > Syntax
Software and its engineering > Software notations and tools > General programming languages > Language types
Software engineering
Theory of computation > Semantics and reasoning
Theory of computation > Semantics and reasoning > Program semantics
Description language
Software development
Web service
XML language
Proposals
Modeling
Precursor
Behavioral analysis
Semantics
Object constraint language
Object oriented
Unified modelling language
Compatibility
Contract
Service quality
ISBN:9780769521633, 0769521630
ISSN:0270-5257
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:SLAng is an XML language for defining service levelagreements, the part of a contract between the client andprovider of an Internet service that describes the quality attributesthat the service is required to possess. We definethe semantics of SLAng precisely by modelling the syntax ofthe language in UML, then relating the language model toa model that describes the structure and behaviour of services.The presence of SLAng elements imposes behaviouralconstraints on service elements, and the precise definitionof these constraints using OCL constitutes the semantic descriptionof the language. We use the semantics to define anotion of SLA compatibility, and an extension to UML thatenables the modelling of service situations as a precursorto analysis, implementation and provisioning activities.
Bibliography:SourceType-Conference Papers & Proceedings-1
ObjectType-Conference Paper-1
content type line 25
ISBN:9780769521633
0769521630
ISSN:0270-5257
DOI:10.5555/998675.999422