Experiences with the PEPA performance modelling tools

G. Clark, S. Gilmore, J. Hillston, N. Thomas

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

The Performance Evaluation Process Algebra (PEPA) language is supported by a suite of modelling tools which assist in the solution and analysis of PEPA models. The design and development of these tools have been influenced by a variety of factors, including the wishes of other tool users to use the language for purposes which were not anticipated by the tool designers. In consequence, the suite of PEPA tools has been adapted to serve the needs of these users while continuing to support the language designers themselves. This paper reports on the use of the PEPA tools and gives some advice gained from user experiences
Original languageEnglish
Pages (from-to)11-19
Number of pages9
Journal IEE Proceedings - Software
Volume146
Issue number1
DOIs
Publication statusPublished - 1 Feb 1999

Keywords / Materials (for Non-textual outputs)

  • computer aided software engineering
  • formal languages
  • process algebra
  • software performance evaluation
  • software tools
  • PEPA language
  • PEPA performance modelling tools
  • Performance Evaluation Process Algebra
  • language design
  • stochastic process algebra
  • user experiences
  • user needs

Fingerprint

Dive into the research topics of 'Experiences with the PEPA performance modelling tools'. Together they form a unique fingerprint.

Cite this