Status and Development of Formal Methods for Performance Evaluation

LIN Chuang; LI Ya-juan; WANG Zhong-min

您当前的位置：

首页 >

文章列表页 >

Status and Development of Formal Methods for Performance Evaluation

更新时间：2025-07-16

- Status and Development of Formal Methods for Performance Evaluation
- Acta Electronica Sinica Vol. 30, Issue S1, Pages: 1917-1922(2002)
- 作者机构：
  
  1. 清华大学计算机科学与技术系,北京,100084
  2. 北京科技大学计算机系,北京,100083
  3. 清华大学计算机科学与技术系,北京,100084
  4. 北京科技大学计算机系,北京,100083
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP391.7
- Published：2002
- 稿件说明：
移动端阅览
LIN Chuang, LI Ya-juan, WANG Zhong-min. Status and Development of Formal Methods for Performance Evaluation[J]. Acta Electronica Sinica, 2002, 30(S1): 1917-1922.
DOI：

LIN Chuang, LI Ya-juan, WANG Zhong-min. Status and Development of Formal Methods for Performance Evaluation[J]. Acta Electronica Sinica, 2002, 30(S1): 1917-1922. DOI：

摘要

性能评价(Performance Evaluation

PE)是计算机网络和计算机系统研究与应用的重要理论基础和支撑技术

也是当今通信和计算机科学领域的重要研究方向.本文对性能评价的形式化方法(Forman Methods

FM)、该领域的主要研究成果和发展前景进行了综述.文章着重介绍了FM中的三种方法:排队论(Queuing Theory)、随机Petri网(Stochastic PetriNet

SPN)和随机进程代数(Stochastic Process Algebra

SPA).另外

本文还对不同方法之间的区别和结合做了初步的讨论.最后对形式化方法做了总结和展望.

Abstract

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 method 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.

关键词

Keywords

references

Views

2336

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

A Self-Adaptive Proportional Delay DifferServ Model for Heterogeneous Web Server Clusters

An Approach to Performance Assessment of Interoperability Protocols

Related Author

YANG Qun

TAN Jian

XU Man-wu

ZHANG Nu-yun

LI Jun-guo

HUANG Gang

MEI Hong

YE Meng

Related Institution

State Key Laboratory for Novel Software Technology,Department of Computer Science and Technology,Nanjing University

College of Information Science and Technology,Nanjing University of Aeronautics and Astronautics

State Key Laboratory for Novel Software TechnologyDepartment of Computer Science and TechnologyNanjing UniversityNanjingJiangsu 210093China

College of Information Science and TechnologyNanjing University of Aeronautics and AstronauticsNanjingJiangsu 210016China

Institute of Software, School of Electronics Engineering and Computer Science, Peking University

⁰