relation: http://eprints.imtlucca.it/2567/
title: Service-level agreements for service-oriented computing
creator: Clark, Allan
creator: Gilmore, Stephen
creator: Tribastone, Mirco
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: Springer
date: 2009
type: Book Section
type: PeerReviewed
identifier:   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)  
relation: http://dx.doi.org/10.1007/978-3-642-03429-9_3
relation: 10.1007/978-3-642-03429-9_3