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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:International Conference on Software Engineering: Proceedings of the 26th International Conference on Software Engineering; 23-28 May 2004 s. 179 - 188
Hlavní autoři: Skene, James, Lamanna, D. Davide, Emmerich, Wolfgang
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: Washington, DC, USA IEEE Computer Society 23.05.2004
Edice:ACM Conferences
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
Bibliografie:SourceType-Conference Papers & Proceedings-1
ObjectType-Conference Paper-1
content type line 25
ISBN:9780769521633
0769521630
ISSN:0270-5257
DOI:10.5555/998675.999422