eprintid: 2567
rev_number: 7
eprint_status: archive
userid: 6
dir: disk0/00/00/25/67
datestamp: 2015-02-06 13:39:18
lastmod: 2015-02-06 13:39:18
status_changed: 2015-02-06 13:39:18
type: book_section
metadata_visibility: show
creators_name: Clark, Allan
creators_name: Gilmore, Stephen
creators_name: Tribastone, Mirco
creators_id: 
creators_id: 
creators_id: mirco.tribastone@imtlucca.it
title: Service-level agreements for service-oriented computing
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
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.
date: 2009
date_type: published
series: Lecture Notes in Computer Science
number: 5486
publisher: Springer
pagerange: 21-36
id_number: 10.1007/978-3-642-03429-9_3
refereed: TRUE
isbn: 978-3-642-03429-9
book_title: Recent Trends in Algebraic Development Techniques
official_url: http://dx.doi.org/10.1007/978-3-642-03429-9_3
citation:   Clark, Allan and Gilmore, Stephen and Tribastone, Mirco  Service-level agreements for service-oriented computing.   In:  Recent Trends in Algebraic Development Techniques.   Lecture Notes in Computer Science  (5486).  Springer, pp. 21-36.  ISBN 978-3-642-03429-9      (2009)