摘要
随机进程代数是从经典进程代数发展起来 ,用于并发系统的定性和定量分析的形式化方法 ,特别适合在计算机网络和通信协议的建模和性能评价 .首先介绍了 SPA的语法和操作语义 .并以令牌环局域网模型为例来说明其应用 .进一步讨论了 SPA的三种等价关系 ,以期解决模型状态空间爆炸问题 .
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.
出处
《数学的实践与认识》
CSCD
北大核心
2004年第11期102-107,共6页
Mathematics in Practice and Theory
基金
教育部博士点基金 (2 0 0 3 0 2 90 0 0 3 )
山东省教育厅科研发展计划 (0 3 P0 9)资助
