%0 Book Section
%A Clark, Allan
%A Gilmore, Stephen
%A Tribastone, Mirco
%B Recent Trends in Algebraic Development Techniques
%D 2009
%F eprints:2567
%I Springer
%N 5486
%P 21-36
%S Lecture Notes in Computer Science
%T Service-level agreements for service-oriented computing
%U http://eprints.imtlucca.it/2567/
%X 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.
%Z 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers