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.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.
| 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 |
