Service-Level Agreements for Service-Oriented Computing

Allan Clark; Stephen Gilmore; Mirco Tribastone

doi:10.1007/978-3-642-03429-9_3

Service-Level Agreements for Service-Oriented Computing

Allan Clark, Stephen Gilmore, Mirco Tribastone

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Service-oriented computing is dynamic. There may be many possible service instances available for binding, leading to uncertainty about where service requests will execute. We present a novel Markovian process calculus which allows the formal expression of uncertainty about binding as found in service-oriented computing. We show how to compute meaningful quantitative information about the quality of service provided in such a setting. These numerical results can be used to allow the expression of accurate service-level agreements about service-oriented computing.

Original language	English
Title of host publication	Recent Trends in Algebraic Development Techniques
Subtitle of host publication	19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
Editors	Andrea Corradini, Ugo Montanari
Publisher	Springer
Pages	21-36
Number of pages	16
ISBN (Electronic)	978-3-642-03429-9
ISBN (Print)	978-3-642-03428-2
DOIs	https://doi.org/10.1007/978-3-642-03429-9_3
Publication status	Published - 2009

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin / Heidelberg
Volume	5486
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-642-03429-9_3

sla4socAccepted author manuscript, 266 KB

http://dx.doi.org/10.1007/978-3-642-03429-9_3

Cite this

Clark, A., Gilmore, S., & Tribastone, M. (2009). Service-Level Agreements for Service-Oriented Computing. In A. Corradini, & U. Montanari (Eds.), Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers (pp. 21-36). (Lecture Notes in Computer Science; Vol. 5486). Springer. https://doi.org/10.1007/978-3-642-03429-9_3

@inproceedings{d3cfa80b8e7045b69743efb950e8b9cd,

title = "Service-Level Agreements for Service-Oriented Computing",

abstract = "Service-oriented computing is dynamic. There may be many possible service instances available for binding, leading to uncertainty about where service requests will execute. We present a novel Markovian process calculus which allows the formal expression of uncertainty about binding as found in service-oriented computing. We show how to compute meaningful quantitative information about the quality of service provided in such a setting. These numerical results can be used to allow the expression of accurate service-level agreements about service-oriented computing.",

author = "Allan Clark and Stephen Gilmore and Mirco Tribastone",

year = "2009",

doi = "10.1007/978-3-642-03429-9_3",

language = "English",

isbn = "978-3-642-03428-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "21--36",

editor = "Andrea Corradini and Ugo Montanari",

booktitle = "Recent Trends in Algebraic Development Techniques",

address = "United Kingdom",

}

Clark, A, Gilmore, S & Tribastone, M 2009, Service-Level Agreements for Service-Oriented Computing. in A Corradini & U Montanari (eds), Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers. Lecture Notes in Computer Science, vol. 5486, Springer, pp. 21-36. https://doi.org/10.1007/978-3-642-03429-9_3

Service-Level Agreements for Service-Oriented Computing. / Clark, Allan; Gilmore, Stephen; Tribastone, Mirco.
Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers. ed. / Andrea Corradini; Ugo Montanari. Springer, 2009. p. 21-36 (Lecture Notes in Computer Science; Vol. 5486).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Service-Level Agreements for Service-Oriented Computing

AU - Clark, Allan

AU - Gilmore, Stephen

AU - Tribastone, Mirco

PY - 2009

Y1 - 2009

N2 - Service-oriented computing is dynamic. There may be many possible service instances available for binding, leading to uncertainty about where service requests will execute. We present a novel Markovian process calculus which allows the formal expression of uncertainty about binding as found in service-oriented computing. We show how to compute meaningful quantitative information about the quality of service provided in such a setting. These numerical results can be used to allow the expression of accurate service-level agreements about service-oriented computing.

AB - Service-oriented computing is dynamic. There may be many possible service instances available for binding, leading to uncertainty about where service requests will execute. We present a novel Markovian process calculus which allows the formal expression of uncertainty about binding as found in service-oriented computing. We show how to compute meaningful quantitative information about the quality of service provided in such a setting. These numerical results can be used to allow the expression of accurate service-level agreements about service-oriented computing.

U2 - 10.1007/978-3-642-03429-9_3

DO - 10.1007/978-3-642-03429-9_3

M3 - Conference contribution

SN - 978-3-642-03428-2

T3 - Lecture Notes in Computer Science

SP - 21

EP - 36

BT - Recent Trends in Algebraic Development Techniques

A2 - Corradini, Andrea

A2 - Montanari, Ugo

PB - Springer

ER -

Clark A, Gilmore S, Tribastone M. Service-Level Agreements for Service-Oriented Computing. In Corradini A, Montanari U, editors, Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers. Springer. 2009. p. 21-36. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-03429-9_3

Service-Level Agreements for Service-Oriented Computing

Abstract

Publication series

Access to Document

Fingerprint

Cite this