Service-level agreements for service-oriented computing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5486 LNCS, Issue , 2009, Pages 21-36

  Clark, Allan ^a   Gilmore, Stephen ^a   Tribastone, Mirco ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL EXPRESSIONS; MARKOVIAN PROCESS; NUMERICAL RESULTS; QUANTITATIVE INFORMATION; SERVICE INSTANCES; SERVICE LEVEL AGREEMENTS; SERVICE ORIENTED COMPUTING; SERVICE REQUESTS;

ALGEBRA; QUALITY OF SERVICE;

COMPUTER SCIENCE;

EID: 70349330840     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03429-9_3     Document Type: Conference Paper

References (25)

1. Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)
2. De Nicola, R., Katoen, J.P., Latella, D., Massink, M.: STOKLAIM: A stochastic extension of KLAIM. Technical Report ISTI-2006-TR-01, Consiglio Nazionale delle Ricerche (2006)
3. Ayles, T.P., Field, A.J., Magee, J., Bennett, A.: Adding Performance Evaluation to the LTSA Tool. In: Kemper, P., Sanders, W.H. (eds.) TOOLS 2003. LNCS, vol. 2794. Springer, Heidelberg (2003)
4. Clark, A.: The ipclib PEPA Library. In: Harchol-Balter, M., Kwiatkowska, M., Telek, M. (eds.) Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST), September 2007, pp. 55-56. IEEE, Los Alamitos (2007)
5. Tribastone, M.: The PEPA Plug-in Project. In: Harchol-Balter, M., Kwiatkowska, M., Telek, M. (eds.) Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST), September 2007, pp. 53-54. IEEE, Los Alamitos (2007)
6. Magee, J., Kramer, J.: Concurrency: State Models and Java Programming, 2nd edn. Wiley, Chichester (2006)
7. Hillston, J., Kloul, L.: An efficient Kronecker representation for PEPA models. In: de Alfaro, L., Gilmore, S. (eds.) PROBMIV 2001, PAPM-PROBMIV 2001, and PAPM 2001. LNCS, vol. 2165, pp. 120-135. Springer, Heidelberg (2001)
8. Thain, D., Tannenbaum, T., Livny,M.: Distributed computing in practice: the Condor experience. Concurrency - Practice and Experience 17(2-4), 323-356 (2005)
9. Knottenbelt, W.: Performance Analysis of Large Markov Models. PhD. thesis, Imperial College of Science, Technology and Medicine, London, UK (February 2000)
10. Grassmann, W.: Transient solutions in Markovian queueing systems. Computers and Operations Research 4, 47-53 (1977)
11. Gross, D., Miller, D.: The randomization technique as a modelling tool and solution procedure for transient Markov processes. Operations Research 32, 343-361 (1984)
12. Gilmore, S., Tribastone, M.: Evaluating the scalability of a web servicebased distributed e-learning and course management system. In: Bravetti, M., Nunez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 214-226. Springer, Heidelberg (2006)
13. Bravetti, M., Gilmore, S., Guidi, C., Tribastone, M.: Replicating web services for scalability. In: Barthe, G., Fournet, C. (eds.) TGC 2007 and FODO 2008. LNCS, vol. 4912, pp. 204-221. Springer, Heidelberg (2008)
14. SRMC Team: Sensoria Reference Markovian Calculus Web Site and Software (October 2008), http://groups.inf.ed.ac.uk/srmc
15. Bradley, J., Dingle, N., Gilmore, S., Knottenbelt, W.: Derivation of passage-time densities in PEPA models using IPC: The Imperial PEPA Compiler. In: Kotsis, G. (ed.) Proceedings of the 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, University of Central Florida, pp. 344-351. IEEE Computer Society Press, Los Alamitos (2003)
16. Dingle, N., Harrison, P., Knottenbelt, W.: HYDRA: HYpergraph-based Distributed Response-time Analyser. In: Proc. International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2003), Las Vegas, Nevada, USA, June 2003, pp. 215-219 (2003)
17. Hillston, J., Kloul, L.: Performance investigation of an on-line auction system. Concurrency and Computation: Practice and Experience 13, 23-41 (2001)
18. Hillston, J., Kloul, L., Mokhtari, A.: Active nodes performance analysis using PEPA. In: Jarvis, S. (ed.) Proceedings of the Nineteenth annual UK Performance Engineering Workshop, July 2003, pp. 244-256. University of Warwick (2003)
19. Buchholtz, M., Gilmore, S., Hillston, J., Nielson, F.: Securing statically-verified communications protocols against timing attacks. Electr. Notes Theor. Comput. Sci. 128(4), 123-143 (2005)
20. Holton, D.: A PEPA specification of an industrial production cell. In: Gilmore, S., Hillston, J. (eds.) Proceedings of the Third International Workshop on Process Algebras and Performance Modelling, Special Issue of The Computer Journal 38(7), 542-551 (1995)
21. Gilmore, S., Hillston, J., Holton, D., Rettelbach, M.: Specifications in stochastic process algebra for a robot control problem. International Journal of Production Research 34(4), 1065-1080 (1996)
22. Console, L., Picardi, C., Ribaudo, M.: Diagnosis and diagnosability analysis using PEPA. In: Proc. of 14th European Conference on Artificial Intelligence, Berlin (August 2000); A longer version appeared in the Proc. of 11th Int. Workshop on Principles of Diagnosis (DX 2000), Morelia, Mexico (June 2000)
23. Clark, A., Gilmore, S.: Evaluating quality of service for service level agreements. In: Brim, L., Leucker, M. (eds.) Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems, Bonn, Germany, August 2006, pp. 172-185 (2006)
24. Argent-Katwala, A., Clark, A., Foster, H., Gilmore, S., Mayer, P., Tribastone, M.: Safety and response-time analysis of an automotive accident assistance service. In: Proceedings of the 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008), Porto Sani, October 2008. Communications in Computer and Information Science (CCIS), vol. 17. Springer, Heidelberg (2008)
25. Courtney, T., Gaonkar, S., McQuinn, M., Rozier, E., Sanders, W., Webster, P.: Design of Experiments within the Mobius Modeling Environment. In: Harchol-Balter, M., Kwiatkowska, M., Telek, M. (eds.) Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST), pp. 161-162. IEEE, Los Alamitos (2007)