Title :
Experiences with the PEPA performance modelling tools
Author :
Clark, G. ; Gilmore, S. ; Hillston, J. ; Thomas, N.
Author_Institution :
Lab. for Found. of Comput. Sci., Edinburgh Univ., UK
fDate :
2/1/1999 12:00:00 AM
Abstract :
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
Keywords :
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;
Journal_Title :
Software, IEE Proceedings -
DOI :
10.1049/ip-sen:19990149