DocumentCode
1504526
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
Volume
146
Issue
1
fYear
1999
fDate
2/1/1999 12:00:00 AM
Firstpage
11
Lastpage
19
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;
fLanguage
English
Journal_Title
Software, IEE Proceedings -
Publisher
iet
ISSN
1462-5970
Type
jour
DOI
10.1049/ip-sen:19990149
Filename
762670
Link To Document