Logo eprints

Service-level agreements for service-oriented computing

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)

Full text not available from this repository.


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.

Item Type: Book Section
Identification Number: 10.1007/978-3-642-03429-9_3
Additional Information: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Ms T. Iannizzi
Date Deposited: 06 Feb 2015 13:39
Last Modified: 06 Feb 2015 13:39
URI: http://eprints.imtlucca.it/id/eprint/2567

Actions (login required)

Edit Item Edit Item