Scaling performance analysis using fluid-flow approximation

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

Volumn 6582, Issue , 2011, Pages 486-505

  Tribastone, Mirco ^a   Gilmore, Stephen ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

NUMERICAL SOLUTION; PERFORMANCE ANALYSIS; PERFORMANCE EVALUATION; POPULATION LEVELS; PROCESS CALCULI; SERVICE ORIENTED;

SOFTWARE ENGINEERING;

POPULATION STATISTICS;

EID: 80455126064     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-20401-2_23     Document Type: Article

References (15)

1. Buchholz, P.: Exact and Ordinary Lumpability in Finite Markov Chains. Journal of Applied Probability 31, 59-75 (1994)
2. Deavours, D. D., Sanders, W. H.: An Efficient Disk-Based Tool for Solving Large Markov Models. Perform. Eval. 33, 67-84 (1998)
3. Kurtz, T. G.: Solutions of ordinary differential equations as limits of pure Markov processes. J. Appl. Prob. 7, 49-58 (1970)
4. Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)
5. Gilmore, S., Hillston, J., Ribaudo, M.: An efficient algorithm for aggregating PEPA models. IEEE Transactions on Software Engineering 27, 449-464 (2001)
6. Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of the Second International Conference on the Quantitative Evaluation of Systems, Torino, Italy, pp. 33-43. IEEE Computer Society Press, Los Alamitos (2005)
7. Bradley, J., Gilmore, S., Hillston, J.: Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models. Journal of Computer and System Sciences 74, 1013-1032 (2008)
8. Ding, J., Hillston, J.: Convergence of the Fluid Approximation of PEPA Models. In: Seventh Workshop on Process Algebra and Stochastically Timed Activities (PASTA), Edinburgh, UK (2008)
9. Hayden, R., Bradley, J. T.: Fluid semantics for passive stochastic process algebra cooperation. In: VALUETOOLS 2008 (September 2008)
10. Cardelli, L.: On process rate semantics. Theor. Comput. Sci. 391, 190-215 (2008)
11. Bortolussi, L., Policriti, A.: Stochastic concurrent constraint programming and differential equations. Electr. Notes Theor. Comput. Sci. 190, 27-42 (2007)
12. Holzl, M.: Requirements Modelling and Analysis of Selected Scenarios. SENSORIA Deliverable 8.4.a (2007)
13. Little, J.: A Proof of the Queuing Formula: L = λW. Operations Research 9, 383-387 (1961)
14. Clark, A., Duguid, A., Gilmore, S., Hillston, J.: Espresso, a Little Coffee. In: Process Algebra and Stochastically Timed Activities (PASTA), Edinburgh, UK (2008)
15. Tribastone, M., Duguid, A., Gilmore, S.: The PEPA Eclipse Plug-in. Performance Evaluation Review 36, 28-33 (2009)