Status and Development of Formal Methods for Performance Evaluation

Performance evaluation is an important theoretical base and support for researches and applications of computer network and system. And it s also an important research direction in communications and computer science. This is a concise overview paper about formal methods for performance evaluation, main research results and development foreground. In this paper we focus on the three methods of FM: Queuing Theory, Stochastic Petri-Net and Stochastic Process Algebra. And we primarily discuss the combinations of different formal methods. At the end of this paper we summarize formal methods for performance evaluation and open up prospects for this area.