Service-level agreements for service-oriented computing

Stephen Gilmore

(The University of Edinburgh)

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.
Tuesday 7th October 2008, 14:00
Robert Recorde Room
Department of Computer Science