Experiences with the PEPA performance modelling tools

IEE Proceedings: Software

Volumn 146, Issue 1, 1999, Pages 11-18

  Clark, G ^a   Gilmore, S ^a   Hillston, J ^a   Thomas, N ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; MATHEMATICAL MODELS;

SOFTWARE PACKAGE PERFORMANCE EVALUATION PROCESS ALGEBRA (PEPA);

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0032676795     PISSN: 14625970     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-sen:19990149     Document Type: Article

References (20)

1. HILLSTON, J A Compositional Approach to Performance Modelling Cambridge University Press, 1996
2. GILMORE, S HILLSTON, JProcess algebras and their application to performance modelling' Proceedings of the Third International Workshop on Process Algebras and Performance Modelling. Special Issue of The Computer Journal, 38, (7), December, 1995, pp. 489-491
3. RIBAUDO, M.: Proceedings of the Fourth Annual Workshop on Process Algebra and Performance Modelling. Dipartimento di Informatica, Universitd di Torino, GLUT, July, 1996
4. GILMORE, S HILLSTON, J.: The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In Proceedings of the Se\-enth International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, number 794 in Lecture Notes in Computer Science, pp. 213-230, Vienna, May 1994 Springer-Verlag
5. GILMORE, S., HILLSTON, J RIBAUDO, M.: An efficient algorithm for aggregating PEPA models, submitted for publication, 1998
6. CLARK, G.: Formalising the specification of rewards with PEPA. In Proceedings of the Fourth Annual Workshop on Pmcess Algebra and Performance Modelling. Dipartimento di Informatica, Universitd di Torino, CLUT, July 1996, pp. 139-160
7. THOMAS, N GILMORE S.: Applying quasi-separability to Markovian process algebra. In Proceedings of the Si\th International Workshop on Process Algebra for Performance Modelling, Ed.: PRIAMI, C., Nice, France, September, 1998
8. HOWELL, F MCNAB, R.: Simjava: A discrete event simulation package for Java with applications in computer systems modelling. First International Conference on Web-based Modelling and Simulation, San Diego CA, 1998
9. ODERSKY, M WADLER, P.: Pizza into Java: Translating theory into practice. Proc. 24th ACM Symposium on Principles of Pwgramming Languages, January 1997, pp. 144-149
10. BARNES, J. Programming in Ada 95, Addison-Wcsley, 1996
11. POOLEY, R HILLSTON, J. editors: Proceedings of the Twelfth UK Performance Engineering Workshop, September 1996, The University of Edinburgh, Department of Computer Science
12. GILMORE, S., HILLSTON, J HOLTON, D.R.W.: Fmm SPA models to programs. In Proceedings of the Fourth Annual Workshop on Process Algebra and Performance Modelling. Dipartimento di Informatica, Universita di Torino, CLUT, July 1996, pp. 179-198
13. GILMORE, S HILLSTON, J.: Refining internal choice in PEPA models. In Proceedings of the Twelfth UK Performance Engineering Workshop, September 1996, The University of Edinburgh, Department of Computer Science pp. 49-64
14. MILKER, R. Communication and Concurrency, Prentice-Hall, 1989
15. HOARE, C.A.R. Communicating Sequential Processes, Prentice-Hall, 1985
16. GILMORE, S., HILLSTON, ]., HOLTON, D.R.W RETTELBACH, M.: Specifications in Stochastic Process Algebra for a Robot Control Problem. Int. J. Prod. Res., 34, (4), pp. 1065-1080, 1996
17. HOLTON, D.R.W.: A PEPA specification of an industrial production cell. Proceedings of the Third International Workshop on Process Algebras and Performance Modelling. Special Issue of The Computer Journal, 38, (7), December 1995, pp. 542-551
18. EL-RAYES, A., KWIATKOWSKA, M MINTON, S.: Analysing performance of lift systems in PEPA. In Pmceedings of the Twelfth UK Performance Engineering Workshop, September 1996, The University of Edinburgh, Department of Computer Science, pp. 83-100
19. PRESS, W.H., TEUKOLSKY, S.A., VETTERLING, W.T FLANNERY, B.F.: Numerical Recipes in C: The Art of Scientific Computing Cambridge University Press, second edition 1992
20. MILNER, R., TOFTE, M., HARPER, R MACQUEEN, D.: The Definition of Standard ML: Revised 1997, The MIT Press, 1997