| 网络体系结构建模和性能评价的形式化方法——随机进程代数 |
| |
| 引用本文： | 冯烟利,余镇危,潘耘,刘克俭. 网络体系结构建模和性能评价的形式化方法——随机进程代数[J]. 数学的实践与认识, 2004, 34(11): 102-107 |
| |
| 作者姓名： | 冯烟利 余镇危 潘耘 刘克俭 |
| |
| 作者单位： | 1. 中国矿业大学机电与信息工程学院(北京校区)北京,100083;山东工商学院信息工程学院,山东,烟台,264005
2. 中国矿业大学机电与信息工程学院(北京校区)北京,100083 |
| |
| 基金项目： | 教育部博士点基金 (2 0 0 3 0 2 90 0 0 3 )，山东省教育厅科研发展计划 (0 3 P0 9)资助 |
| |
| 摘 要： | 随机进程代数是从经典进程代数发展起来 ,用于并发系统的定性和定量分析的形式化方法 ,特别适合在计算机网络和通信协议的建模和性能评价 .首先介绍了 SPA的语法和操作语义 .并以令牌环局域网模型为例来说明其应用 .进一步讨论了 SPA的三种等价关系 ,以期解决模型状态空间爆炸问题 .
|
| 关 键 词： | 形式化方法 随机进程代数 性能评价 |
| 修稿时间： | 2003-11-21 |
Formal Method on Network Architecture Modeling and Performance Evaluation-Stochastic Process Algebra |
| |
| FENG Yan-li ,,YU Zheng-wei,PAN Yun,LIU Ke-jian. Formal Method on Network Architecture Modeling and Performance Evaluation-Stochastic Process Algebra[J]. Mathematics in Practice and Theory, 2004, 34(11): 102-107 |
| |
| Authors: | FENG Yan-li YU Zheng-wei PAN Yun LIU Ke-jian |
| |
| Affiliation: | FENG Yan-li 1,2,YU Zheng-wei1,PAN Yun1,LIU Ke-jian1 |
| |
| Abstract: | Stochastic process algebra (SPA) has been developed from classical process algebra as a formal method to qualitative and quantitative analysis of concurrence system, especially in computer network and communication protocol. In this paper, we will first introduce the syntax and operational semantics of SPA. As a application, we analyze Token ring LAN model. Furthermore,three kinds of equivalent relations have been discussed in order to solve state space explosion problem. |
| |
| Keywords: | formal methods stochastic process algebra performance evaluation |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
