Application Research of Process Algebras on Performance Evaluation

This paper introduces stochastic process algebras as an approach for performance modelling. In particular we focus on Hillston's Performance Evaluation Process Algebra (PEPA). And we primarily discuss the methods and the at- tractive features for performance evaluation using PEPA in detail. And we consider a simple resource usage system to specify performance analysis with PEPA model. At the end of this paper we summarize the application areas for this re- search work and open up prospects for this area.