Software performance modelling using PEPA nets

Proceedings of the Fourth International Workshop on Software and Performance, WOSP'04

Volumn , Issue , 2004, Pages 13-23

  Gilmore, Stephen ^a   Hillston, Jane ^a   Kloul, Leïla ^a,c   Ribaudo, Marina ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b Dipartimento di Fisica   (Italy)

^c UNIVERSITY OF VERSAILLES   (France)

Author keywords

Mobile objects; Pepa nets; Performance analysis

Indexed keywords

ALGEBRA; ALGORITHMS; CLIENT SERVER COMPUTER SYSTEMS; COMPUTER AIDED SOFTWARE ENGINEERING; DATABASE SYSTEMS; INTERFACES (COMPUTER); LOGIC DESIGN; MARKOV PROCESSES; PETRI NETS; SEMANTICS; STOCHASTIC CONTROL SYSTEMS; SYNCHRONIZATION; WORLD WIDE WEB;

MOBILE AGENT SYSTEMS; MOBILE OBJECTS; PEPA NETS; PERFORMANCE ANALYSIS;

COMPUTER SOFTWARE;

EID: 3543057015     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/974043.974047     Document Type: Conference Paper

References (16)

1. S. Gilmore, J. Hillston, M. Ribaudo, and L. Kloul. PEPA nets: A structured performance modelling formalism. Performance Evaluation, 54(2):79-104, October 2003.
2. J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.
3. S. Gilmore and J. Hillston. The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In Proceedings of the Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, number 794 in Lecture Notes in Computer Science, pages 353-368, Vienna, May 1994. Springer-Verlag.
4. M. Odersky and P. Wadler. Pizza into Java: Translating theory into practice. In Proceedings of the 24th ACM Symposium on Principles of Programming Languages (POPL'97), Paris, France, pages 146-159. ACM Press, New York (NY), USA, 1997.
5. Fotis Stathopoulos. Enhancing the PEPA Workbench with simulation and experimentation facilities. Master's thesis, School of Computer Science, Division of Informatics, The University of Edinburgh, 2001.
6. G. Clark. Techniques for the Construction and Analysis of Algebraic Performance Models. PhD thesis, The University of Edinburgh, 2000.
7. Kim Guldstrand Larsen and Arne Skou. Bisimulation through probabilistic testing. Information and Computation, 94(1):1-28, 1991.
8. A. Aziz, K. Sanwal, V. Singhal, and R. Brayton. Verifying continuous time Markov chains. In Computer-Aided Verification, volume 1102 of LNCS, pages 169-276. Springer-Verlag, 1996.
9. G. Clark, T. Courtney, D. Daly, D. Deavours, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. Webster. The Möbius modeling tool. In Proceedings of the 9th International Workshop on Petri Nets and Performance Models, pages 241-250, Aachen, Germany, September 2001.
10. G. Clark and W.H. Sanders. Implementing a stochastic process algebra within the Möbius modeling framework. In L. de Alfaro and S. Gilmore, editors, Proceedings of the first joint PAPM-PROBMIV Workshop, volume 2165 of Lecture Notes in Computer Science, pages 200-215, Aachen, Germany, September 2001. Springer-Verlag.
11. M. Kwiatkowska, G. Norman, and D. Parker. Probabilistic symbolic model checking with PRISM: A hybrid approach. In J.-P. Katoen and P. Stevens, editors, Proc. 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02), volume 2280 of LNCS, pages 52-66. Springer, April 2002.
12. F. Somenzi. CUDD: CU Decision Diagram Package. Department of Electrical and Computer Engineering, University of Colorado at Boulder, February 2001.
13. J.T. Bradley, N.J. Dingle, S.T. Gilmore, and W.J. Knottenbelt. Derivation of passage-time densities in PEPA models using IPC: The Imperial PEPA Compiler. In G Kotsis, editor, Proceedings of the 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, pages 344-351, University of Central Florida, October 2003. IEEE Computer Society Press.
14. W.J. Knottenbelt. Generalised Markovian analysis of timed transition systems. Master's thesis, University of Cape Town, 1996.
15. J.T. Bradley, N.J. Dingle, S.T. Gilmore, and W.J. Knottenbelt. Extracting passage times from PEPA models with the HYDRA tool: A case study. In S. Jarvis, editor, Proceedings of the Nineteenth annual UK Performance Engineering Workshop, pages 79-90, University of Warwick, July 2003.
16. A. Argent-Katwala, J. T. Bradley, and N. J. Dingle. Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models. In Proceedings of the 4th International Workshop on Software and Performance, 2004. This volume.