Quantitative analysis of web services using SRMC

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

Volumn 5569 LNCS, Issue , 2009, Pages 296-339

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

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS TO BUSINESS; CLASSICAL EXAMPLE; EFFICIENT ANALYSIS; PROCESS CALCULI; QUANTITATIVE ANALYSIS; QUANTITATIVE METHOD; SOFTWARE TOOL;

CALCULATIONS; COMPUTER SOFTWARE; DESIGN; FUZZY CONTROL; NUMERICAL ANALYSIS; WEB SERVICES;

FORMAL METHODS;

EID: 77952247762     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-01918-0_8     Document Type: Conference Paper

References (35)

1. Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)
2. Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of the Second International Conference on the Quantitative Evaluation of Systems, Torino, Italy, September 2005, pp. 33-43. IEEE Computer Society Press, Los Alamitos (2005)
3. Clark, A., Gilmore, S., Tribastone, M.: Service-level agreements for service-oriented computing. In: Proceedings of the 19th International Workshop on Algebraic Development Techniques (WADT 2008), Pisa, Italy (June 2008) (to appear)
4. Clark, A., Gilmore, S., Tribastone, M.: Scalable analysis of scalable systems. In: Proceedings of Fundamental Approaches to Software Engineering (FASE 2009), New York, England (March 2009) (to appear)
5. OASIS Web Services Business Process Execution Language (WSBPEL) Technical Commitee. Web Services Business Process Execution Language Version 2.0 (April 2007)
6. Gilmore, S., Hillston, J., Ribaudo, M.: An efficient algorithm for aggregating PEPA models. IEEE Transactions on Software Engineering 27(5), 449-464 (2001) (Pubitemid 32534358)
7. Clark, A.: The ipclib PEPA Library. In: QEST [35], pp. 55-56
8. Tribastone, M.: The PEPA Plug-in Project. In: QEST [35], pp. 53-54
9. OASIS UDDI Specifications Technical Committee. Universal Description Discovery and Integration (UDDI), http://www.oasis-open.org/committees/uddi- spec/doc/tcspecs.htm
10. Clark, A., Gilmore, S.: State-aware performance analysis with eXtended Stochastic Probes. In: Thomas, N., Juiz, C. (eds.) EPEW 2008. LNCS, vol. 5261, pp. 125-140. Springer, Heidelberg (2008)
11. Clark, A., Duguid, A., Gilmore, S., Tribastone, M.: Partial evaluation of PEPA models for fluid-flow analysis. In: Thomas, N., Juiz, C. (eds.) EPEW 2008. LNCS, vol. 5261, pp. 2-16. Springer, Heidelberg (2008)
12. Bradley, J.T., Dingle, N.J., Gilmore, S.T., Knottenbelt, W.J.: 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, October 2003, pp. 344-351. IEEE Computer Society Press, Los Alamitos (2003)
13. Bradley, J., Dingle, N., Gilmore, S., Knottenbelt, W.: Extracting passage times from PEPA models with the HYDRA tool: A case study. In: Jarvis, S. (ed.) Proceedings of the Nineteenth annual UK Performance Engineering Workshop, July 2003, pp. 79-90. University of Warwick (2003)
14. 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)
15. Heimsund, B.-O.: MTJ: Matrix Toolkit for Java, http://ressim.berlios.de/
16. Bradley, J., Gilmore, S.: Stochastic simulation methods applied to a secure electronic voting model. Electr. Notes Theor. Comput. Sci. 151(3), 5-25 (2006)
17. Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81(25), 2340-2361 (1977)
18. Gibson, M.A., Bruck, J.: Efficient exact stochastic simulation of chemical systems with many species and many channels. Journal of Physical Chemistry 104, 1876-1889 (2000)
19. CompBio Group, Institute for Systems Biology. ISBJava, http://magnet.systemsbiology.net/software/ISBJava/
20. Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of the Second International Conference on the Quantitative Evaluation of Systems, Torino, Italy, September 2005, pp. 33-43. IEEE Computer Society Press, Los Alamitos (2005)
21. odeToJava library, http://www.netlib.org/ode/odeToJava.tgz
22. Dingle, N.J., Harrison, P.G., Knottenbelt, W.J.: HYDRA: HYpergraph-Based Distributed Response-Time Analyzer. In: Arabnia, H.R., Mun, Y. (eds.) PDPTA, pp. 215-219. CSREA Press (2003)
23. Hillston, J.: Tuning systems: From composition to performance. The Computer Journal 48(4), 385-400 (2005); The Needham Lecture paper
24. Hillston, J.: Process algebras for quantitative analysis. In: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS 2005), Chicago, June 2005, pp. 239-248. IEEE Computer Society Press, Los Alamitos (2005)
25. Gilmore, S., Hillston, J., Ribaudo, M., Kloul, L.: PEPA nets: A structured performance modelling formalism. Performance Evaluation 54(2), 79-104 (2003)
26. Hillston, J., Ribaudo, M.: Modelling mobility with PEPA nets. In: Aykanat, C., Dayar, T., Körpeoǧlu, İ. (eds.) ISCIS 2004. LNCS, vol. 3280, pp. 513-522. Springer, Heidelberg (2004)
27. Gilmore, S., Hillston, J., Kloul, L., Ribaudo, M.: Software performance modelling using PEPA nets. In: Proceedings of the Fourth International Workshop on Software and Performance, Redwood Shores, California, USA, January 2004, pp. 13-24. ACM Press, New York (2004)
28. Brodo, L., Degano, P., Gilmore, S., Hillston, J., Priami, C.: Performance evaluation for global computation. In: Priami, C. (ed.) GC 2003. LNCS, vol. 2874, pp. 229-253. Springer, Heidelberg (2003) (Pubitemid 37524965)
29. Calder, M., Gilmore, S., Hillston, J.: Automatically deriving ODEs from process algebra models of signalling pathways. In: Plotkin, G. (ed.) Proceedings of Computational Methods in Systems Biology (CMSB 2005), Edinburgh, Scotland, April 2005, pp. 204-215 (2005)
30. Geisweiller, N., Hillston, J., Stenico, M.: Relating continuous and discrete PEPA models of signalling pathways. Theor. Comput. Sci. 404(1-2), 97-111 (2008)
31. Zhao, Y., Thomas, N.: Approximate solution of a PEPA model of a key distribution centre. In: Kounev, S., Gorton, I., Sachs, K. (eds.) SIPEW 2008. LNCS, vol. 5119, pp. 44-57. Springer, Heidelberg (2008)
32. Duguid, A.: Coping with the parallelism of BitTorrent: Conversion of PEPA to ODEs in dealing with state space explosion. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol. 4202, pp. 156-170. Springer, Heidelberg (2006)
33. Gilmore, S., Tribastone, M.: Evaluating the scalability of a web service-based distributed e-learning and course management system. In: Bravetti, M., Núñez, M.T., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 214-226. Springer, Heidelberg (2006)
34. 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)
35. Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), Edinburgh, Scotland, UK, September 2007. IEEE Computer Society, Los Alamitos (2007)